User guide

20-81
Using OpenVera Assertions
$ova_stop(3, i1.mod1) // Stop assertions in the hierarchy
// started at scope i1.mod1 to a depth 3.
To specify the response to an assertion failure, use the
$ova_severity_action system task:
$ova_severity_action(level, action);
Note the following syntax elements for $ova_severity_action:
level
Severity level to be associated with the action.
action
Can be specified as "continue", "stop" or "finish". The
action, which must be quoted as shown, is associated globally
with the specified severity level, for all modules and instances.
The default is "continue". The actions are specified as follows:
- "stop" — Stops the simulation with $stop semantics. All OVA
attempts are also suspended and can be resumed.
- "finish" — Terminates the simulation with $finish
semantics.
- "continue" — Outputs the message associated with the
assertion failure but otherwise has no effect on the simulation.