Assert Statements

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 J-K flip-flop in this example cannot simultaneously equal one. Therefore, the ASSERT statement evaluates to FALSE if this situation is observed during simulation.