User guide

20-28
Using OpenVera Assertions
During simulation VCS writes the VPD file.
4. The next step is to build the post-processor from the
post-processing data and one or more temporal assertions files.
You specify building the post-processor and the temporal
assertions file with the -ova_RPP compile-time option. For
example:
vcs -ova_RPP filename.ova...[-o simv_name] [-ova_dir
directory_path] [-ova_cov]
In this example compilation command line:
-ova_RPP
Tells VCS to compile the post-processing engine. VCS writes
it in a subdirectory in the verification database directory (VDB).
filename.ova
Temporal assertions file whose assertions you want compiled
into the post-processing engine. You can specify more than one
temporal assertions file.
-o simv_name
If you included the -o option when you compiled your design,
also include it on this command line to tell VCS where to look
for the VDB in which the new data generated by the current
command/step will be written.
Note:
Including this option also creates the simv_name.daidir
direct access interface directory. This directory enables you
to use CLI commands during post-processing.
-ova_dir directory_path
Specifies the verification database directory that VCS searches
for the information about your design that is used by the
post-processor.