VHDL1074: All assertions failing as warning should be reviewed

Summary

Reliability	Security	Maintainability	Code attribute	Effort to fix	Tags

MEDIUM	-	-	Intentionality \| Logical	5min	synthesis, bug-finder, linty-ultra

Description

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 warning; -- Compliant
  assert b > 2 report "Assertion violation on b." severity warning; -- Noncompliant
  assert b < 1 severity warning; -- Noncompliant
end;

All assertions failing as warning should be reviewed.

Parameters

No parameters.