User guide

23-75

SystemVerilog Assertion Constructs

1. VCS looks at the least significant bit of each category and logically

ands that LSB to the maskValue

argument, which is 1.

2. The results of these anding operations, 1 or true for categories 1

and 3, and 0 or false for categories 2 and 4, is compared to the

categoryValue, which is 1, there is a match for categories 1

and 3.

3. VCS stops the odd numbered categories.

Here is another example. This one uses the globalDirective

argument:

$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,0);

$ova_category_stop(0,’h1,1);

$ova_category_start(1,’h1);

$ova_category_start(0,’h1);

category 3 011

maskValue 1

result 1 1 match

category 4 100

maskValue 1

result 0 1 no match