Table of Contents
vi Writing Testbenches using SystemVerilog
Redundancy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
What Is Being Verified? . . . . . . . . . . . . . . . . . . . . . . . 7
Equivalence Checking . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Property Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Functional Verification . . . . . . . . . . . . . . . . . . . . . . . . . 10
Functional Verification Approaches . . . . . . . . . . . . . .11
Black-Box Verification . . . . . . . . . . . . . . . . . . . . . . . . . 11
White-Box Verification . . . . . . . . . . . . . . . . . . . . . . . . . 13
Grey-Box Verification . . . . . . . . . . . . . . . . . . . . . . . . . 14
Testing Versus Verification . . . . . . . . . . . . . . . . . . . . 15
Scan-Based Testing . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Design for Verification . . . . . . . . . . . . . . . . . . . . . . . . . 17
Design and Verification Reuse . . . . . . . . . . . . . . . . . 18
Reuse Is About Trust . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Verification for Reuse . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Verification Reuse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
The Cost of Verification . . . . . . . . . . . . . . . . . . . . . . 20
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
CHAPTER 2
Verification Technologies 23
Linting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
The Limitations of Linting Technology . . . . . . . . . . . . . 25
Linting SystemVerilog Source Code . . . . . . . . . . . . . . . 27
Code Reviews . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Simulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Stimulus and Response . . . . . . . . . . . . . . . . . . . . . . . . . 30
Event-Driven Simulation . . . . . . . . . . . . . . . . . . . . . . . 31
Cycle-Based Simulation . . . . . . . . . . . . . . . . . . . . . . . . 33
Co-Simulators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Verification Intellectual Property . . . . . . . . . . . . . . . . 38
Waveform Viewers . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Code Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Statement Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Path Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Expression Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . 45
FSM Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
What Does 100 Percent Code Coverage Mean? . . . . . 48
Functional Coverage . . . . . . . . . . . . . . . . . . . . . . . . . 49
评论0