Why is this an issue?

All assertions failing as note should be reviewed.

How to fix it

Code examples

Noncompliant code example

entity top is
  generic (
    a : integer := 1;
    b : integer := 2
  );
end;

architecture rtl of top is
begin
  assert a = 1 report "Assertion violation on a." severity note; -- Compliant
  assert b > 2 report "Assertion violation on b." severity note; -- Noncompliant
  assert b < 1 severity note; -- Noncompliant
end;