User guide

C-5
Simulation Options
./simv.vdb/scov/results.db and ./simv.vdb/reports/ova.report files.
Use this option if you want data and reports from a series of
simulation runs. It is a way of preventing VCS from overwriting
these files from a previous simulation. If you just specify a name,
VCS creates the alternatively named files in the default
directories. You can also specify a different location and name for
these files by specifying the path using the slash character /. For
example:
-ova_name /net/design1/ova/run2
This example tells VCS to write run2.db and run2.report in the
/net/design1/ova directory.
The following runtime options control how VCS writes its report on
OpenVera Assertions. You can use them only if you compiled with
the -ova_enable_diag compile-time option.
-ova_filter
Blocks reporting trivial if-then successes. These happen when an
if-then construct registers a success only because the if portion
is false (and so the then portion is not checked). With this option,
reporting only shows successes in which the whole expression
matches.
-ova_max_fail N
Limits the number of failures for each assertion to N. When the
limit is reached, VCS disables the assertion. You must supply N,
otherwise no limit is set.
-ova_max_success N
Limits the total number of reported successes to N. You must
supply N, otherwise no limit is set. The monitoring of assertions
continues, even after the limit is reached.