Selected Assignment Rules¶
selected_assignment_001¶
This rule checks the with keyword is on the same line as the expression.
Violation
with
mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_002¶
This rule checks the select keyword is on the same line as the expression.
Violation
with mux_sel
select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_003¶
This rule checks the select keyword is on the same line as the target.
Violation
with mux_sel select
addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_004¶
This rule checks the assignment is on the same line as the target.
Violation
with mux_sel select addr
<=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_005¶
This rule checks for code after the assignment.
Violation
with mux_sel select addr <= "0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_006¶
This rule checks for code after the force keyword.
Violation
with mux_sel select addr <= force "0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <= force
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_007¶
This rule checks for code after the force mode keywords in and out.
Violation
with mux_sel select addr <= force in "0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <= force in
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_008¶
This rule checks for code after the guarded keyword.
Violation
with mux_sel select addr <= guarded "0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <= guarded
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_009¶
This rule checks for code after the delay mechanism keywords transport and inertial.
Violation
with mux_sel select addr <= transport "0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <= transport
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_010¶
This rule checks the when keyword is on the same line as the expression or waveform.
Violation
with mux_sel select addr <=
"0000"
when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_011¶
This rule checks the choice is on the same line as the when keyword.
Violation
with
mux_sel select addr <=
"0000" when
0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_012¶
This rule checks for code after the comma in choices.
Violation
with mux_sel select addr <=
"0000" when 0, "0001" when 1, "1111" when others;
Fix
with mux_sel select addr <= force
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_100¶
This rule checks for a single space after the with keyword.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_101¶
This rule checks for a single space before the select keyword.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_102¶
This rule checks for a single space after the select keyword.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_103¶
This rule checks for a single space before the assignment.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
with mux_sel select addr<=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_104¶
This rule checks for a single space after the assignment.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
with mux_sel select addr <= "0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <= "0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_105¶
This rule checks for a single space after the force keyword.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
with mux_sel select addr <= force "0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <= force "0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_106¶
This rule checks for a single space before the when keyword.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
with mux_sel select addr <=
"0000" when 0,
"0001"when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_107¶
This rule checks for a single space after the when keyword.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_300¶
This rule checks the indent of the with keyword.
Violation
wr_en <= '1';
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
wr_en <= '1';
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_400¶
This rule checks the alignment of multiline selected assignment statements.
Refer to Configuring Multiline Indent Rules for more information.
Violation
with (mux_select or reset) select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with (mux_select or reset) select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_500¶
This rule checks the with keyword has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
WITH mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_501¶
This rule checks the select keyword has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
with mux_sel SELECT addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_502¶
This rule checks the force keyword has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
with mux_sel select addr <= FORCE
"0000" when 0,
"0001" when 1,
"1111" when others;
Fix
with mux_sel select addr <= force
"0000" when 0,
"0001" when 1,
"1111" when others;
selected_assignment_503¶
This rule checks the when keyword has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
with mux_sel select addr <=
"0000" WHEN 0,
"0001" WHEN 1,
"1111" WHEN others;
Fix
with mux_sel select addr <=
"0000" when 0,
"0001" when 1,
"1111" when others;