Previous Section Next Section

List of Examples

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

Previous Section Next Section