《高級驗證方法學》是2007年電子科技大學出版社出版的圖書，作者是(美國)格拉瑟(Glasser.M.)。
基本介紹
- 書名：高級驗證方法學
- 作者：(美國)格拉瑟(Glasser.M.)
- 頁數：294頁
- 出版社：電子科技大學出版社
- 出版時間：2007年8月1日
圖書信息,作者簡介,內容簡介,目錄,
圖書信息
出版社: 電子科技大學出版社; 第1版 (2007年8月1日)
平裝: 294頁
正文語種: 簡體中文
ISBN: 9787811143706
條形碼: 9787811143706
尺寸: 23.8 x 17.6 x 1.4 cm
重量: 522 g
作者簡介
作者：(美國)格拉瑟(Glasser.M.) 譯者：王欣
Mark Glasser是Mentor Graphics的驗證技術專家，他開發並撰寫了驗證方法學。
在加入Mentor Graphics之前，Mark是CadenceSystemC團隊的技術總監。
內容簡介
《高級驗證方法學》的目的就是給你一個信心。如果《高級驗證方法學多和恥膠》的作者把工作做得相當好，那么當你閱讀《高級驗證方法端端道漿學》並且按裡面的例子進行練習，肯定會有驚喜的體驗。這個比喻性的概念在你的思想形成之後，你就會掌握AVM中所有的結構並且知道如何套用。AVM是一個基於System Verilog和SystemC編程環境。它是為了開發複雜驗證平台而設計的。就如學習C語言一樣（或者System Verilog或者SystemC），它會需要一段時間去學習AVM，從而知道如何更有效地去套用所有的概念。
目錄
緒論
第1章 驗證原理
1.1 驗證基礎
1.2 第一個驗證平台
1.3 第二個驗證平台
1.4 總結
第2章 AVM綜述
2.1 重用
2.2 驗證組件和接口
2.3 層次化結構的驗證平台
2.4 兩個域
2.5 基於SystemVerilog AVM概述
2.6 總結
第3章 面向對象程式設計的基本原理
3.1 面向過程vs.面向對象
3.2 類和對象
3.3 對象間關係
3.4 虛函式和多態
3.5 通用程式設計
3.6 作為組件的對象
3.7 OOP和驗證
第4章 TLM介紹
4.1 抽象（Abstraction）
4.2 事務的定義（Definilion of a Transaction）
4.3 組件間的通信（Communicating ComF）onents）
4.4 使用通道（channel）來隔離組件
4.5 事務級連線（Forming a Transation—Level Connection）
4.6 小結
第5章 Sustem Vererilog中的AVM機制
5.1 接口
5.2 連線組件
5.3 創建環境
5.4 連線硬體
5.5 報告
5.6 總結
第6章 驗證平台基礎
6.1 一個簡單符翻去的存儲器設計
6.2 激勵產生器
6.3 監視器
6.4 三類狀態機
6.5 驅動器
6.6 總結
第7章 完整的驗付囑諒證平台
7.1 分析連線埠和分析組件
7.2 記放乎定分板
7.3 覆蓋率
7.4 注入錯誤
7.5 總結
第8章 逐步最佳化
8.1 事務級設計
8.2 RiiL替換
8.3 FPU作為黃再判頸金模型
8.4 小結
第9章 驗證平台中的模組
9.1 非流水型匯流排實例
9.2 基於模組的斷言監視器
9.3 匯流排功能模型（BFM）
9.4 總結
第10章 隨機驗證
10.1 CRV方法概述
10.2 對類加入隨機
10.3 用繼承來實現層次約束
10.4 動態修改約束
10.5 過度約束
10.6 設定成員
10.7 動態數組
10.8 每個設計/每個測試配置
10.9 約束設計
10.10 類工廠
10.11 狀態決定約束禁邀實例
10.12 AVM隨機激勵生成器
第11章 AVM與System Verilog和SustemC
11.1 對象模型
11.2 對象的支持
11.3 封裝行為
11.4 隨機化
11.5 實例化與細節構建
11.6 事務級連線
11.7 執行階段
11.8 創建完整的驗證平台架構
11.9 選擇SystemVerilog或systemc
附錄A 符號說明
附錄B 命名約定
附錄C AVM百科全書
附錄D Apache許可證
參考書目
5.3 創建環境
5.4 連線硬體
5.5 報告
5.6 總結
第6章 驗證平台基礎
6.1 一個簡單的存儲器設計
6.2 激勵產生器
6.3 監視器
6.4 三類狀態機
6.5 驅動器
6.6 總結
第7章 完整的驗證平台
7.1 分析連線埠和分析組件
7.2 記分板
7.3 覆蓋率
7.4 注入錯誤
7.5 總結
第8章 逐步最佳化
8.1 事務級設計
8.2 RiiL替換
8.3 FPU作為黃金模型
8.4 小結
第9章 驗證平台中的模組
9.1 非流水型匯流排實例
9.2 基於模組的斷言監視器
9.3 匯流排功能模型（BFM）
9.4 總結
第10章 隨機驗證
10.1 CRV方法概述
10.2 對類加入隨機
10.3 用繼承來實現層次約束
10.4 動態修改約束
10.5 過度約束
10.6 設定成員
10.7 動態數組
10.8 每個設計/每個測試配置
10.9 約束設計
10.10 類工廠
10.11 狀態決定約束實例
10.12 AVM隨機激勵生成器
第11章 AVM與System Verilog和SustemC
11.1 對象模型
11.2 對象的支持
11.3 封裝行為
11.4 隨機化
11.5 實例化與細節構建
11.6 事務級連線
11.7 執行階段
11.8 創建完整的驗證平台架構
11.9 選擇SystemVerilog或systemc
附錄A 符號說明
附錄B 命名約定
附錄C AVM百科全書
附錄D Apache許可證
參考書目
