編寫測試平臺（第二版）

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