Contents
Part One:
Design and Verification Constructs
1. Overview.................................................................................................................................................... 2
1.1 Scope................................................................................................................................................ 2
1.2 Purpose............................................................................................................................................. 2
1.3 Merger of IEEE Std 1364-2005 and IEEE Std 1800-2005.............................................................. 3
1.4 Special terms.................................................................................................................................... 3
1.5 Conventions used in this standard ................................................................................................... 3
1.6 Syntactic description........................................................................................................................ 4
1.7 Use of color in this standard ............................................................................................................ 5
1.8 Contents of this standard.................................................................................................................. 5
1.9 Deprecated clauses........................................................................................................................... 8
1.10 Examples.......................................................................................................................................... 8
1.11 Prerequisites..................................................................................................................................... 8
2. Normative references ................................................................................................................................. 9
3. Design and verification building blocks .................................................................................................. 11
3.1 General........................................................................................................................................... 11
3.2 Design elements ............................................................................................................................. 11
3.3 Modules ......................................................................................................................................... 11
3.4 Programs ........................................................................................................................................ 12
3.5 Interfaces........................................................................................................................................ 13
3.6 Checkers......................................................................................................................................... 14
3.7 Primitives ....................................................................................................................................... 14
3.8 Subroutines .................................................................................................................................... 14
3.9 Packages......................................................................................................................................... 14
3.10 Configurations ............................................................................................................................... 15
3.11 Overview of hierarchy ................................................................................................................... 15
3.12 Compilation and elaboration.......................................................................................................... 16
3.13 Name spaces .................................................................................................................................. 18
3.14 Simulation time units and precision............................................................................................... 19
4. Scheduling semantics............................................................................................................................... 23
4.1 General........................................................................................................................................... 23
4.2 Execution of a hardware model and its verification environment ................................................. 23
4.3 Event simulation ............................................................................................................................ 23
4.4 The stratified event scheduler ........................................................................................................ 24
4.5 The SystemVerilog simulation reference algorithm...................................................................... 29
4.6 Determinism................................................................................................................................... 29
4.7 Nondeterminism............................................................................................................................. 30
4.8 Race conditions.............................................................................................................................. 30
4.9 Scheduling implication of assignments ......................................................................................... 30
4.10 The PLI callback control points..................................................................................................... 32
