User guide

23-74

SystemVerilog Assertion Constructs

globalDirective

Can be either of the following values:

Enables an $ova_category_stop system task, that does not

have a globalDirective argument, to stop the assertions

started with this system task.

Prevents an $ova_category_stop system task that does not

have a globalDirective argument from stopping the

assertions started with this system task.

Examples

This first example stops the odd numbered categories:

$ova_set_category(top.d1.a1,1);

$ova_set_category(top.d1.a2,2);

$ova_set_category(top.d1.a3,3);

$ova_set_category(top.d1.a4,4);

$ova_category_stop(1,’h1);

The categories are masked with the maskValue argument and

compared with the categoryValue argument:

bits categoryValue

category 1 001

maskValue 1

result 1 1 match

category 2 010

maskValue 1

result 0 1 no match