The ASSERT statement is used to alert the user of some condition
inside the model. When the expression in the ASSERT statement
evaluates to FALSE, the associated text message is displayed on the
simulator console. Additionally, an evaluation of FALSE may halt the
simulation depending on the severity level of the associated ASSERT
statement.
The four severity levels, in increasing severity, are listed in this
slide. However, the definitions of the severity levels are somewhat
general and can be modified to suit the designer's needs.
