User guide

23-76
SystemVerilog Assertion Constructs
In this example:
1. The two $ova_category_stop system tasks stop first the odd
numbered assertions and then the even numbered ones. The first
$ova_category_stop system task has a globalDirective
argument that’s 0, the second has a globalDirective
argument that’s 1.
2. The first $ova_category_start system task can restart the
odd numbered assertions but the second
$ova_category_start system task can’t start the even
numbered assertions.