編寫測試平臺（第二版）

定　價：￥45.00

作　者：	（美）伯杰龍（Bergeron,J.）著；張春,等譯
出版社：	電子工業(yè)出版社
叢編項：	HDL模型的功能驗證
標　簽：	VHDL

購買這本書可以去

ISBN：	9787121030765	出版時間：	2006-08-01	包裝：	平裝
開本：	16開	頁數(shù)：	345	字數(shù)：

內(nèi)容簡介

　　驗證是制造出功能正確的芯片的必要步驟，是一個證明設(shè)計思路是如何實現(xiàn)的過程。本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區(qū)別。然后從方法學的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗證計劃。在驗證的方法和技術(shù)方面，本書引入了硬件驗證語言（HVL），討論了使用行為描述進行高層次建模的方法，介紹了施加激勵和監(jiān)視響應(yīng)的技術(shù)，以及通過使用總線功能模型把物理層次的事務(wù)抽象為更高層次的過程，并結(jié)合各種測試語言講解了仿真管理的各個要素。本書提出了覆蓋率驅(qū)動的受約束的隨機事務(wù)級自檢驗測試平臺，并圍繞這種結(jié)構(gòu)對其中各個部分原理及設(shè)計要素進行了系統(tǒng)的討論。本書還介紹了如何編寫自檢驗測試平臺、設(shè)計基于總線功能模型的隨機激勵發(fā)生器。 .本書適合于從事ASIC、SoC及系統(tǒng)設(shè)計與驗證的人員閱讀。...

作者簡介

暫缺《編寫測試平臺（第二版）》作者簡介

圖書目錄

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