User guide

20-19
Using OpenVera Assertions
Compiling Temporal Assertions Files
Temporal assertions files are compiled concurrently with Verilog
source files. You can use a set of OVA-specific compile-time options
to control how VCS compiles the temporal assertions files.
Note:
When you use the OVA compile-time options, VCS creates a
Verification Database directory in your current directory (by
default named simv.vdb). VCS writes intermediate files and
reports about OpenVera Assertions in subdirectories in this
directory.
The following compile-time options are for OVA:
-ovac
Starts the OVA compiler for checking the syntax of OVA files that
you specify on the vcs command line. This option is for when you
first start writing OVA files and need to make sure that they can
compile correctly.
-ova_cov
Enables viewing results with functional coverage.
-ova_cov_events
Enables coverage reporting of expressions.
-ova_cov_hier filename
Limits functional coverage to the module instances specified in
filename. Specify the instances using the same format as VCS
coverage metrics. If this option is not used, coverage is
implemented on the whole design.
-ova_debug
Required to view results with DVE.