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