User guide

20-77
Using OpenVera Assertions
Note that you can specify all OVA system tasks and functions
described in this chapter ($ova_set_severity,
$ova_set_category, etc.) at the CLI using the documented
syntax.
Debug Control Tasks
When dumping of OVA assertion results for viewing using DVE is
enabled using the -ova_debug or -ova_debug_vpd options, the
debug information is dumped for all enabled OVA assertions (enabled
using $ova_start or by default from time 0 if not stopped by
$ova_stop).
Dumping can be turned off by calling the following task in the Verilog
code:
$ovadumpoff;
It can be turned on again by calling the following system task:
$ovadumpon;
If dumping of Verilog signals is not enabled by calling the system task
$dumpvars, OVA dumping will also include all signals that are referred
to by the assertions. This information is placed in a VPD file,
vcdplus.vpd, in the simulation run directory.