第 1 章使用手冊指南. 12
序 ............ 12
緒論 ........ 15
手冊的使用 ........... 16
本書的結構 ... 16
形式? 17
構造和運行實例? 17
實例代碼 ....... 18
獲取手冊的套件? 19
符號說明? 19
組件? 20
接口? 20
互連? 22
通道? 23
總結? 23
命名慣例? 23
第 2 章驗證原理......... 28
兩個問題? 29
測試平臺? 31
第一個測試平臺 ... 34
第二個測試平臺 ... 41
第 3 章 AVM綜述........ 46
驗證構件? 46
同心圓的測試平臺架構? 46
處理器（Transactor） ... 48
環境組件 ....... 49
分析組件 ....... 49
控制器 ........... 50
兩個域 .... 50
面向對象編程風格 .... 51
作為組件的對象? 51
繼承? 54
接口? 55
總結 ........ 58
第 4 章 TLM介紹......... 58
事務的定義 ........... 59
表示事務? 60
事務對象? 60
事務級模塊和驗證 .... 63
簡介 63
參考模型 ....... 64
說明? 65
主要概念 ....... 65
SystemVerilog實現......... 66
SystemC實現. 68
Get .......... 70
說明? 71
主要概念 ....... 71
SystemVerilog實現......... 72
SystemC實現. 73
請求/響應 75
說明? 75
主要概念 ....... 75
SystemVerilog實現......... 76
SystemC實現. 78
FIFO ....... 81
說明? 81
主要概念 ....... 81
SystemVerilog實現......... 82
SystemC實現. 85
雙向通訊? 88
說明? 88
主要概念 ....... 88
SystemVerilog實現......... 90
SystemC實現. 93
事務級總線 ........... 95
說明? 95
主要概念 ....... 95
SystemC實現. 96
第 5 章 SystemVerilog 中的AVM機制 105
接口 ...... 105
SystemVerilog 接口..... 105
SystemVerilog虛擬接口........... 106
純虛接口類 . 107
端口和輸出 ......... 108
端口 ............. 108
輸出端口 ..... 108
環境類 .. 109
連接階段 ............. 111
不分層次的綁定 .......... 111
端口，輸出口和繼承 .. 113
連接分析端口 .. 117
虛擬接口和avm_env.... 121
總結 ...... 124
第 6 章測試基本原理.. 125
一個存儲器的測試平臺 ...... 125
說明 ............. 125
主要概念 ..... 125
監視器結構 . 126
SystemVerilog實現細節........... 126
SystemC實現細節........ 128
帶獨立驅動器的存儲器測試 .......... 130
說明 ............. 130
主要概念 ..... 130
事務級激勵發生器 ...... 131
驅動器結構 . 131
SystemVerilog實現細節........... 132
說明 ............. 137
主要概念 ..... 137
驅動器設計 . 137
SystemVerilog實現細節........... 137
SystemC實現細節........ 139
測試平臺中的雙向通訊 ...... 142
說明 ............. 142
主要概念 ..... 142
SystemVerilog實現細節........... 142
SystemC實現細節........ 146
第 7 章完成測試....... 150
記分板 .. 150
說明 ............. 151
主要概念 ..... 151
分析端口 ..... 151
記分板 ......... 152
SystemVerilog基于類的實現細節......... 153
SystemVerilog基于模塊的實現細節..... 155
SystemC實現細節........ 156
覆蓋率 .. 159
說明 ............. 159
主要概念 ..... 159
覆蓋率和覆蓋率采集器 .......... 160
SystemVerilog實現細節........... 160
SystemVerilog基于模塊的實現細節..... 162
SystemC實現細節........ 164
產生錯誤 ............. 165
說明 ............. 166
主要概念..... 166
構造錯誤驅動器 .......... 166
SystemVerilog基于類的實現細節......... 168
SystemVerilog基于模塊的實現細節..... 169
SystemC實現細節........ 171
第 8 章逐步替換..... 173
事務級FPU.......... 174
說明 ............. 174
主要概念 ..... 174
SystemVerilog實現細節........... 175
FPU RTL ............. 179
說明 ............. 179
主要概念 ..... 181
SystemVerilog實現細節........... 182
FPU golden模型.. 188
說明 ............. 188
主要概念 ..... 189
SystemVerilog 實現細節......... 189
SystemC 實現細節...... 190
第 9 章有約束的隨機驗證...... 191
CRV方法概述..... 191
定向測試 ..... 191
有約束的隨機驗證 ...... 192
約束隨機中的定向測試 .......... 193
技術基礎 ..... 193
以對象為導向的隨機化 ...... 197
以對象為導向的基礎 .. 197
給對象增加隨機性 ...... 199
用繼承法的層次約束 .. 200
管理約束 ............. 201
動態修改約束 .. 201
過度約束 ..... 202
隱含 ............. 204
分配和求解順序 .......... 205
約束中的有用操作 .. 206
設定成員資格 .. 206
高級話題 ............. 209
類群 ............. 209
狀態決定約束實例 ...... 211
第 10 章基于斷言的監視器. 212
基于斷言的監視器 .. 212
說明 ............. 213
主要概念 ..... 213
基于斷言的協議監視器實例.. 214
SystemVerilog實現細節........... 216
基于斷言檢查器的測試 ...... 221
說明 ............. 221
主要概念 ..... 221
SystemVerilog實現細節........... 222
附錄A SystemVerilog AVM庫..... 226
引言 ...... 226
報告 ...... 226
基本報告方法 .. 226
冗余級 ......... 227
動作 ............. 227
文件輸出 ..... 229
報告格式化程序 .......... 230
構造模塊 ............. 231
avm_named_component ........... 231
avm_verification_component ... 236
avm_env....... 238
核心AVM類和組件. 239
avm_transaction 239
avm_stimulus.... 240
analysis_if 和 analysis_port.... 241
avm_in_order_comparator........ 243
avm_subscriber. 244
TLM庫.. 245
TLM接口..... 245
TLM通道..... 246
附加的AVM組件 248
avm_algorithmic_comparator... 248
avm_global_analysis_ports....... 250
使用模板問題 ..... 250
使用完好的過程控制 .. 251
事務，便捷方法和定向測試 .. 254
可復制的隨機激勵 ...... 255
編碼技術 ............. 255
包和多級繼承 .. 256
策略類 ......... 258
附錄B ........... 261
參考書目 ............. 261