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;