高級驗證方法學

內容概要

AVM是一個基于System Verilog和SystemC編程環(huán)境。它是為了開發(fā)復雜驗證平臺而設計的。就如學習C語言一樣(或者System Verilog或者SystemC)，它會需要一段時間去學習AVM，從而知道如何更有效地去應用所有的概念。這本書的目的就是給你一個信心。如果這本書的作者把工作做得相當好，那么當你閱讀這本書并且按里面的例子進行練習，肯定會有驚喜的體驗。這個比喻性的概念在你的思想形成之后，你就會掌握AVM中所有的結構并且知道如何應用。作者簡介：    Mark Glasser是Mentor Graphics的驗證技術專家，他開發(fā)并撰寫了驗證方法學。    在加入Mentor Graphics之前，Mark是CadenceSystemC團隊的技術總監(jiān)。    同時，Mark是有關事務記錄技術的兩項專利的作者之一，他還是OSCI總監(jiān)董事會成員和SPRIRIT驗證工作組成員。 Mark畢業(yè)于美國加州大學計算機科學系，擁有學士學位。

作者簡介

Mark Glasser是Mentor Graphics的驗證技術專家，他開發(fā)并撰寫了驗證方法學。
    在加入Mentor Graphics之前，Mark是CadenceSystemC團隊的技術總監(jiān)。 
    同時，Mark是有關事務記錄技術的兩項專利的作者之一，他還是OSCI總監(jiān)董事會成員和SPRIRIT驗證工作組成員。 Mark

書籍目錄

緒論第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 虛函數(shù)和多態(tài)  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 創(chuàng)建環(huán)境  5.4 連接硬件  5.5 報告  5.6 總結第6章 驗證平臺基礎  6.1 一個簡單的存儲器設計  6.2 激勵產(chǎn)生器  6.3 監(jiān)視器  6.4 三類狀態(tài)機  6.5 驅動器  6.6 總結第7章 完整的驗證平臺  7.1 分析端口和分析組件  7.2 記分板  7.3 覆蓋率  7.4 注入錯誤  7.5 總結第8章 逐步優(yōu)化  8.1 事務級設計  8.2 RiiL替換  8.3 FPU作為黃金模型  8.4 小結第9章 驗證平臺中的模塊  9.1 非流水型總線實例  9.2 基于模塊的斷言監(jiān)視器  9.3 總線功能模型(BFM)  9.4 總結第10章 隨機驗證  10.1 CRV方法概述  10.2 對類加入隨機  10.3 用繼承來實現(xiàn)層次約束  10.4 動態(tài)修改約束  10.5 過度約束  10.6 設定成員  10.7 動態(tài)數(shù)組  10.8 每個設計／每個測試配置  10.9 約束設計  10.10 類工廠  10.11 狀態(tài)決定約束實例  10.12 AVM隨機激勵生成器第11章 AVM與System Verilog和SustemC   11.1 對象模型  11.2 對象的支持  11.3 封裝行為  11.4 隨機化  11.5 實例化與細節(jié)構建  11.6 事務級連接  11.7 執(zhí)行階段  11.8 創(chuàng)建完整的驗證平臺架構  11.9 選擇SystemVerilog或systemc附錄A 符號說明附錄B 命名約定附錄C AVM百科全書附錄D Apache許可證參考書目

編輯推薦

《高級驗證方法學》由電子科技大學出版社出版。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    高級驗證方法學 PDF格式下載

---