Assert Statements

An Example

This code has similar functionality to that of the TEXTIO example

Assume good = '1', reset = '0'

PROCEDURE display_state (current_state : IN state) IS
BEGIN
   ASSERT NOT(current_state = '1')
      REPORT "Status of State: good"
      SEVERITY NOTE;
   ASSERT NOT(current_state = '0')
      REPORT "Status of State: reset"
      SEVERITY WARNING;
END display_state;

ASSERT statements may have some implementation defined action associated with the various SEVERITY levels