User guide

20-78
Using OpenVera Assertions
Calls From Within Code
The $ova_start, $ova_stop, and $ova_severity_action
system tasks are provided to control the monitoring of assertions,
such as delaying the start of assertion monitoring and terminating the
monitoring based on some conditions. For example, you can start
monitoring after some initial condition, such as reset, has been
satisfied.
To start monitoring, use the $ova_start system task:
$ova_start[(levels [, module, entity, or scope arguments])];
Whenever this statement is executed, assertion monitoring starts.
The command is ignored if monitoring was already started in the
specified scope, module, or entity.
The integer argument levels indicates how many levels in the
hierarchy at and below the specified modules, entities, and scopes
the OVA monitoring is to start. Zero indicates all levels below the
specified ones. Negative values are not allowed.
Within OVA and Verilog code, arguments can be specified for one or
more module names as quoted text strings (e.g.,“module_name”)
and/or instance scopes as Verilog scope names (unquoted),
separated by commas.