Slide 20 of 53
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.