User guide

xviii
Transaction Level Interface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19-31
Interface Definition File . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19-33
Generation of the TLI Adapters . . . . . . . . . . . . . . . . . . . . . . . 19-36
Transaction Debug Output. . . . . . . . . . . . . . . . . . . . . . . . . . . 19-37
Instantiation and Binding . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19-38
Supported Data Types of Formal Arguments. . . . . . . . . . . . . 19-40
Miscellaneous . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19-42
Using the Built-in SystemC Simulator . . . . . . . . . . . . . . . . . . . . . 19-42
Using a Customized SystemC Installation. . . . . . . . . . . . . . . . . . 19-43
20. Using OpenVera Assertions
Introducing OVA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-2
Built-in Test Facilities and Functions . . . . . . . . . . . . . . . . . . . 20-2
Using OVA Directives. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-3
How Sequences Are Tested Using the assert Directive. . 20-4
How Event Coverage Is Tested Using the cover Directive 20-6
OVA Flow. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-7
Checking OVA Code With the Linter Option . . . . . . . . . . . . . . . . 20-8
Applying General Rules with VCS . . . . . . . . . . . . . . . . . . . . . 20-8
Linter General Rule Messages. . . . . . . . . . . . . . . . . . . . . 20-9
Applying Magellan Rules for Formal Verification . . . . . . . . . . 20-16
Linter General Rule Messages: . . . . . . . . . . . . . . . . . . . . 20-16
Compiling Temporal Assertions Files . . . . . . . . . . . . . . . . . . . . . 20-19
OVA Runtime Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-21
Functional Code Coverage Options. . . . . . . . . . . . . . . . . . . . 20-24