User guide

20-24
Using OpenVera Assertions
Functional Code Coverage Options
Functional coverage is code coverage for your OVA code. With
functional coverage enabled, the cover statement is treated in the
same manner as an assert statement. The runtime options are
enabled by the -ova_cov compile-time option. These runtime
options are as follows:
-ova_cov
Enables functional coverage reporting.
-ova_cov_name filename
Specifies the file name or the full path name of the functional
coverage report file. This option overrides the default report name
and location. If only a file name is given, the default location is
used resulting in: ./simv.vdb/fcov/filename.db.
-ova_cov_db path/filename
Specifies the path and filename of an initial coverage file. An initial
coverage file is needed to set up the database. By default, an
empty coverage file is loaded from the following directory:
simv.vdb/fcov.
OpenVera Assertions Post-Processing
You can use VCS to build a post processor from a compiled design
and temporal assertion files. You then run the post-processor, using
either DVE or the post-processor CLI supplied with OVAPP, as you
would a simulation compiled with the design and OVA files together.
This approach allows you to: