User guide

xxvii

Conditions for Sequences . . . . . . . . . . . . . . . . . . . . . . . . 23-12

Specifying That Sequence Match Within Another

Sequence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-13

Using the End Point of a Sequence . . . . . . . . . . . . . . . . . 23-13

Level Sensitive Sequence Controls . . . . . . . . . . . . . . . . . 23-14

Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-17

Using Formal Arguments in a Property . . . . . . . . . . . . . . 23-18

Implications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-19

Inverting a Property . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-21

Past Value Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-22

The disable iff Construct. . . . . . . . . . . . . . . . . . . . . . . . . . 23-22

assert Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-23

assume Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-24

cover Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-25

Action Blocks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-28

Binding An SVA Module To A Design Module . . . . . . . . . . . . 23-29

Parameter Passing In A bind Directive. . . . . . . . . . . . . . . 23-31

The VPI For SVA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-32

SystemVerilog Assertion Local Variable Debugging . . . . . . . . . . 23-33

Controlling How VCS Uses SystemVerilog Assertions . . . . . . . . 23-35

Compile-Time And Runtime Options . . . . . . . . . . . . . . . . . . . 23-36

Ending Simulation at a Number of Assertion Failures . . . . . . 23-41

Disabling SystemVerilog Assertions at Compile-Time . . . . . . 23-42

Entering SystemVerilog Assertions as Pragmas . . . . . . . . . . 23-42

Options for SystemVerilog Assertion Coverage. . . . . . . . . . . 23-44

Reporting On Assertions Coverage . . . . . . . . . . . . . . . . . . . . 23-45