User guide

20-20
Using OpenVera Assertions
-ova_dir pathname
Specifies an alternative name and location for the Verification
Database directory. There is no need to specify the name and
location of the new Verification Database directory at runtime. The
simv executable contains this information.
If you move or rename this directory after you create the simv
executable, you include this option at runtime to tell VCS its new
name or location.
-ova_file filename
Identifies filename as an assertion file. Not required if the file name
ends with .ova. For multiple assertion files, repeat this option with
each file.
-ova_filter_past
For assertions that are defined with the past operator, ignore
these assertions where the past history buffer is empty. For
instance, at the very beginning of the simulation the past history
buffer is empty. So, a check/forbid at the first sampling point and
subsequent sampling points should be ignored until the past
buffer has been filled with respect to the sampling point.
-ova_enable_diag
Enables further control of result reporting with runtime options.
Used with the cover directive, ova_enable_diag generates a
second counter to report the number of times an attempt to match
the event expression succeeds for the first time.
The counters are reported in the form
unit_instance_name cover_name, int_val total match,
int_val first match