第1章 overview

發展歷史 1-1

EDA工具的支持進度 1-3

SystemVerilog的特性 1-3

SystemC 1-11

第2章 Verilog 2001

回顧Verilog 2001 2-1

Register changed to “variable” 2-4

＄ferror 2-68

＄fflush 2-69

＄fgetc 2-70

＄fgets 2-72

＄fread 2-74

＄fscanf 2-76

＄fseek 2-77

第3章 Data Type

資料型態 3-1

auto variable vs static variable 3-1

Constant 3-6

Scope and lifetime 3-8

Nets and regs 3-12

State 3-16

2-State data type 3-17

logic data type 3-18

Void data type 3-19

String data type 3-20

String operators 3-22

String method 3-25

Event data type 3-29

User defined data type 3-30

Enumerate data type 3-31

Enumerated type ranges 3-34

Enumerated types in numerical expressions 3-35

Enumeration method 3-37

Pack vs Unpacked 3-39

Structures 3-40

Packed Unpacked structures 3-45

Packed Union 3-46

Casting 3-50

Dynamic casting 3-55

Array 3-57

Indexing and slicing of Array 3-59

Array function 3-61

Dynamic-array 3-63

Associative-array 3-64

Queue 3-67

Queue function 3-70

第4章 Operator

Operator and expression 4-1

Assignment operator 4-2

Wildcard equality and inequality operators 4-7

Uniary operator 4-12

binary operator 4-13

Static prefixes 4-16

Concatenation 4-18

Struct 4-20

Set membership 4-22

第5章 Procedural & Control

Procedural & Control 5-1

Selection statements 5-2

Loop statements 5-3

disable block 5-9

name blocks 5-11

return 5-12

foreach 5-14

final 5-15

event control 5-16

fork join fork join_none fork_join_any 5-21

wait fork disable fork 5-25

Synthesis convenient 5-25

第6章 Tasks and functions

Tasks and functions 6-1

忽略begin end 6-4

SystemVerilog function 6-5

Pass by value 6-8

Pass by reference 6-9

Pass by name 6-12

Self-defined data type task or functions 6-13

第7章 Interface

Interface 7-1

Name bundle vs generic bundle 7-8

Interface reference 7-11

Ports in reference 7-11

Modports 7-14

Parameters 7-20

第8章 Class

OOP(Object Oriented Programming) 8-1

class 8-2

constructors 8-4

object method 8-4

assignment 8-11

static class properties 8-13

This 8-16

inheritance 8-17

overridden members 8-19

super 8-20

Data hiding local 8-21

Data hiding protected 8-21

virtual class 8-23

第9章 Random Constraints

Random Constraints 9-1

randomize() with 9-4

distribution 9-6

function in constraints 9-7

rand in class 9-8

Inheritance 9-12

Implication(->) 9-17

Random weighted case(randcase) 9-22

＄urandom and ＄urandom_range 9-25

rand_mode 9-27

constraint_mode 9-27

第10章 Coverage

驗證Coverage 10-1

覆蓋率Coverage 10-2

Covergroup 10-4

Coverpoints 10-5

Coverage bins 10-8

Cross coverage 10-15

Covergroup guard 10-16

Specify coverage options 10-18

covergroup parameters 10-19

ignore bins 10-21

illegal bins 10-22

第11章 Assertions

Assertion verification 11-1

Sequence declarations 11-3

Uprange sign 11-4

Implication Operators 11-10

Consecutive repetition 11-11

Non-consecutive repetition 11-13

Goto repetition 11-15

And operation 11-19

OR operation 11-24

Sample value function 11-28

Condition over sequence 11-28

Intersect operator 11-35

first_match operator 11-40

序列裏含匯流排資料 11-43

Assertion 11-44

Property 11-45

附 錄

A.1 SYNOPSYS VCS 附-1

A.2.1 Cadence NC 附-3

A.2.2 Running Coverage with Cadence Incisive 附-3

A.2.3 Running Coverage with Cadence Incisive 附-4

B.1 Source text 附-9

B.1.1 Library source text 附-9

B.1.2 Configuration source text 附-9

B.1.3 Module and primitive source text 附-10

B.1.4 Module parameters and ports 附-13

B.1.5 Module items 附-14

B.1.6 Interface items 附-17

B.1.7 Program items 附-18

B.1.8 Class items 附-18

B.1.9 Constraints 附-20

B.2 Declarations 附-21

B.2.1 Declaration types 附-21

B.2.2 Declaration data types 附-23

B.2.3 Declaration lists 附-26

B.2.4 Declaration assignments 附-27

B.2.5 Declaration ranges 附-28

B.2.6 Function declarations 附-28

B.2.7 Task declarations 附-31

B.2.8 Block item declarations 附-33

B.2.9 Interface declarations 附-33

B.2.10 Assertion declarations 附-34

B.3 Primitive instances 附-38

B.3.1 Primitive instantiation and instances 附-38

B.3.2 Primitive strengths 附-39

B.3.3 Primitive terminals 附-40

B.3.4 Primitive gate and switch types 附-40

B.4 Module, interface and generated instantiation 附-40

B.4.1 Instantiation 附-40

B.4.2 Generated instantiation 附-42

B.5 UDP declaration and instantiation 附-44

B.5.1 UDP declaration 附-44

B.5.2 UDP ports 附-45

B.5.3 UDP body 附-46

B.5.4 UDP instantiation 附-47

B.6 Behavioral statements 附-47

B.6.1 Continuous assignment and net alias statements 附-47

B.6.2 Procedural blocks and assignments 附-47

B.6.3 Parallel and sequential blocks 附-49

B.6.4 Statements 附-49

B.6.5 Timing control statements 附-51

B.6.7 Case statements 附-53

B.6.8 Looping statements 附-54

B.6.9 Task enable statements 附-55

B.6.10 Assertion statements 附-55

B.6.11 Clocking domain 附-55

B.7 Specify section 附-57

B.7.1 Specify block declaration 附-57

B.7.2 Specify path declarations 附-57

B.7.3 Specify block terminals 附-58

B.7.4 Specify path delays 附-58

B.7.5 System timing checks 附-60

B.8 Expressions 附-64

B.8.1 Concatenations 附-64

B.8.2 Function calls 附-65

B.8.3 Expressions 附-66

B.8.4 Primaries 附-69

B.8.5 Expression left-side values 附-71

B.8.6 Operators 附-71

B.8.7 Numbers 附-72

B.8.8 Strings 附-73

B.9 General 附-73

B.9.1 Attributes 附-73

B.9.2 Comments 附-74

B.9.3 Identifiers 附-74

B.9.4 Identifier branches 附-77

B.9.5 White space 附-77