Assert StatementsAn Example |
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; |