User guide
xx
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-63
Enabling Verilog Parameter Expansion . . . . . . . . . . . . . . 20-64
Limitations on the Input . . . . . . . . . . . . . . . . . . . . . . . . . . 20-64
Recommended Methodology . . . . . . . . . . . . . . . . . . . . . . 20-66
Caveats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-66
Post-processing Flow. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-67
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-67
OVA System Tasks and Functions . . . . . . . . . . . . . . . . . . . . . . . 20-68
Setting and Retrieving Category and Severity Attributes. . . . 20-69
Starting and Stopping the Monitoring of Assertions . . . . . . . . 20-70
Global Monitoring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-70
Category and Severity-Based Monitoring. . . . . . . . . . . . . 20-73
Name-Based Monitoring. . . . . . . . . . . . . . . . . . . . . . . . . . 20-73
Controlling the Response To an Assertion Failure. . . . . . . . . 20-74
Display Custom Message For an Assertion Failure. . . . . . . . 20-75
Task Invocation From the CLI . . . . . . . . . . . . . . . . . . . . . . . . 20-76
Debug Control Tasks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-77
Calls From Within Code. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-78
Developing a User Action Function . . . . . . . . . . . . . . . . . 20-82
21. OpenVera Native Testbench
Major Features Supported in Native Testbench OpenVera . . . . . 21-3
High-level Data Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-3
Flow Control. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-3
Other Features. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-4
Getting Started With Native Testbench OpenVera . . . . . . . . . . . 21-5
Basics of an OpenVera Testbench. . . . . . . . . . . . . . . . . . . . . 21-6