User guide

20-34
Using OpenVera Assertions
Note:
In this discussion, the vdb directory derived from the basename
given with the -o option will be referred to as simv.vdb for
simplicity.
The other directory is a read-only directory that you can specify with
the -vdb_lib option. This directory is used as the source for files
generated by the previous step, but the files are not located in the
simv.vdb directory (as specified by the -o option). If no -vdb_lib
option is given, all intermediate files are expected to be found in the
simv.vdb directory (the simple/default case).
To run multiple independent versions of either step 3 or step 4, each
command must specify a directory into which it will write its results.
Specify the directories with the -o basename option and argument
(the OVA intermediate files, for example, will be written to a directory
with the given basename plus the .vdb extension). The basename
given for each unique run of each step must be unique.
Each command will also include a pointer to the vdb directory of the
previous step against which this step is being performed. This path
is specified with the -vdb_lib option. The arguments for both -o
and -vdb_lib can include full path names if desired.
Here is an example of the overall flow:
1. vcs -ova_PP -o simv1 verilog_files
2. vcs -ova_RPP -vdb_lib simv1.vdb -o simv2
ova_files
3. ovapp -vdb_lib simv2.vdb -o simv3 -vcd dumpfile