User guide

20-76
Using OpenVera Assertions
The evaluation of the uses the sampled values of the variables
as in the assertion.
$ova_current_time
Returns current simulation time as a 64-bit entity. (Same as type
"time" in Verilog.)
$ova_start_time
Returns assertion start time as a 64-bit entity. (Same as type
"time" in Verilog.)
$ova_global_time_unit
Returns global time unit as a string. (The definition of a string is
the same as in Verilog.)
Task Invocation From the CLI
Any CLI mode (command option +cli+n where n = 1-4 or +cli with
no numerical value):
$ova_stop levels
Applied down to depth levels with respect to the present scope.
$ova_start levels modname
Applied to all instances of module "modname" down to a depth
of levels. Note that no XMR is allowed. However module names
are allowed without a quoted string.
$ova_severity_action level "action"
Sets the action for severity level where action is continue, stop,
or finish.
The commands can also be issued using the format used in task calls
that is, arguments in parentheses separated by commas. Module
names must be quoted as in the task calls.