User guide

D-26
Compiler Directives and System Tasks
$assert_monitor([0|1,]assertion_identifier...);
Where:
0
Specifies reporting on the assertion if it is active (VCS checks
for its properties) and if not, reporting on the assertion or
assertions, whenever they start.
1
Specifies reporting on the assertion or assertions only once,
the next time they start.
If you specify neither 0 or 1, the default is 0.
assertion_identifier...
A comma separated list of assertions. If one of these assertions
is not declared in the module definition containing this system
task, specify it by its hierarchical name.
$assert_monitor_off
Disables the display from the $assert_monitor system task.
$assert_monitor_on
Re-enables the display from the $assert_monitor system
task.
System Tasks for Executing Operating System