Assert Statements
Syntax of the ASSERT statement
REPORT “violation statement”
- When the specified condition is false, the ASSERT statement triggers and the report is issued
- The violation statement is enclosed in quotes
ASSERT NOT((s=‘1’) AND (r=‘1’))
REPORT “Set and Reset are both 1”
Notes:
This slide shows the syntax of the ASSERT statement. The ASSERT statement will trigger when the condition is false. The REPORT statement to be displayed is enclosed in quotes.
The Set and Reset lines of the S-R flip-flop in this example cannot simultaneously equal one. Therefore, the ASSERT statement evaluates to FALSE (most easily described using the NOT function) if this situation is observed during simulation.