User guide

20-23
Using OpenVera Assertions
-ova_simend_max_fail N
Terminates the simulation if the number of failures for any
assertion reaches N. N must be supplied, otherwise no limit is set.
-ova_success
Enables reporting of successful assertion matches in addition to
failures. The default is to report only failures.
For a cover statement, triggers the match (success) message in
the following format:
Ova [i][j]: ".fileName", <line>: <hierCoverName> started
at 900s covered at 900s [optional custom msg]
Here i and j are the severity and category values associated with
the cover statement, respectively. ova_success is under the
control of -ova_quiet.
The -assert runtime option and keyword arguments, that were
implemented for SystemVerilog assertions, also work on OpenVera
assertions. For example, the -assert nocovdb runtime option and
keyword argument tells VCS not to write the OpenVera assertions
database file as well as not to write the SystemVerilog assertions
database file. See "Options for Compiling OpenVera Assertions
(OVA)" in Appendix B and "Options for Simulating OpenVera
Assertions" in Appendix C.