前言
第1章功能驗證技術與方法學概要
1.1功能驗證與驗證平颱
1.1.1專用芯片設計流程
1.1.2什麼是驗證
1.1.3驗證平颱可以做些什麼
1.1.4功能驗證流程
1.2驗證技術和驗證方法學
1.2.1黑盒、白盒與灰盒驗證
1.2.2驗證技術
1.2.3驗證存在的挑戰
1.2.4驗證方法學
1.2.5斷言驗證
1.2.6覆蓋率驅動驗證
1.3硬件驗證語言
1.3.1Open Vera
1.3.2e語言
1.3.3PSL
1.3.4SystemC
1.3.5SystemVerilog
.第2章數據類型與編程結構
2.1數據類型
2.1.1兩態數據類型
2.1.2枚舉類型和用戶自定義類型
2.1.3數組與隊列
2.1.4字符串
2.1.5結構體和聯閤體
2.1.6常量
2.1.7文本錶示
2.1.8操作符和錶達式
2.2過程語句
2.2.1賦值語句
2.2.2控製結構
2.3函數和任務
2.3.1函數和任務的區彆
2.3.2子程序定義
2.3.3子程序參數
2.3.4子程序返迴
2.3.5自動存儲
2.4編程結構
2.4.1模塊
2.4.2接口
2.4.3過程塊和語句塊
2.4.4數據對象
2.4.5程序塊
2.4.6簡單的驗證架構
2.5數據的生命周期和作用域
2.6數據類型轉換
2.6.1靜態類型轉換
2.6.2動態類型轉換
第3章並發進程與進程同步
3.1fork…join
3.1.1三種並發方式
3.1.2進程與變量
3.1.3進程控製
3.2mailbox
3.2.1mailbox的基本操作
3.2.2參數化mailbox
3.2.3mailbox應用實例
3.3semaphore
3.3.1semaphore的基本操作
3.3.2semaphore應用實例
3.4event
3.4.1事件觸發
3.4.2等待事件
3.4.3事件的觸發屬性
第4章麵嚮對象編程入門
4.1過程編程語言與麵嚮對象編程語言
4.2類
4.2.1類的基本概念
4.2.2構造函數
4.2.3靜態屬性與方法
4.2.4this操作符
4.2.5對象的賦值與復製
4.2.6塊外聲明
4.3石頭、剪刀、布仲裁器實例（基於類的驗證平颱）
4.3.1驗證環境頂層
4.3.2驗證組件
第5章虛接口
5.1虛接口的基本概念及應用
5.1.1虛接口的基本概念
5.1.2虛接口的應用
5.2端口模式和時鍾控製塊
5.2.1端口模式
5.2.2時鍾控製塊
第6章隨機測試
6.1激勵産生
6.1.1什麼是隨機
6.1.2潛在問題
6.2隨機生成機製
6.2.1隨機係統函數
6.2.2randcase/randsequence
6.3基於對象的隨機生成
6.3.1隨機變量
6.3.2約束定義
6.3.3隨機方法
6.3.4隨機使能控製
6.3.5約束的動態修改
6.4標準隨機函數
6.5隨機激勵的應用
第7章繼承與多態
7.1繼承和多態的基本概念
7.2繼承與子類
7.2.1類的繼承與重寫
7.2.2子類對象與父類對象的賦值
7.2.3構造函數調用
7.3虛方法與多態
7.3.1虛方法
7.3.2多態
7.4虛類和參數化類
7.4.1虛類
7.4.2參數化類
7.5約束重寫
7.6數據的隱藏與封裝
第8章功能覆蓋率
8.1覆蓋率
8.1.1目標覆蓋率
8.1.2代碼覆蓋率
8.1.3功能覆蓋率
8.2SystemVerilog的功能覆蓋率
8.2.1覆蓋組（covergroup）
8.2.2覆蓋點（coverpoint）
8.2.3交叉覆蓋點（cross）
8.3覆蓋率驅動的驗證平颱
第9章斷言
9.1斷言的概念及作用
9.2SVA
9.2.1SVA的語法層次結構
9.2.2SVA應用實例
9.2.3bind
第10章驗證重用與驗證方法學
10.1驗證重用中存在的問題
10.2驗證方法學OVM
10.3OVM的四大核心技術
10.3.1基於Factory的驗證平颱動態構建
10.3.2動態的配置機製
10.3.3測試用例在驗證架構的頂層
10.3.4激勵産生與驗證架構分離
第11章SystemVerilog與C語言的接口
11.1什麼是DPI
11.2DPI的應用
11.2.1方法的導入
11.2.2方法的導齣
11.2.3DPI的數據類型映射
11.2.4DPI的具體應用
附錄A覆蓋率內置參數和方法列錶
附錄B斷言重復操作符和序列操作符列錶
附錄CQuestaSim簡要介紹
附錄D常用術語中英文對照
參考文獻
後記
· · · · · · (收起)