User guide

C-6
Simulation Options
-ova_simend_max_fail N
Terminates the simulation if the number of failures for any
assertion reaches N. You must supply N, otherwise no limit is set.
-ova_success
Enables reporting of successful matches in addition to failures.
The default is to report only failures.
The following runtime options enable functional coverage. You can
use them only if you compiled with the -ova_cov compile-time
option.
-ova_cov
Enables functional coverage reporting.
-ova_cov_name filename
Specifies the file name or the full path name of the functional
coverage report file.
-ova_cov_db filename
Specifies the path name of the initial coverage file. VCS needs
the initial coverage file to set up the database.
Options for SystemVerilog Assertions
-assert keyword_argument
The keyword arguments are as follows:
dumpoff
Disables the dumping of SVA information in the VPD file during
simulation.