User guide

23-33
SystemVerilog Assertion Constructs
• In subsection 28.5.1 “Assertion system control,”
vpiAssertionSysStart and vpiAssertionSysStop are
not supported.
• In subsection 28.5.2 “Assertion control,”
vpiAssertionDisableStep and
vpiAssertionEnableStep are not supported.
Also the following, in the static part, are not supported:
• Assignments inside sequence expressions
• Bit-selects or part-selects of formal arguments inside a sequence
expression
SystemVerilog Assertion Local Variable Debugging
VCS includes four callback types that you can use to debug SVA local
variables. You register these callback types on a VPI assertion handle
using the vpi_register_assertion_cb method.
These callback types are as follows:
CreationcbAssertionLocalVarCreated
VCS calls this callback type when VCS creates the SVA local
variable. This happens when a new SVA attempt starts.
cbAssertionLocalVarUpdated
VCS calls this callback type when it updates an SVA local variable.
The new value might be the same as the old value.
cbAssertionLocalVarDuplicated
VCS calls this callback type when it duplicates an SVA local
variable. This happens when an attempt forks off into multiple
paths.