User guide

20-30
Using OpenVera Assertions
-vcd filename.vcd
Specifies the VCD file. The post-processor will call the vcd2vpd
utility to translate it to a VPD file name vcdplus.vpd. If the VCD
file is named verilog.dump and it is in the current directory (if
the current directory doesn’t contain a file named vcdplus.vpd).
You can omit this option and the post-processor will use the
verilog.dump file.
-cli
Specifies that post-processing starts with a command line
prompt for entering CLI commands. These CLI commands are
the same as the VCS CLI commands plus additional ones for
OVA post-processing. See “OVA Post-Processing CLI
Commands” on page -20-31.
-daidir=pathname.daidir
Specifies the direct access interface directory used by the
post-processor for CLI commands.
-ova_report [filename]
Generates a report file in addition to printing results on screen.
Specifying the full path name of the report file overrides the
default report name and location, which is simv.vdb/report/
ova.report-ova_cov. Tells the post-processor to also gather
functional OVA coverage data.
-ova_name session_name
Changes the name, but not the extension, of the generated files
in the verification database directory. Generated files are those
specified by other options such as -ova_report. See “Using
Multiple Post-Processing Sessions” on page -20-32.