編寫測試平臺(tái)（第二版）

第1章 什么是驗(yàn)證
1.1 什么是測試平臺(tái)
1.2 驗(yàn)證的重要性
1.3 恢復(fù)模型
1.4 人為因素
1.5 驗(yàn)證的對象是什么
1.6 功能驗(yàn)證的方法
1.7 測試與驗(yàn)證的比較
1.8 設(shè)計(jì)與驗(yàn)證的重用
1.9 驗(yàn)證的成本
1.10 小結(jié)
第2章 驗(yàn)證工具
2.1 lint工具
2.2 仿真器
2.3 知識(shí)產(chǎn)權(quán)的驗(yàn)證
2.4 波形瀏覽器
2.5 代碼覆蓋
2.6 功能覆蓋
2.7 驗(yàn)證語言
2.8 斷言
2.9 版本控制
2.10 問題追蹤
2.11 數(shù)據(jù)
2.12 小結(jié)
第3章 驗(yàn)證計(jì)劃
3.1 驗(yàn)證計(jì)劃的作用
3.2 驗(yàn)證的層次
3.3 驗(yàn)證策略
3.4 從設(shè)計(jì)規(guī)范到功能
3.5 直接的測試平臺(tái)方法
3.6 覆蓋率驅(qū)動(dòng)的可約束的隨機(jī)驗(yàn)證方法
3.7 小結(jié)
第4章 高層次建模
4.1 行為級與RTL級的思考
4.2 必須要有設(shè)計(jì)風(fēng)格
4.3 行為級代碼的結(jié)構(gòu)
4.4 數(shù)據(jù)抽象
4.5 面向?qū)ο蟮木幊?br /> 4.6 面向方面編程
4.7 并行仿真引擎
4.8 競爭狀態(tài)
4.9 Verilog可移植性問題
4.10 小結(jié)
第5章 激勵(lì)與響應(yīng)
5.1 參考信號(hào)
5.2 簡單的激勵(lì)
5.3 簡單的輸出
5.4 復(fù)雜的激勵(lì)
5.5 總線功能模型
5.6 響應(yīng)監(jiān)測器
5.7 事務(wù)層接口
5.8 小結(jié)
第6章 測試平臺(tái)的結(jié)構(gòu)
6.1 測試接口
6.2 VHDL測試接口
6.3 設(shè)計(jì)的配置
6.4 自檢驗(yàn)的測試平臺(tái)
6.5 直接激勵(lì)
6.6 隨機(jī)激勵(lì)
6.7 小結(jié)
第7章 仿真管理
7.1 行為模型
7.2 成功還是失敗
7.3 仿真管理
7.4 回退
7.5 小結(jié)
附錄A 編碼準(zhǔn)則
附錄B 術(shù)語