ASSERTION
Sequentielle Anweisungen – ASSERTION
ENTITY dff IS |
Im ersten Beispiel dieser sequentiellen Anwendungen der ASSERT-Anweisung wird in jedem Fall eine Meldung ausgegeben (Bedingung ist immer ''false''), im zweiten Fall wird überprüft, ob 'sig_reset' ungleich Null ist. Die Fehlerklasse wurde auf 'note' gesetzt. Es dient zur Ausgabe von allgemeinen Informationen.
Weitere Fehlerklassen vom vordefinierten Aufzählungstyp 'severity_level' sind 'warning' (zur Anzeige von möglichen unerwünschten Bedingungen), 'error' (zeigt an, daß eine Aufgabe mit dem falschen Ergebnis abgeschlossen wurde) und 'failure' (zur Anzeige, daß eine Aufgabe nicht abgeschlossen werden konnte. Default-Fehlerklasse ist 'error'. |