User guide

20-82
Using OpenVera Assertions
Developing a User Action Function
Instead of specifying "continue", "stop" or "finish" as the
action argument to the $ova_severity_action system task, you
can specify a function that you develop to perform the action. To
enable this feature the new struct types:
Ova_AssertionSourceInfo
This struct has the following fields:
lineNo
Represents the line number in the file where the assertion was
written.
fileName
Represents the filename where the assertion was written in HDL
or OVA source code.
OvaAssertionData;
This struct has the following fields:
Ova_AssertName
This represents the full hierarchical name of the assertion.
Ova_ExprType exprType
This represents the type of assertion(event/check/forbid).
Ova_AssertionSourceInfo srcBlock
This represents the source file information for the assertion.
unsigned int severity:8
This represents the severity assigned to the assertion. It is an
eight bit integer constant.