目錄
第1章 驗(yàn)證導(dǎo)論 1
1.1 驗(yàn)證流程 2
1.2 驗(yàn)證方法學(xué) 3
1.3 基本測(cè)試平臺(tái)的功能 4
1.4 定向測(cè)試 4
1.5 方法學(xué)基礎(chǔ) 5
1.6 受約束的隨機(jī)激勵(lì) 7
1.7 隨機(jī)化的對(duì)象是什么？ 8
1.8 功能覆蓋率 10
1.9 測(cè)試平臺(tái)的構(gòu)件 11
1.10 分層的測(cè)試平臺(tái) 12
1.11 建立一個(gè)分層的測(cè)試平臺(tái) 17
1.12 仿真環(huán)境的階段 17
1.13 最大限度的代碼重用 18
1.14 測(cè)試平臺(tái)的性能 19
1.15 小結(jié) 19
1.16 練習(xí) 19
第2章 數(shù)據(jù)類(lèi)型 21
2.1 內(nèi)建數(shù)據(jù)類(lèi)型 21
2.2 定寬數(shù)組 23
2.3 動(dòng)態(tài)數(shù)組 30
2.4 隊(duì)列 32
2.5 關(guān)聯(lián)數(shù)組 33
2.6 數(shù)組的方法 36
2.7 選擇存儲(chǔ)類(lèi)型 41
2.8 使用typedef創(chuàng)建新的類(lèi)型 43
2.9 創(chuàng)建用戶(hù)自定義結(jié)構(gòu) 44
2.10 包 47
2.11 類(lèi)型轉(zhuǎn)換 48
2.12 流操作符 49
2.13 枚舉類(lèi)型 51
2.14 常量 54
2.15 字符串 54
2.16 表達(dá)式的位寬 55
2.17 小結(jié) 56
2.18 練習(xí) 56
第3章 過(guò)程語(yǔ)句和子程序 61
3.1 過(guò)程語(yǔ)句 61
3.2 任務(wù)、函數(shù)以及void函數(shù) 62
3.3 任務(wù)和函數(shù)概述 63
3.4 子程序參數(shù) 63
3.5 子程序的返回 68
3.6 局部數(shù)據(jù)存儲(chǔ) 70
3.7 時(shí)間值 72
3.8 小結(jié) 74
3.9 練習(xí) 74
第4章 連接設(shè)計(jì)和測(cè)試平臺(tái) 77
4.1 將測(cè)試平臺(tái)和設(shè)計(jì)分開(kāi) 77
4.2 接口 80
4.3 激勵(lì)時(shí)序 86
4.4 接口的驅(qū)動(dòng)和采樣 92
4.5 程序塊需要考慮的因素 97
4.6 將模塊連接起來(lái) 99
4.7 頂層作用域 100
4.8 程序和模塊的交互 102
4.9 SystemVerilog斷言 102
4.10 四端口的ATM路由器 105
4.11 Ref端口的方向 112
4.12 小結(jié) 113
4.13 練習(xí) 113
第5章 面向?qū)ο缶幊蹋∣OP）基礎(chǔ) 115
5.1 簡(jiǎn)介 115
5.2 考慮名詞，而非動(dòng)詞 115
5.3 編寫(xiě)第一個(gè)類(lèi)（Class） 116
5.4 在哪里定義類(lèi) 117
5.5 OOP術(shù)語(yǔ) 117
5.6 創(chuàng)建新對(duì)象 118
5.7 對(duì)象的解除分配（deallocation） 122
5.8 使用對(duì)象 123
5.9 類(lèi)的方法 124
5.10 在類(lèi)之外定義方法 124
5.11 靜態(tài)變量和全局變量 126
5.12 作用域規(guī)則 129
5.13 在一個(gè)類(lèi)內(nèi)使用另一個(gè)類(lèi) 131
5.14 理解動(dòng)態(tài)對(duì)象 134
5.15 對(duì)象的復(fù)制 137
5.16 公有和私有 143
5.17 題外話(huà) 143
5.18 建立一個(gè)測(cè)試平臺(tái) 144
5.19 小結(jié) 145
5.20 練習(xí) 145
第6章 隨機(jī)化 149
6.1 介紹 149
6.2 什么需要隨機(jī)化？ 149
6.3 SystemVerilog中的隨機(jī)化 152
6.4 約束 154
6.5 解的概率 164
6.6 控制多個(gè)約束塊 168
6.7 有效性約束 169
6.8 內(nèi)嵌約束 169
6.9 pre_randomize和post_randomize函數(shù) 170
6.10 隨機(jī)數(shù)函數(shù) 172
6.11 約束的技巧和技術(shù) 172
6.12 隨機(jī)化的常見(jiàn)錯(cuò)誤 177
6.13 迭代和數(shù)組約束 178
6.14 產(chǎn)生原子激勵(lì)和場(chǎng)景 187
6.15 隨機(jī)控制 189
6.16 隨機(jī)數(shù)發(fā)生器 191
6.17 隨機(jī)器件配置 194
6.18 小結(jié) 197
6.19 練習(xí) 197
第7章 線(xiàn)程以及線(xiàn)程間的通信 201
7.1 線(xiàn)程的使用 201
7.2 停止線(xiàn)程 211
7.3 線(xiàn)程間的通信 214
7.4 事件 215
7.5 旗語(yǔ) 220
7.6 信箱 222
7.7 構(gòu)筑帶線(xiàn)程并可實(shí)現(xiàn)線(xiàn)程間通信的測(cè)試程序 234
7.8 小結(jié) 237
7.9 練習(xí) 238
第8章 面向?qū)ο缶幊痰母呒?jí)技巧指南 241
8.1 繼承簡(jiǎn)介 241
8.2 藍(lán)圖（Blueprint）模式 247
8.3 類(lèi)型向下轉(zhuǎn)換（Downcasting）和虛擬方法 251
8.4 合成、繼承和其他替代的方法 255
8.5 對(duì)象的復(fù)制 258
8.6 抽象類(lèi)和純虛擬方法 260
8.7 回調(diào) 262
8.8 參數(shù)化的類(lèi) 267
8.9 靜態(tài)和單例類(lèi) 271
8.10 創(chuàng)建測(cè)試注冊(cè)表 276
8.11 小結(jié) 283
8.12 練習(xí) 284
第9章 功能覆蓋率 287
9.1 收集覆蓋率數(shù)據(jù) 288
9.2 覆蓋率的類(lèi)型 289
9.3 功能覆蓋策略 291
9.4 功能覆蓋率的簡(jiǎn)單例子 293
9.5 覆蓋組詳解 296
9.6 覆蓋組的觸發(fā) 297
9.7 數(shù)據(jù)采樣 301
9.8 交叉覆蓋率 309
9.9 通用的覆蓋組 315
9.10 覆蓋選項(xiàng) 316
9.11 覆蓋率數(shù)據(jù)的分析 318
9.12 在仿真過(guò)程中進(jìn)行覆蓋率統(tǒng)計(jì) 320
9.13 小結(jié) 320
9.14 練習(xí) 321
第10章 高級(jí)接口 323
10.1 ATM路由器的虛擬接口 323
10.2 連接到多個(gè)不同的設(shè)計(jì)配置 331
10.3 參數(shù)化接口和虛擬接口 337
10.4 接口中的過(guò)程代碼 338
10.5 小結(jié) 341
10.6 練習(xí) 341
第11章 完整的SystemVerilog測(cè)試平臺(tái) 343
11.1 設(shè)計(jì)單元 343
11.2 測(cè)試平臺(tái)的模塊 347
11.3 修改測(cè)試 369
11.4 小結(jié) 371
11.5 練習(xí) 371
第12章 SystemVerilog與C/C++語(yǔ)言的交互 373
12.1 傳遞簡(jiǎn)單的數(shù)值 373
12.2 連接簡(jiǎn)單的C子程序 377
12.3 調(diào)用C++程序 383
12.4 共享簡(jiǎn)單數(shù)組 389
12.5 開(kāi)放數(shù)組（open array） 390
12.6 共享復(fù)合類(lèi)型 394
12.7 純導(dǎo)入方法和關(guān)聯(lián)導(dǎo)入方法 396
12.8 在C程序中與SystemVerilog通信 397
12.9 與其他語(yǔ)言交互 407
12.10 小結(jié) 409
12.11 練習(xí) 409
參考文獻(xiàn) 411
書(shū)單推薦
