VHDL1075: All assertions failing as error should be reviewed

Summary

Count: 1

Clear filters

Reliability	Security	Maintainability	Code attribute	Effort to fix	Tags
HIGH	-	-	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 error; -- Compliant
  assert b > 2 report "Assertion violation on b." severity error; -- Noncompliant
  assert b < 1 severity error; -- Noncompliant
end;

All assertions failing as error should be reviewed.

Parameters

No parameters.