掃一掃
關注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰(zhàn)行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調(diào)優(yōu)實踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
芯片EDA實戰(zhàn):新一代芯片驗證語言Eagle和PVM驗證平臺 版權信息
- ISBN：9787111754909
- 條形碼：9787111754909 ; 978-7-111-75490-9
- 裝幀：平裝-膠訂
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
芯片EDA實戰(zhàn):新一代芯片驗證語言Eagle和PVM驗證平臺 本書特色
本書從芯片驗證的目的出發(fā)，完善了功能覆蓋率的定義，闡述了新的隨機測試方法，即“功能覆蓋率直接驅動的隨機測試方法”，以及一種新的驗證語言EagleLang，即Eagle語言。該編程語言具有類似腳本語言的簡潔語法，專用于芯片驗證，也可以用于文本處理、數(shù)學計算、多線程編程等應用領域。該語言的編譯執(zhí)行具有接近C 語言的效率，eagle是該語言的編譯器工具。
芯片EDA實戰(zhàn):新一代芯片驗證語言Eagle和PVM驗證平臺 內(nèi)容簡介
本書從芯片驗證的目的出發(fā)，完善了功能覆蓋率的定義，闡述了新的隨機測試方法，即“功能覆蓋率直接驅動的隨機測試方法”，以及一種新的驗證語言EagleLang，即Eagle語言。該編程語言具有類似腳本語言的簡潔語法，專用于芯片驗證，也可以用于文本處理、數(shù)學計算、多線程編程等應用領域。該語言的編譯執(zhí)行具有接近C 語言的效率，eagle是該語言的編譯器工具。
芯片仿真驗證效率是影響芯片項目周期的主要因素，本書提出了新一代的驗證方法學PVM（Parallel Verification Methodology），采用多核并行技術搭建的PVM驗證平臺，具有執(zhí)行效率高的特點，可以有效實現(xiàn)芯片仿真驗證加速。另外，在PVM驗證平臺中采用工廠模式和動態(tài)編程技術，可以實現(xiàn)驗證組件、測試用例的動態(tài)生成，減少驗證平臺、測試用例的編譯時間。
本書主要適合芯片驗證工程師、芯片驅動軟件開發(fā)工程師、芯片系統(tǒng)建模工程師、芯片設計工程師閱讀。本書也可以作為從事芯片EDA工具開發(fā)的軟件工程師、編譯器開發(fā)軟件工程師的參考書籍。本書還可以作為高校師生了解芯片設計與驗證技術的參考書籍。
芯片EDA實戰(zhàn):新一代芯片驗證語言Eagle和PVM驗證平臺 目錄
前言
**篇驗證方法學基礎
芯片驗證目的/
1.1芯片驗證與芯片質量/
1.2芯片驗證質量度量方法/
1.2.1代碼覆蓋率/
1.2.2斷言覆蓋率/
1.2.3功能覆蓋率/
1.2.4覆蓋率度量方法比較/
1.3功能覆蓋率/
1.3.1驗證目標定義/
1.3.2芯片系統(tǒng)模型/
1.3.3激勵數(shù)據(jù)模型/
1.3.4功能覆蓋率定義/
1.3.5交叉組合功能覆蓋率/
1.3.6順序組合功能覆蓋率/
1.3.7功能覆蓋率直接驅動的隨機驗證
方法學/
芯片驗證方法/
2.1仿真驗證方法/
2.1.1芯片驗證方法演進/
2.1.2驗證效率成本問題/
2.1.3測試和驗證的概念辨析/
2.2驗證效率提升/
2.2.1當前存在的效率問題/
2.2.2編程效率和編譯效率提升/
2.2.3仿真執(zhí)行效率提升/
2.3芯片驗證流程管理/
2.3.1芯片項目階段劃分/
2.3.2驗證分層/
2.3.3全面度量管理/
2.3.4驗證技術手段/
2.3.5仿真驗證技術發(fā)展思考/目錄
第二篇Eagle編程語言
Eagle語言概述/
3.1驗證語言設計背景/
3.1.1芯片驗證語言發(fā)展歷史/
3.1.2驗證語言設計需求/
3.1.3Eagle語言設計思想和理念/
3.2語言概況/
3.2.1初識Eagle語言/
3.2.2代碼源文件/
3.2.3package程序包/
3.2.4編譯工程/
3.2.5代碼行和代碼塊/
3.2.6注釋/
3.3函數(shù)/
3.3.1函數(shù)的定義/
3.3.2函數(shù)的參數(shù)和返回值/
3.4面向對象/
3.4.1類的基本定義/
3.4.2構造函數(shù)和析構函數(shù)/
3.4.3類的繼承/
3.4.4類限定符/
3.4.5類屬性符/
3.4.6對象別名/
3.5內(nèi)存管理/
3.6程序越界/
3.7關鍵字和操作符/
芯片EDA實戰(zhàn)：新一代芯片驗證語言Eagle和PVM驗證平臺3.8預定義系統(tǒng)參數(shù)/
3.9控制語法/
3.9.1if條件控制語句/
3.9.2for［］循環(huán)控制語句/
3.9.3for()循環(huán)控制語句/
3.9.4foreach…in…循環(huán)控制語句/
3.9.5while和dowhile循環(huán)控制語句/
3.9.6switch… case… others…條件
控制語句/
3.9.7break和continue循環(huán)控制
語句/
3.9.8return返回語句/
基本數(shù)據(jù)類型/
4.1數(shù)字常量/
4.2字符串常量/
4.3參數(shù)常量/
4.4枚舉類型/
4.5變量的類型及作用域/
4.6打印輸出語句/
4.6.1信息輸出級別/
4.6.2一般語法/
4.6.3格式化打印輸出/
4.7bool類型/
4.7.1bool類型定義/
4.7.2邏輯運算/
4.7.3邏輯表達式/
4.8int類型/
4.9uint類型/
4.10float類型/
4.11string類型/
4.11.1字符串定義/
4.11.2切片操作/
4.11.3常用操作函數(shù)/
4.11.4字符串支持的運算符/
4.12list/rlist數(shù)據(jù)結構設計/
4.12.1list定義/
4.12.2list元素切片/
4.12.3對象替換操作符（.=）/
4.12.4list的操作函數(shù)/
4.13dict/rdict數(shù)據(jù)結構設計/
4.13.1dict定義/
4.13.2dict元素切片/
4.13.3dict操作函數(shù)/
驗證專用數(shù)據(jù)類型/
5.1bit數(shù)據(jù)結構設計/
5.1.1bit類型定義/
5.1.2bit位切片/
5.1.3bit位標記/
5.1.4bit位域定義/
5.1.5點等操作符“.=”/
5.1.6bit數(shù)據(jù)類型交叉賦值/
5.1.7bit操作函數(shù)/
5.1.8bit位運算/
5.1.9bit算術運算/
5.2byte數(shù)據(jù)結構設計/
5.2.1byte數(shù)據(jù)類型定義/
5.2.2byte數(shù)據(jù)類型字節(jié)切片方式/
5.2.3byte數(shù)據(jù)類型切片標記/
5.2.4byte位域定義/
5.2.5點等操作符“.=”/
5.2.6基于標記進行byte類型數(shù)據(jù)
比較/
5.2.7byte數(shù)據(jù)類型交叉賦值/
5.2.8byte操作函數(shù)/
5.3cover數(shù)據(jù)結構設計/
5.3.1cross交叉組合/
5.3.2comb排列組合/
5.3.3sequence順序組合/
5.3.4復雜cross交叉組合定義/
5.3.5trans跳變序列/
5.3.6變量關聯(lián)約束/
5.3.7cover數(shù)據(jù)結構定義/
5.3.8cover數(shù)據(jù)結構實現(xiàn)定向測試和
隨機測試/
5.3.9feedby()函數(shù)/
5.3.10cover數(shù)據(jù)操作函數(shù)/
多線程編程/
6.1設計背景/
6.2生產(chǎn)者-消費者模型/
6.3tube通信管道/
6.4函數(shù)多線程執(zhí)行/
6.5對象多線程執(zhí)行/
6.6線程安全變量/
庫及庫開發(fā)/
7.1系統(tǒng)庫/
7.1.1randint類/
7.1.2系統(tǒng)函數(shù)/
7.1.3math數(shù)學庫/
7.1.4time庫/
7.1.5算法庫/
7.2目錄和文件庫/
7.2.1dir類/
7.2.2file類/
7.3正則表達式/
7.3.1正則表達式語法/
7.3.2regexp類/
7.4sqlite3數(shù)據(jù)庫/
7.4.1eglSQLite3DB類/
7.4.2eglSQLite3Statement類/
7.4.3eglSQLite3Query類/
7.4.4數(shù)據(jù)庫使用示例/
7.5庫開發(fā)工程/
7.5.1編程接口/
7.5.2編譯工程類型/
7.5.3庫開發(fā)：Eagle源文件/
7.5.4庫開發(fā)：C/C 源文件/
7.5.5庫開發(fā)：Eagle、C/C
源文件/
7.5.6庫開發(fā)：Eagle源文件、
動態(tài)庫/
7.5.7庫開發(fā)：C/C 源文件、
動態(tài)庫/
7.5.8庫開發(fā)：Eagle、C/C 源文件、
動態(tài)庫/
第三篇PVM和DVM驗證平臺
PVM驗證平臺并行架構設計/
8.1驗證平臺設計需求/
8.1.1數(shù)字芯片常用類型/
8.1.2驗證平臺功能需求/
8.1.3工程類需求/
8.2PVM驗證平臺設計/
8.2.1傳統(tǒng)驗證平臺架構分析/
8.2.2PVM基礎驗證平臺/
8.2.3數(shù)據(jù)檢測驗證組件(monVC)/
8.2.4驅動驗證組件(drvVC)/
8.2.5寄存器塊(regBlock)/
8.2.6存儲器驗證組件(memVC)/
8.2.7服務驗證組件(svrVC)/
8.3PVM驗證平臺整體架構/
8.3.1PVM驗證平臺架構層次/
8.3.2PVM執(zhí)行過程/
8.3.3PVM啟動/
8.3.4PVM集成/
8.4DPI接口函數(shù)/
8.4.1DPI接口函數(shù)總表/
8.4.2發(fā)送驗證組件DPI接口函數(shù)/
8.4.3接收驗證組件DPI接口函數(shù)/
8.4.4驅動驗證組件DPI接口函數(shù)/
8.4.5行為級參考模型驗證組件DPI接口
函數(shù)/
8.4.6多功能驗證組件DPI接口
函數(shù)/
8.4.7記分牌驗證組件DPI接口
函數(shù)/
8.4.8存儲器驗證組件DPI接口
函數(shù)/
8.4.9服務驗證組件DPI接口
函數(shù)/
8.4.10數(shù)據(jù)處理DPI接口函數(shù)/
8.5simduv接口函數(shù)/
8.5.1調(diào)試用接口函數(shù)總表/
8.5.2發(fā)送驗證組件接口函數(shù)/
8.5.3接收驗證組件接口函數(shù)/
8.5.4驅動驗證組件接口函數(shù)/
8.5.5行為級參考模型驗證組件接口
函數(shù)/
8.5.6多功能驗證組件接口函數(shù)/
8.5.7記分牌驗證組件接口函數(shù)/
8.5.8存儲器驗證組件接口函數(shù)/
8.5.9服務驗證組件接口函數(shù)/
8.5.10數(shù)據(jù)處理服務函數(shù)/
8.5.11模擬仿真時間遞增/
8.6事件機制/
8.6.1時鐘同步/
8.6.2硬件中斷/
8.6.3硬件事件/
8.6.4定時事件/
8.6.5軟事件/
驗證組件設計指南/
9.1驗證組件簡介/
9.1.1驗證組件類型/
9.1.2驗證組件執(zhí)行階段/
9.1.3pvmID和vcID/
9.1.4驗證組件對象容器/
9.1.5驗證組件循環(huán)執(zhí)行/
9.1.6tube管道容量設置/
9.2packet數(shù)據(jù)包類/
9.2.1packet類設計需求/
9.2.2packet類設計/
9.3驗證組件接口函數(shù)/
9.3.1驗證組件接口函數(shù)總表/
9.3.2驗證組件通用接口函數(shù)/
9.3.3發(fā)送驗證組件接口函數(shù)/
9.3.4接收驗證組件接口函數(shù)/
9.3.5驅動驗證組件接口函數(shù)/
9.3.6獲取數(shù)據(jù)包接口函數(shù)/
9.3.7記分牌驗證組件接口函數(shù)/
9.3.8存儲器驗證組件接口函數(shù)/
9.3.9服務驗證組件接口函數(shù)/
9.3.10PVM接口函數(shù)/
9.4訪問驗證組件函數(shù)/
9.4.1訪問驗證組件函數(shù)總表/
9.4.2數(shù)據(jù)包復制函數(shù)/
9.4.3訪問發(fā)送驗證組件函數(shù)/
9.4.4訪問驅動驗證組件函數(shù)/
9.4.5訪問行為級參考模型驗證組件
函數(shù)/
9.4.6訪問多功能驗證組件函數(shù)/
9.4.7訪問記分牌驗證組件函數(shù)/
9.5發(fā)送驗證組件設計指南/
9.5.1發(fā)送驗證組件實現(xiàn)方案/
9.5.2發(fā)送驗證組件調(diào)度器設計/
9.5.3發(fā)送驗證組件升降旗/
9.5.4mTxVC發(fā)送BFM設計指南/
9.5.5sTxVC發(fā)送BFM設計指南/
9.5.6功能覆蓋率定義和隨機約束/
9.6接收驗證組件設計指南/
9.6.1接收驗證組件調(diào)度器設計/
9.6.2mRxVC接收BFM設計指南/
9.6.3sRxVC接收BFM設計指南/
9.7MON數(shù)據(jù)檢測驗證組件設計指南/
9.7.1monVC驗證組件調(diào)度器/
9.7.2monVC驗證組件接口設計/
9.8驅動驗證組件設計指南/
9.8.1驅動驗證組件使用架構/
9.8.2driver基類/
9.8.3數(shù)據(jù)包接口設計指南/
9.8.4驅動BFM設計指南/
9.9行為級參考模型驗證組件設計指南/
9.10多功能驗證組件設計指南/
9.11記分牌驗證組件設計指南/
9.11.1mScbVC接口設計指南/
9.11.2snScbVC接口設計指南/
9.12存儲器驗證組件設計指南/
9.13服務驗證組件設計指南/
9.14仿真控制函數(shù)/
驗證平臺配置與重用/
10.1變量配置機制/
10.1.1操作函數(shù)/
10.1.2變量配置文件/
10.1.3變量查找規(guī)則/
10.1.4變量設置優(yōu)先級/
10.2Message信息配置機制/
10.2.1Message信息分類/
10.2.2Message信息輸出函數(shù)/
10.2.3Message輸出控制函數(shù)/
10.2.4Message配置文件/
10.2.5日志查看工具logview/
10.3factory工廠機制/
10.3.1factory工廠實現(xiàn)/
10.3.2PVM與UVM的factory機制比較/
10.3.3類的虛函數(shù)重載機制/
10.4proxy類代理機制/
10.4.1proxy類代理機制實現(xiàn)原理/
10.4.2代理類對象存儲層次結構/
10.5測試用例和驗證平臺配置/
測試用例設計/
11.1cover定義和隨機約束/
11.1.1定義功能覆蓋率/
11.1.2隨機約束：A類功能覆蓋率/
11.1.3B類功能覆蓋率/
11.1.4功能覆蓋率目標達成/
11.1.5測試用例目錄管理/
11.1.6測試用例配置文件/
11.1.7兩級測試用例文件配置/
11.1.8功能覆蓋率報告/
11.2升降旗和看門狗機制/
11.2.1PVM升降旗實現(xiàn)原理/
11.2.2看門狗機制/
DVM驗證平臺設計/
12.1DVM驗證平臺應用場景/
12.2虛集成/虛連接技術/
12.3DVM驗證平臺架構設計/
12.4驗證組件接口函數(shù)/
第四篇PVM驗證平臺配套工具
寄存器模型/
13.1寄存器屬性/
13.2regBlock類/
13.2.1按屬性讀寫/
13.2.2后門讀寫/
13.2.3前門讀寫/
13.2.4批量后門讀寫/
13.2.5批量前門讀寫/
13.2.6其他常用函數(shù)/
信號故障注入工具/
14.1獲取信號值/
14.2高精度時鐘/
14.3單信號故障注入/
14.4基于事件的信號故障注入/
14.5時鐘信號故障注入/
14.6狀態(tài)機故障注入/
驗證平臺示例/
15.1sha模塊驗證平臺：shaDemo/
15.1.1shaDemo驗證平臺架構/
15.1.2BFM設計/
15.1.3驗證組件設計/
15.1.4測試用例設計/
15.2可重用PVM驗證平臺：
socDemoI/
15.2.1驗證平臺架構/
15.2.2eth8023數(shù)據(jù)包/
15.2.3發(fā)送驗證組件設計/
15.2.4發(fā)送BFM設計/
15.2.5驅動驗證組件設計/
15.2.6寄存器讀寫B(tài)FM設計/
15.2.7接收BFM設計/
15.2.8接收驗證組件設計/
15.2.9brmVC驗證組件設計/
15.2.10snScbVC驗證組件設計/
15.2.11測試用例設計/
15.3級聯(lián)PVM驗證平臺：
socDemoII/
15.4DVM分布式驗證平臺：
socDemoIII/
附錄A術語/
**篇驗證方法學基礎
芯片驗證目的/
1.1芯片驗證與芯片質量/
1.2芯片驗證質量度量方法/
1.2.1代碼覆蓋率/
1.2.2斷言覆蓋率/
1.2.3功能覆蓋率/
1.2.4覆蓋率度量方法比較/
1.3功能覆蓋率/
1.3.1驗證目標定義/
1.3.2芯片系統(tǒng)模型/
1.3.3激勵數(shù)據(jù)模型/
1.3.4功能覆蓋率定義/
1.3.5交叉組合功能覆蓋率/
1.3.6順序組合功能覆蓋率/
1.3.7功能覆蓋率直接驅動的隨機驗證
方法學/
芯片驗證方法/
2.1仿真驗證方法/
2.1.1芯片驗證方法演進/
2.1.2驗證效率成本問題/
2.1.3測試和驗證的概念辨析/
2.2驗證效率提升/
2.2.1當前存在的效率問題/
2.2.2編程效率和編譯效率提升/
2.2.3仿真執(zhí)行效率提升/
2.3芯片驗證流程管理/
2.3.1芯片項目階段劃分/
2.3.2驗證分層/
2.3.3全面度量管理/
2.3.4驗證技術手段/
2.3.5仿真驗證技術發(fā)展思考/目錄
第二篇Eagle編程語言
Eagle語言概述/
3.1驗證語言設計背景/
3.1.1芯片驗證語言發(fā)展歷史/
3.1.2驗證語言設計需求/
3.1.3Eagle語言設計思想和理念/
3.2語言概況/
3.2.1初識Eagle語言/
3.2.2代碼源文件/
3.2.3package程序包/
3.2.4編譯工程/
3.2.5代碼行和代碼塊/
3.2.6注釋/
3.3函數(shù)/
3.3.1函數(shù)的定義/
3.3.2函數(shù)的參數(shù)和返回值/
3.4面向對象/
3.4.1類的基本定義/
3.4.2構造函數(shù)和析構函數(shù)/
3.4.3類的繼承/
3.4.4類限定符/
3.4.5類屬性符/
3.4.6對象別名/
3.5內(nèi)存管理/
3.6程序越界/
3.7關鍵字和操作符/
芯片EDA實戰(zhàn)：新一代芯片驗證語言Eagle和PVM驗證平臺3.8預定義系統(tǒng)參數(shù)/
3.9控制語法/
3.9.1if條件控制語句/
3.9.2for［］循環(huán)控制語句/
3.9.3for()循環(huán)控制語句/
3.9.4foreach…in…循環(huán)控制語句/
3.9.5while和dowhile循環(huán)控制語句/
3.9.6switch… case… others…條件
控制語句/
3.9.7break和continue循環(huán)控制
語句/
3.9.8return返回語句/
基本數(shù)據(jù)類型/
4.1數(shù)字常量/
4.2字符串常量/
4.3參數(shù)常量/
4.4枚舉類型/
4.5變量的類型及作用域/
4.6打印輸出語句/
4.6.1信息輸出級別/
4.6.2一般語法/
4.6.3格式化打印輸出/
4.7bool類型/
4.7.1bool類型定義/
4.7.2邏輯運算/
4.7.3邏輯表達式/
4.8int類型/
4.9uint類型/
4.10float類型/
4.11string類型/
4.11.1字符串定義/
4.11.2切片操作/
4.11.3常用操作函數(shù)/
4.11.4字符串支持的運算符/
4.12list/rlist數(shù)據(jù)結構設計/
4.12.1list定義/
4.12.2list元素切片/
4.12.3對象替換操作符（.=）/
4.12.4list的操作函數(shù)/
4.13dict/rdict數(shù)據(jù)結構設計/
4.13.1dict定義/
4.13.2dict元素切片/
4.13.3dict操作函數(shù)/
驗證專用數(shù)據(jù)類型/
5.1bit數(shù)據(jù)結構設計/
5.1.1bit類型定義/
5.1.2bit位切片/
5.1.3bit位標記/
5.1.4bit位域定義/
5.1.5點等操作符“.=”/
5.1.6bit數(shù)據(jù)類型交叉賦值/
5.1.7bit操作函數(shù)/
5.1.8bit位運算/
5.1.9bit算術運算/
5.2byte數(shù)據(jù)結構設計/
5.2.1byte數(shù)據(jù)類型定義/
5.2.2byte數(shù)據(jù)類型字節(jié)切片方式/
5.2.3byte數(shù)據(jù)類型切片標記/
5.2.4byte位域定義/
5.2.5點等操作符“.=”/
5.2.6基于標記進行byte類型數(shù)據(jù)
比較/
5.2.7byte數(shù)據(jù)類型交叉賦值/
5.2.8byte操作函數(shù)/
5.3cover數(shù)據(jù)結構設計/
5.3.1cross交叉組合/
5.3.2comb排列組合/
5.3.3sequence順序組合/
5.3.4復雜cross交叉組合定義/
5.3.5trans跳變序列/
5.3.6變量關聯(lián)約束/
5.3.7cover數(shù)據(jù)結構定義/
5.3.8cover數(shù)據(jù)結構實現(xiàn)定向測試和
隨機測試/
5.3.9feedby()函數(shù)/
5.3.10cover數(shù)據(jù)操作函數(shù)/
多線程編程/
6.1設計背景/
6.2生產(chǎn)者-消費者模型/
6.3tube通信管道/
6.4函數(shù)多線程執(zhí)行/
6.5對象多線程執(zhí)行/
6.6線程安全變量/
庫及庫開發(fā)/
7.1系統(tǒng)庫/
7.1.1randint類/
7.1.2系統(tǒng)函數(shù)/
7.1.3math數(shù)學庫/
7.1.4time庫/
7.1.5算法庫/
7.2目錄和文件庫/
7.2.1dir類/
7.2.2file類/
7.3正則表達式/
7.3.1正則表達式語法/
7.3.2regexp類/
7.4sqlite3數(shù)據(jù)庫/
7.4.1eglSQLite3DB類/
7.4.2eglSQLite3Statement類/
7.4.3eglSQLite3Query類/
7.4.4數(shù)據(jù)庫使用示例/
7.5庫開發(fā)工程/
7.5.1編程接口/
7.5.2編譯工程類型/
7.5.3庫開發(fā)：Eagle源文件/
7.5.4庫開發(fā)：C/C 源文件/
7.5.5庫開發(fā)：Eagle、C/C
源文件/
7.5.6庫開發(fā)：Eagle源文件、
動態(tài)庫/
7.5.7庫開發(fā)：C/C 源文件、
動態(tài)庫/
7.5.8庫開發(fā)：Eagle、C/C 源文件、
動態(tài)庫/
第三篇PVM和DVM驗證平臺
PVM驗證平臺并行架構設計/
8.1驗證平臺設計需求/
8.1.1數(shù)字芯片常用類型/
8.1.2驗證平臺功能需求/
8.1.3工程類需求/
8.2PVM驗證平臺設計/
8.2.1傳統(tǒng)驗證平臺架構分析/
8.2.2PVM基礎驗證平臺/
8.2.3數(shù)據(jù)檢測驗證組件(monVC)/
8.2.4驅動驗證組件(drvVC)/
8.2.5寄存器塊(regBlock)/
8.2.6存儲器驗證組件(memVC)/
8.2.7服務驗證組件(svrVC)/
8.3PVM驗證平臺整體架構/
8.3.1PVM驗證平臺架構層次/
8.3.2PVM執(zhí)行過程/
8.3.3PVM啟動/
8.3.4PVM集成/
8.4DPI接口函數(shù)/
8.4.1DPI接口函數(shù)總表/
8.4.2發(fā)送驗證組件DPI接口函數(shù)/
8.4.3接收驗證組件DPI接口函數(shù)/
8.4.4驅動驗證組件DPI接口函數(shù)/
8.4.5行為級參考模型驗證組件DPI接口
函數(shù)/
8.4.6多功能驗證組件DPI接口
函數(shù)/
8.4.7記分牌驗證組件DPI接口
函數(shù)/
8.4.8存儲器驗證組件DPI接口
函數(shù)/
8.4.9服務驗證組件DPI接口
函數(shù)/
8.4.10數(shù)據(jù)處理DPI接口函數(shù)/
8.5simduv接口函數(shù)/
8.5.1調(diào)試用接口函數(shù)總表/
8.5.2發(fā)送驗證組件接口函數(shù)/
8.5.3接收驗證組件接口函數(shù)/
8.5.4驅動驗證組件接口函數(shù)/
8.5.5行為級參考模型驗證組件接口
函數(shù)/
8.5.6多功能驗證組件接口函數(shù)/
8.5.7記分牌驗證組件接口函數(shù)/
8.5.8存儲器驗證組件接口函數(shù)/
8.5.9服務驗證組件接口函數(shù)/
8.5.10數(shù)據(jù)處理服務函數(shù)/
8.5.11模擬仿真時間遞增/
8.6事件機制/
8.6.1時鐘同步/
8.6.2硬件中斷/
8.6.3硬件事件/
8.6.4定時事件/
8.6.5軟事件/
驗證組件設計指南/
9.1驗證組件簡介/
9.1.1驗證組件類型/
9.1.2驗證組件執(zhí)行階段/
9.1.3pvmID和vcID/
9.1.4驗證組件對象容器/
9.1.5驗證組件循環(huán)執(zhí)行/
9.1.6tube管道容量設置/
9.2packet數(shù)據(jù)包類/
9.2.1packet類設計需求/
9.2.2packet類設計/
9.3驗證組件接口函數(shù)/
9.3.1驗證組件接口函數(shù)總表/
9.3.2驗證組件通用接口函數(shù)/
9.3.3發(fā)送驗證組件接口函數(shù)/
9.3.4接收驗證組件接口函數(shù)/
9.3.5驅動驗證組件接口函數(shù)/
9.3.6獲取數(shù)據(jù)包接口函數(shù)/
9.3.7記分牌驗證組件接口函數(shù)/
9.3.8存儲器驗證組件接口函數(shù)/
9.3.9服務驗證組件接口函數(shù)/
9.3.10PVM接口函數(shù)/
9.4訪問驗證組件函數(shù)/
9.4.1訪問驗證組件函數(shù)總表/
9.4.2數(shù)據(jù)包復制函數(shù)/
9.4.3訪問發(fā)送驗證組件函數(shù)/
9.4.4訪問驅動驗證組件函數(shù)/
9.4.5訪問行為級參考模型驗證組件
函數(shù)/
9.4.6訪問多功能驗證組件函數(shù)/
9.4.7訪問記分牌驗證組件函數(shù)/
9.5發(fā)送驗證組件設計指南/
9.5.1發(fā)送驗證組件實現(xiàn)方案/
9.5.2發(fā)送驗證組件調(diào)度器設計/
9.5.3發(fā)送驗證組件升降旗/
9.5.4mTxVC發(fā)送BFM設計指南/
9.5.5sTxVC發(fā)送BFM設計指南/
9.5.6功能覆蓋率定義和隨機約束/
9.6接收驗證組件設計指南/
9.6.1接收驗證組件調(diào)度器設計/
9.6.2mRxVC接收BFM設計指南/
9.6.3sRxVC接收BFM設計指南/
9.7MON數(shù)據(jù)檢測驗證組件設計指南/
9.7.1monVC驗證組件調(diào)度器/
9.7.2monVC驗證組件接口設計/
9.8驅動驗證組件設計指南/
9.8.1驅動驗證組件使用架構/
9.8.2driver基類/
9.8.3數(shù)據(jù)包接口設計指南/
9.8.4驅動BFM設計指南/
9.9行為級參考模型驗證組件設計指南/
9.10多功能驗證組件設計指南/
9.11記分牌驗證組件設計指南/
9.11.1mScbVC接口設計指南/
9.11.2snScbVC接口設計指南/
9.12存儲器驗證組件設計指南/
9.13服務驗證組件設計指南/
9.14仿真控制函數(shù)/
驗證平臺配置與重用/
10.1變量配置機制/
10.1.1操作函數(shù)/
10.1.2變量配置文件/
10.1.3變量查找規(guī)則/
10.1.4變量設置優(yōu)先級/
10.2Message信息配置機制/
10.2.1Message信息分類/
10.2.2Message信息輸出函數(shù)/
10.2.3Message輸出控制函數(shù)/
10.2.4Message配置文件/
10.2.5日志查看工具logview/
10.3factory工廠機制/
10.3.1factory工廠實現(xiàn)/
10.3.2PVM與UVM的factory機制比較/
10.3.3類的虛函數(shù)重載機制/
10.4proxy類代理機制/
10.4.1proxy類代理機制實現(xiàn)原理/
10.4.2代理類對象存儲層次結構/
10.5測試用例和驗證平臺配置/
測試用例設計/
11.1cover定義和隨機約束/
11.1.1定義功能覆蓋率/
11.1.2隨機約束：A類功能覆蓋率/
11.1.3B類功能覆蓋率/
11.1.4功能覆蓋率目標達成/
11.1.5測試用例目錄管理/
11.1.6測試用例配置文件/
11.1.7兩級測試用例文件配置/
11.1.8功能覆蓋率報告/
11.2升降旗和看門狗機制/
11.2.1PVM升降旗實現(xiàn)原理/
11.2.2看門狗機制/
DVM驗證平臺設計/
12.1DVM驗證平臺應用場景/
12.2虛集成/虛連接技術/
12.3DVM驗證平臺架構設計/
12.4驗證組件接口函數(shù)/
第四篇PVM驗證平臺配套工具
寄存器模型/
13.1寄存器屬性/
13.2regBlock類/
13.2.1按屬性讀寫/
13.2.2后門讀寫/
13.2.3前門讀寫/
13.2.4批量后門讀寫/
13.2.5批量前門讀寫/
13.2.6其他常用函數(shù)/
信號故障注入工具/
14.1獲取信號值/
14.2高精度時鐘/
14.3單信號故障注入/
14.4基于事件的信號故障注入/
14.5時鐘信號故障注入/
14.6狀態(tài)機故障注入/
驗證平臺示例/
15.1sha模塊驗證平臺：shaDemo/
15.1.1shaDemo驗證平臺架構/
15.1.2BFM設計/
15.1.3驗證組件設計/
15.1.4測試用例設計/
15.2可重用PVM驗證平臺：
socDemoI/
15.2.1驗證平臺架構/
15.2.2eth8023數(shù)據(jù)包/
15.2.3發(fā)送驗證組件設計/
15.2.4發(fā)送BFM設計/
15.2.5驅動驗證組件設計/
15.2.6寄存器讀寫B(tài)FM設計/
15.2.7接收BFM設計/
15.2.8接收驗證組件設計/
15.2.9brmVC驗證組件設計/
15.2.10snScbVC驗證組件設計/
15.2.11測試用例設計/
15.3級聯(lián)PVM驗證平臺：
socDemoII/
15.4DVM分布式驗證平臺：
socDemoIII/
附錄A術語/
展開全部
芯片EDA實戰(zhàn):新一代芯片驗證語言Eagle和PVM驗證平臺 作者簡介
易敏，男，畢業(yè)于武漢測繪科技大學電子工程專業(yè)，濟南新語軟件科技有限公司CEO。曾就職于華為公司、海思半導體，從2001年開始，先后從事芯片驗證項目交付、驗證技術研究、驗證工具開發(fā)和芯片CAD工具開發(fā)工作，主導的多款芯片CAD工具在海思半導體得EDA仿真工具實戰(zhàn)：EagleLang芯片驗證專用編程語言、PVM多核并行仿真驗證平臺設計到廣泛應用。后任職于中芯國際設計服務部門，2022年創(chuàng)辦濟南新語軟件科技有限公司，從事芯片驗證EDA工具軟件開發(fā)業(yè)務。
書友推薦
- >
名家?guī)阕x魯迅:故事新編
- >
名家?guī)阕x魯迅:朝花夕拾
- >
李白與唐代文化
- >
小考拉的故事-套裝共3冊
- >
我從未如此眷戀人間
- >
中國歷史的瞬間
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學概述
本類暢銷
