User guide

20-27
Using OpenVera Assertions
-ova_PP
Tells VCS to record in the verification database directory design
information that is used by the post-processor.
By default VCS also creates the simv.vdb directory in the current
directory when you include this option. We call this directory the
verification database directory. VCS writes post-processing
data in a subdirectory in the verification database directory
-PP
Optional compile-time option that enables VCS to write a VPD
file. This option also enables VCS to recognize the
$vcdpluson system task. This compile-time option is not
specifically related to OVA post-processing.
-o simv_name
This compile-time option is not specifically related to OVA
post-processing. It specifies an alternative name, and possibly
a different location, for the simv executable. Because the
executable and this directory have the same name (but not the
same extension), you will alter the name and location of the
verification database directory.
-ova_dir directory_path
Specifies an alternative name and location for the verification
database directory. This option supersedes the -o option in
naming and locating the verification database directory.
During compilation VCS displays the following message:
Generating OVA post-processing data ...
3. Simulate the design. There are no runtime options needed for the
post-processor. As usual, if you used the -o compile-time option
to specify the name of the simv executable, you enter this name,
instead of simv, to start the command line.