SystemVerilog與功能驗證

前言
第1章　功能驗證技術(shù)與方法學(xué)概要
　1.1　功能驗證與驗證平臺
　　1.1.1　專用芯片設(shè)計流程
　　1.1.2　什么是驗證
　　1.1.3　驗證平臺可以做些什么
　　1.1.4　功能驗證流程
　1.2　驗證技術(shù)和驗證方法學(xué)
　　1.2.1　黑盒、白盒與灰盒驗證
　　1.2.2　驗證技術(shù)
　　1.2.3　驗證存在的挑戰(zhàn)
　　1.2.4　證方法學(xué)
　　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ù)類型與編程結(jié)構(gòu)
　2.1　數(shù)據(jù)類型
　　2.1.1　兩態(tài)數(shù)據(jù)類型
　　2.1.2　枚舉類型和用戶自定義類型
　　2.1.3　數(shù)組與隊列
　　2.1.4　字符串
　　2.1.5　結(jié)構(gòu)體和聯(lián)合體
　　2.1.6　常量
　　2.1.7　文本表示
　　2.1.8　操作符和表達式
　2.2　過程語句
　　2.2.1　賦值語句
　　2.2.2　控制結(jié)構(gòu)
　2.3　函數(shù)和任務(wù)
　　2.3.1　函數(shù)和任務(wù)的區(qū)別
　　2.3.2　子程序定義
　　2.3.3　子程序參數(shù)
　　2.3.4　子程序返回
　　2.3.5　自動存儲
　2.4　編程結(jié)構(gòu)
　　2.4.1　模塊
　　2.4.2　接口
　　2.4.3　過程塊和語句塊
　　2.4.4　數(shù)據(jù)對象
　　2.4.5　程序塊
　　2.4.6　簡單的驗證架構(gòu)
　2.　5　數(shù)據(jù)的生命周期和作用域
　2.6　數(shù)據(jù)類型轉(zhuǎn)換
　　2.6.1　靜態(tài)類型轉(zhuǎn)換
　　2.6.2　動態(tài)類型轉(zhuǎn)換
　……
第3章　并發(fā)進程與進程同步
第4章　面向?qū)ο缶幊倘腴T
第5章　虛接口
第6章　隨機測試
第7章　繼承與多態(tài)
第8章　功能覆蓋率
第9章　斷言
第10章　驗證重用與驗證方法學(xué)
第11章　systemverilog與c語言的接口
附錄a　覆蓋率內(nèi)置參數(shù)和方法列表
附錄b　斷言重復(fù)操作符和序列操作符列表
附錄c　questasim簡要介紹
附錄d　常用術(shù)語中英文對照
參考文獻
后記
源代碼索引systemverilog