User guide

20-29
Using OpenVera Assertions
-vdb_lib directory_path
Specifies an alternative location for the VDB that VCS searches
for data generated during a prior step. VCS first searches the
directory specified by the -ova_dir option, then the directory
specified by this option. If it does not find this information in
either directory, the compilation fails. If you include this option
without the -ova_dir option, VCS searches the directory
specified by this option, then the simv.vdb directory in the
current directory.
-ova_cov
Enables the post-processor to gather OVA functional coverage
information.
5. The last step is to start the post-processor. You do this with an
ovapp command line. Its syntax is as follows:
ovapp [-vdb_lib directory_path][-vpd filename.vpd]
[-vcd filename.vcd] [-cli [-daidir=pathname.daidir] |
-ova_report [filename] -ova_cov]
[-ova_name session_name] [-o simv_name]
[other_OVA_options]
In this example:
-vdb_lib directory_path
Specifies the verification database directory that contains the
dynamic library, the post-processing engine.
-vpd filename.vpd
Specifies the VPD file. If the filename is vcdplus.vpd and it is in
the current directory, you can omit this option.