SystemVerilog for Verification

xuzwg

SystemVerilog for Verification:
1 |0 A- R0 i* [. tA Guide to Learning the Testbench Language Features
  r8 Q7 \# L! O% B$ C- o1. VERIFICATION GUIDELINES 1
- E- n7 J0 L* e4 G0 K1.1 Introduction 1
/ K  O4 s4 _* n1.2 The Verification Process 2
1.3 The Verification Plan 4
( z* X" r, i) Q1.4 The Verification Methodology Manual 4
1.5 Basic Testbench Functionality 5
1.6 Directed Testing 5
1.7 Methodology Basics 7
- d3 ]2 c5 O- d/ o7 K) Q% ^1.8 Constrained-Random Stimulus 8
1.9 What Should You Randomize? 10
/ R! c/ ~  F( Y( q1.10 Functional Coverage 13
! ~+ A6 E) }) k' B9 O1.11 Testbench Components 15
1.12 Layered Testbench 16
1.13 Building a Layered Testbench 22
( c! K  \* _  j; t! W9 T1.14 Simulation Environment Phases 23
9 M" H' B9 h: L1.15 Maximum Code Reuse 24
. i2 r" n/ A3 {% u" v% q! P1.16 Testbench Performance 24
( J: u/ D. f3 F1 ]5 V* A1.17 Conclusion 25
2. DATA TYPES 27
2.1 Introduction 27
- w. f' ^5 t' A2.2 Built-in Data Types 27
viii SystemVerilog for Verification
- @) K, z0 {" `8 w9 g2.3 Fixed-Size Arrays 29
$ b* R6 A; P" \2.4 Dynamic Arrays 34
" ^' {: y8 K  c3 P# F2.5 Queues 36
/ w5 N2 M' W* U7 n. Q( c; I2.6 Associative Arrays 37
2.7 Linked Lists 39
2.8 Array Methods 40
2.9 Choosing a Storage Type 42
2.10 Creating New Types with typedef 45
2.11 Creating User-Defined Structures 46
2.12 Enumerated Types 47
3 u! J+ G2 A4 h! F- |2.13 Constants 51
2.14 Strings 51
2.15 Expression Width 52
0 E! n; g+ ^* r& S) j2.16 Net Types 53
# c2 I+ ~$ a  t, K2.17 Conclusion 53
: R+ C7 s* x+ T  X6 W3. PROCEDURAL STATEMENTS AND ROUTINES 55
9 h% |$ S4 }- ~& L! n* j2 J3 K3.1 Introduction 55
3.2 Procedural Statements 55
3.3 Tasks, Functions, and Void Functions 56
3.4 Task and Function Overview 57
3.5 Routine Arguments 57
3.6 Returning from a Routine 62
, x/ U" t" ^9 J% W3.7 Local Data Storage 62
3.8 Time Values 64
% a% P; k3 J! {+ U2 R3.9 Conclusion 65
4. BASIC OOP 67
4.1 Introduction 67
$ R, R2 S4 S  D! J8 u4 W. h4.2 Think of Nouns, not Verbs 67
, i) q/ P: \$ ^) }" h% ?4.3 Your First Class 68
4.4 Where to Define a Class 69
+ |$ o, M0 }1 U$ V& G4.5 OOP Terminology 69
4.6 Creating New Objects 70
0 ?* P. L/ s& l+ @8 H% r4.7 Object Deallocation 74
4.8 Using Objects 76
3 I' I0 V2 L6 @2 A# T! \4.9 Static Variables vs. Global Variables 76
4.10 Class Routines 78
4.11 Defining Routines Outside of the Class 79
4.12 Scoping Rules 81
4.13 Using One Class Inside Another 85
4.14 Understanding Dynamic Objects 87
4.15 Copying Objects 91
3 b. ]& L3 t$ T6 D5 p0 g4.16 Public vs. Private 95
Contents ix
! G1 w2 ^0 s' [" f, d4.17 Straying Off Course 96
4.18 Building a Testbench 96
4.19 Conclusion 97
7 e- ~! _9 o& A5. CONNECTING THE TESTBENCH AND DESIGN 99
5.1 Introduction 99
5.2 Separating the Testbench and Design 99
- ^! b. j4 x2 m1 {5.3 The Interface Construct 102
5.4 Stimulus Timing 108
* N: S4 l2 h% j" G* i% L9 c5.5 Interface Driving and Sampling 114
% F" h3 G! r! q3 `5.6 Connecting It All Together 121
* \/ `% k  N5 q- w5.7 Top-Level Scope 121
; Z9 D7 ]0 B& `- c4 w5.8 Program – Module Interactions 123
$ F# V! |7 `: X; j5.9 SystemVerilog Assertions 124
) _% U2 e5 R0 P8 P- c5.10 The Four-Port ATM Router 126
5.11 Conclusion 134
6. RANDOMIZATION 135
6.1 Introduction 135
6.2 What to Randomize 136
; G  M$ l! M4 O. |+ W7 J6.3 Randomization in SystemVerilog 138
! I) K; Q$ n0 V& l6.4 Constraint Details 141
, l) o( D9 j9 ^; w" U$ w6.5 Solution Probabilities 149
6.6 Controlling Multiple Constraint Blocks 154
; _9 m+ y! K* }& w& q  d" V( C2 E6.7 Valid Constraints 154
2 X0 Y6 P3 u) m; t8 g- B! S6.8 In-line Constraints 155
6.9 The pre_randomize and post_randomize Functions 156
- b6 `2 H7 w' q+ s6 r6.10 Constraints Tips and Techniques 158
6.11 Common Randomization Problems 164
6.12 Iterative and Array Constraints 165
: r: Y0 o# r' ^! ]0 g  a6.13 Atomic Stimulus Generation vs. Scenario Generation 172
6.14 Random Control 175
0 J& l" E  T" C; U. P! M( E6.15 Random Generators 177
+ I  q1 N. G  c& e6.16 Random Device Configuration 180
/ k# n8 m1 \  f, k; o6.17 Conclusion 182
, A0 v0 z+ Y) g3 F( Z! Z) ]5 e  M7. THREADS AND INTERPROCESS COMMUNICATION 183
7.1 Introduction 183
7.2 Working with Threads 184
7.3 Interprocess Communication 194
) ?: u9 d; D; l' v  U6 T0 `& @( i0 ^7.4 Events 195
- o' p& ^3 K, u2 B( M3 d/ a2 Z7.5 Semaphores 199
7.6 Mailboxes 201
; {: v3 e5 f5 G, G, H' T7.7 Building a Testbench with Threads and IPC 210
x SystemVerilog for Verification
! T8 Z$ d  z1 P% e0 q; f6 z9 R7.8 Conclusion 214
5 R: O. U4 K5 \9 ~8. ADVANCED OOP AND GUIDELINES 215
1 s+ I2 U" \* C; g) ]8.1 Introduction 215
# u7 y$ M; C7 h! m! c7 B1 `8.2 Introduction to Inheritance 216
5 \9 T' p) Y; @3 O8.3 Factory Patterns 221
8.4 Type Casting and Virtual Methods 225
( L5 f* s4 ?" \8.5 Composition, Inheritance, and Alternatives 228
8.6 Copying an Object 233
; |  C  F% [0 S8.7 Callbacks 236
8.8 Conclusion 240
. Z  g9 P3 q5 \% l9. FUNCTIONAL COVERAGE 241
3 j6 N# I/ v+ K* Y8 I9.1 Introduction 241
9.2 Coverage Types 243
9.3 Functional Coverage Strategies 246
9.4 Simple Functional Coverage Example 248
6 G# t+ b" u& {, c9.5 Anatomy of a Cover Group 251
9.6 Triggering a Cover Group 253
9.7 Data Sampling 256
9.8 Cross Coverage 265
* @8 V$ [( C5 c3 l  c, u0 k& h  t9.9 Coverage Options 272
- Y: h$ F3 x3 \* H9.10 Parameterized Cover Groups 274
0 M. P% q' g7 s7 \3 x1 b9.11 Analyzing Coverage Data 275
2 z+ d0 q$ ]0 H9 I0 D, H1 N* U$ }9.12 Measuring Coverage Statistics During Simulation 276
6 u; o( D+ u  B  W3 r9.13 Conclusion 277
10. ADVANCED INTERFACES 279
* X- j9 W3 F0 z$ I2 ~& O; J4 B% W10.1 Introduction 279
10.2 Virtual Interfaces with the ATM Router 279
10.3 Connecting to Multiple Design Configurations 284
10.4 Procedural Code in an Interface 290
10.5 Conclusion 294
References 295
1 S% e6 z$ y$ n+ B. ?8 q& L2 a# |. S( T3 uIndex 297

xuzwg