Assert Rules

assert_001

This rule checks indent of multiline assert statements.

Violation

assert WIDTH > 16
     report "FIFO width is limited to 16 bits."
 severity FAILURE;

Fix

assert WIDTH > 16
  report "FIFO width is limited to 16 bits."
  severity FAILURE;

assert_002

This rule checks the report keyword is on its own line for concurrent assertion statements.

Violation

architecture rtl of fifo is
begin

  assert WIDTH > 16 report "FIFO width is limited to 16 bits."
    severity FAILURE;

end architecture rtl;

Fix

architecture rtl of fifo is
begin

  assert WIDTH > 16
    report "FIFO width is limited to 16 bits."
    severity FAILURE;

end architecture rtl;

assert_003

This rule checks the report keyword is on its own line for sequential assertion statements.

Violation

architecture rtl of fifo is
begin

  process
  begin

    assert WIDTH > 16 report "FIFO width is limited to 16 bits."
      severity FAILURE;

  end process;

end architecture rtl;

Fix

architecture rtl of fifo is
begin

  process
  begin

    assert WIDTH > 16
      report "FIFO width is limited to 16 bits."
      severity FAILURE;

  end process;

end architecture rtl;

assert_004

This rule checks the severity keyword is on its own line for concurrent assertion statements.

Violation

architecture rtl of fifo is
begin

  assert WIDTH > 16
    report "FIFO width is limited to 16 bits." severity FAILURE;

end architecture rtl;

Fix

architecture rtl of fifo is
begin

  assert WIDTH > 16
    report "FIFO width is limited to 16 bits."
    severity FAILURE;

end architecture rtl;

assert_005

This rule checks the severity keyword is on its own line for sequential assertion statements.

Violation

architecture rtl of fifo is
begin

  process begin

    assert WIDTH > 16 report "FIFO width is limited to 16 bits." severity FAILURE;

  end process;

end architecture rtl;

Fix

architecture rtl of fifo is
begin

  process begin

    assert WIDTH > 16 report "FIFO width is limited to 16 bits."
      severity FAILURE;

  end process;

end architecture rtl;

assert_100

This rule checks for a single space after the assert keyword.

Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..

Violation

assert         WIDTH > 16
  report "FIFO width is limited to 16 bits."
  severity FAILURE;

Fix

assert WIDTH > 16
  report "FIFO width is limited to 16 bits."
  severity FAILURE;

assert_101

This rule checks for a single space after the report keyword.

Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..

Violation

assert WIDTH > 16
  report      "FIFO width is limited to 16 bits."
  severity FAILURE;

Fix

assert WIDTH > 16
  report "FIFO width is limited to 16 bits."
  severity FAILURE;

assert_102

This rule checks for a single space after the severity keyword.

Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..

Violation

assert WIDTH > 16
  report "FIFO width is limited to 16 bits."
  severity       FAILURE;

Fix

assert WIDTH > 16
  report "FIFO width is limited to 16 bits."
  severity FAILURE;

assert_400

This rule checks the alignment of the report expressions.

Note

There is a configuration option alignment which changes the indent location of multiple lines.

Violation

assert WIDTH > 16
  report "FIFO width is limited" &
" to 16 bits."
  severity FAILURE;

Fix

assert WIDTH > 16
  report "FIFO width is limited" &
         " to 16 bits."
  severity FAILURE;

assert_500

This rule checks the assert keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

ASSERT WIDTH > 16
  report "FIFO width is limited to 16 bits."
  severity FAILURE;

assert WIDTH > 16
  report "FIFO width is limited to 16 bits."
  severity FAILURE;

assert_501

This rule checks the report keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

assert WIDTH > 16
  REPORT "FIFO width is limited to 16 bits."
  severity FAILURE;

assert WIDTH > 16
  report "FIFO width is limited to 16 bits."
  severity FAILURE;

assert_502

This rule checks the severity keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

assert WIDTH > 16
  report "FIFO width is limited to 16 bits."
  SEVERITY FAILURE;

assert WIDTH > 16
  report "FIFO width is limited to 16 bits."
  severity FAILURE;