SystemVerilog與功能驗證

前言
第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　驗證存在的挑戰(zhàn)
　　1.2.4　證方法學
　　1.2.5　斷言驗證
　　1.2.6　覆蓋率驅(qū)動驗證
　1.3　硬件驗證語言
　　1.3.1　open vera
　　1.3.2　e語言
　　1.3.3　psl
　　1.3.4　systemc
　　1.3.5　systemverilog
第2章　數(shù)據(jù)類型與編程結構
　2.1　數(shù)據(jù)類型
　　2.1.1　兩態(tài)數(shù)據(jù)類型
　　2.1.2　枚舉類型和用戶自定義類型
　　2.1.3　數(shù)組與隊列
　　2.1.4　字符串
　　2.1.5　結構體和聯(lián)合體
　　2.1.6　常量
　　2.1.7　文本表示
　　2.1.8　操作符和表達式
　2.2　過程語句
　　2.2.1　賦值語句
　　2.2.2　控制結構
　2.3　函數(shù)和任務
　　2.3.1　函數(shù)和任務的區(qū)別
　　2.3.2　子程序定義
　　2.3.3　子程序參數(shù)
　　2.3.4　子程序返回
　　2.3.5　自動存儲
　2.4　編程結構
　　2.4.1　模塊
　　2.4.2　接口
　　2.4.3　過程塊和語句塊
　　2.4.4　數(shù)據(jù)對象
　　2.4.5　程序塊
　　2.4.6　簡單的驗證架構
　2.　5　數(shù)據(jù)的生命周期和作用域
　2.6　數(shù)據(jù)類型轉換
　　2.6.1　靜態(tài)類型轉換
　　2.6.2　動態(tài)類型轉換
　……
第3章　并發(fā)進程與進程同步
第4章　面向?qū)ο缶幊倘腴T
第5章　虛接口
第6章　隨機測試
第7章　繼承與多態(tài)
第8章　功能覆蓋率
第9章　斷言
第10章　驗證重用與驗證方法學
第11章　systemverilog與c語言的接口
附錄a　覆蓋率內(nèi)置參數(shù)和方法列表
附錄b　斷言重復操作符和序列操作符列表
附錄c　questasim簡要介紹
附錄d　常用術語中英文對照
參考文獻
后記
源代碼索引systemverilog