User guide

xxiii
Example Testbench . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-71
Running OpenVera Testbench with OVA . . . . . . . . . . . . . . . . 21-74
Running OpenVera Testbench with SVA . . . . . . . . . . . . . . . . 21-74
Running OpenVera Testbench with SVA and OVA Together . 21-75
OpenVera-SystemVerilog Testbench Interoperability . . . . . . . . . 21-75
Scope of Interoperability . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-76
Importing OpenVera types into SystemVerilog . . . . . . . . . . . 21-77
Data Type Mapping . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-80
Mailboxes and Semaphores . . . . . . . . . . . . . . . . . . . . . . 21-81
Events . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-83
Strings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-83
Enumerated Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-83
Integers and Bit-Vectors . . . . . . . . . . . . . . . . . . . . . . . . . 21-86
Arrays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-87
Structs and Unions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-88
Connecting to the Design . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-89
Mapping Modports to Virtual Ports . . . . . . . . . . . . . . . . . 21-89
Semantic Issues with Samples, Drives, and Expects . . . 21-93
Miscellaneous Issues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-94
Blocking Functions in OpenVera . . . . . . . . . . . . . . . . . . . . . . 21-94
The terminate, wait_child, disable fork, and wait fork
Constructs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-94
Constraints and Randomization . . . . . . . . . . . . . . . . . . . 21-94
Functional Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-95
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-96
Using Reference Verification Methodology with OpenVera. . . . . 21-98
Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-98