User guide

23-41
SystemVerilog Assertion Constructs
See "Compiling Temporal Assertions Files" on page 20-19, "OVA
Runtime Options" on page 20-21, and "Functional Code Coverage
Options" on page 20-24.
Ending Simulation at a Number of Assertion Failures
There are two ways to end simulation when the total number of
failures from all assertions reaches a specified number:
• Using the -assert global_finish_maxfail=N runtime
option and argument, see "Compile-Time And Runtime
Options" on page 23-36.
• Using the $ova_set_global_finish_maxfail system task.
The $ova_set_global_finish_maxfail takes an argument
which is an expression. For example:
$ova_set_global_finish_maxfail(100);
This expression does not need to be a constant expression. For
example:
$ova_set_global_finish_maxfail(reg1 + reg2);
When VCS executes this system task, the current value of the
expression argument determines the total number of assertion
failures that ends simulation.
-ova_simend_max_fail -ova_success -ova_cov
-ova_cov_name -ova_cov_db