User guide

xix
OpenVera Assertions Post-Processing . . . . . . . . . . . . . . . . . . . . 20-24
OVAPP Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-25
Building and Running a Post-Processor . . . . . . . . . . . . . . . . 20-26
OVA Post-Processing CLI Commands . . . . . . . . . . . . . . . . . 20-31
Using Multiple Post-Processing Sessions . . . . . . . . . . . . . . . 20-32
Multiple OVA Post-Processing Sessions in One Directory . . 20-32
Viewing Output Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-41
Viewing Results in a Report File . . . . . . . . . . . . . . . . . . . . . . 20-41
Viewing Results with Functional Coverage . . . . . . . . . . . . . . 20-42
Using the Default Report . . . . . . . . . . . . . . . . . . . . . . . . . 20-42
Assertion and Event Summary Report . . . . . . . . . . . . . . . 20-44
Command Line Options . . . . . . . . . . . . . . . . . . . . . . . . . . 20-45
Customizing the Report with Tcl Commands . . . . . . . . . . 20-47
Using OVA with Third Party Simulators. . . . . . . . . . . . . . . . . . . . 20-48
Inlining OVA in Verilog. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-48
Specifying Pragmas in Verilog . . . . . . . . . . . . . . . . . . . . . . . . 20-49
Methods for Inlining OVA . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-50
Unit Instantiation Using the Unit-Based Checker Library . 20-52
Instantiating Context-Independent Full Custom OVA. . . . 20-54
Template Instantiation Using the Template-Based
Checker Library . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-56
Inlining Context-Dependent Full Custom OVA . . . . . . . . . 20-58
Case Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-59
Context-Dependent Assertion Pragmas. . . . . . . . . . . . . . 20-60
General Inlined OVA Coding Guidelines . . . . . . . . . . . . . . . . 20-62
Using Verilog Parameters in OVA Bind Statements . . . . . . . . . . 20-63