Example 2-1 Building Hierarchy under sys
Example 2-2 Verilog Code for XOR DUT
Example 2-3 Top Level Verilog Module
Example 2-4 e Code for Verification Environment
Example 2-5 Specman.v File Code for XOR DUT Verification
Example 4-1 Basic Struct Definition
Example 4-2 Extension of a Struct Definition in the Same File
Example 4-3 Extension of a Struct Definition in a Different File
Example 4-4 Field Definitions in a Struct
Example 4-5 List Field Definition
Example 4-6 Keyed Lists
Example 4-7 Explicit When Construct
Example 4-8 Implicit When Construct
Example 4-9 Extending Methods Defined in Base Type from When Subtypes
Example 4-10 Extending Methods Not Defined in Base Type from When Subtypes
Example 4-11 Basic Unit Definition
Example 4-12 HDL Path for the fast_router
Example 4-13 HDL Path for the Channels
Example 4-14 Usage of get_enclosing_unit()
Example 5-1 Simple Constraint Definition
Example 5-2 More Constraint Definitions
Example 5-3 Implication Constraints
Example 5-4 Evaluation Order of Soft Constraints
Example 5-5 Soft Constraints
Example 5-6 Resetting Soft Constraints
Example 5-7 Weighted Constraints
Example 5-8 Explicit User-Defined Generation Order
Example 5-9 Resolution of Hierarchical Constraints
Example 5-10 Do-Not-Generate Fields
Example 6-1 Method Definition
Example 6-2 Values Accessed in a Method
Example 6-3 Method Invocation
Example 6-4 Extending Methods
Example 6-5 If-then-else Actions
Example 6-6 Case Action
Example 6-7 For Loop
Example 6-8 C Style For Loop
Example 6-9 For each Loops
Example 6-10 While Loops
Example 6-11 Repeat Loops
Example 6-12 Output Routines
Example 6-13 Print Action
Example 7-1 Event Definition
Example 7-2 Explicit Emit Action
Example 7-3 Automatic Event Emission
Example 7-4 Event Redefinition
Example 7-5 Basic Temporal Operators
Example 7-6 Not Operator
Example 7-7 Fail Operator
Example 7-8 And Operator
Example 7-9 Or Operator
Example 7-10 Fixed Repeat Operator
Example 7-11 First Match Variable Repeat Operator
Example 7-12 True Match Variable Repeat
Example 7-13 Eventually Operator
Example 7-14 Yield Operator
Example 8-1 TCM Definition
Example 8-2 Calling a TCM
Example 8-3 Starting a TCM
Example 8-4 Extending a TCM
Example 8-5 Wait Action
Example 8-6 Sync Action
Example 8-7 Gen Action
Example 8-8 Verilog Task
Example 8-9 Verilog Function
Example 8-10 VHDL Procedure
Example 8-11 VHDL Function
Example 9-1 Physical Fields
Example 9-2 Usage of pack() Method
Example 9-3 Usage of unpack() Method
Example 9-4 deep_compare_physical() Routine
Example 9-5 deep_compare() Routine
Example 9-6 Check that Action
Example 9-7 dut_error() Method
Example 9-8 Usage of set_check() Routine
Example 9-9 Expect Struct Member
Example 9-10 On Struct Member
Example 10-1 Coverage Group Definition
Example 10-2 Extending Coverage Groups
Example 10-3 Basic Coverage Items
Example 10-4 Ranges Option for Basic Coverage Item
Example 10-5 Transition Coverage Items
Example 10-6 Cross Coverage Items
Example 10-7 Latency Coverage
Example 10-8 Turning on Coverage
Example 11-1 sys.setup() Method
Example 11-2 post_generate() Method
Example 11-3 run() Method
Example 12-1 DUT HDL Source Code
Example 13-1 e Code for the Packet Data Item
Example 13-2 e Code for the Driver Object
Example 13-3 e Code for the Receiver Object
Example 13-4 e Code for the Data Checker (Scoreboard) Object
Example 13-5 e Code for the Monitor Object
Example 13-6 e Code for Adding Coverage to the Packet Object
Example 13-7 e Code for the Coverage Object
Example 13-8 e Code for the Environment Object
Example 13-9 e Code for Test Scenario 1 (Distribution of Packets)
Example 13-10 e Code for Test Scenario 2 (Protocol Violation)
Example 15-1 e Code for XSerial eVC Data Item
Example 15-2 e Code for XSerial eVC Agent
Example 15-3 e Code for XSerial eVC Tx BFM
Example 15-4 e Code for XSerial eVC Agent Tx Sequence
Example 15-5 e Code for XSerial eVC Monitor
Example 15-6 e Code for XSerial eVC Checker
Example 15-7 e Code for XSerial eVC Coverage
Example 15-8 e Code for XSerial eVC Env
Example 15-9 e Code for XSerial eVC Top
Example 16-1 Declaring a Global e Routine as a C Routine
Example 16-2 Calling a Global e Routine Declared as a C Routine
Example 16-3 Implement the C Routine
Example 16-4 Commands for Compiling and Linking e Code and C Code
Example 16-5 SN_TYPE Macro
Example 16-6 SN_LIST Macro
Example 16-7 SN_ENUM Macro
Example 16-8 SN_DEFINE Macro
Example 16-9 Accessing e Struct Fields in C
Example 16-10 e Method using C Routine
Example 16-11 Calling e Methods from C using SN_DISPATCH Macro
Example 16-12 C Export Statement Usage