資料介紹
針對(duì)功能覆蓋率的驗(yàn)證過程
神州龍芯集成電路設(shè)計(jì)公司
徐偉俊 楊鑫 陳先勇 夏宇聞
[摘要]:本文在介紹傳統(tǒng)驗(yàn)證過程及其局限性的基礎(chǔ)上,闡述了針對(duì)功能覆蓋率驗(yàn)證
(coverage driven Verification)的概念和必要性,通過舉例簡(jiǎn)要地說明了該驗(yàn)證過程的步驟,幫助讀者理解為什么學(xué)習(xí)SystemVerilog 語言,掌握一些基本的針對(duì)功能覆蓋率驗(yàn)證庫的使用方法,就可以顯著提高驗(yàn)證的效率和可信度,并使得復(fù)雜驗(yàn)證過程的管理變得容易。
關(guān)鍵字:功能覆蓋率 SystemVerilog 覆蓋率組 覆蓋率屬性
神州龍芯集成電路設(shè)計(jì)公司
徐偉俊 楊鑫 陳先勇 夏宇聞
[摘要]:本文在介紹傳統(tǒng)驗(yàn)證過程及其局限性的基礎(chǔ)上,闡述了針對(duì)功能覆蓋率驗(yàn)證
(coverage driven Verification)的概念和必要性,通過舉例簡(jiǎn)要地說明了該驗(yàn)證過程的步驟,幫助讀者理解為什么學(xué)習(xí)SystemVerilog 語言,掌握一些基本的針對(duì)功能覆蓋率驗(yàn)證庫的使用方法,就可以顯著提高驗(yàn)證的效率和可信度,并使得復(fù)雜驗(yàn)證過程的管理變得容易。
關(guān)鍵字:功能覆蓋率 SystemVerilog 覆蓋率組 覆蓋率屬性
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 代碼覆蓋率記錄
- 一種改進(jìn)的衛(wèi)星區(qū)域覆蓋分析是否 6次下載
- 視覺傳感器網(wǎng)絡(luò)邊界部署的K-覆蓋率估計(jì)模型 6次下載
- 如何進(jìn)行控制器的集成測(cè)試詳細(xì)資料概述 16次下載
- 如何在代碼編寫器StudioV2.3中使用代碼覆蓋率和多事件分析器 2次下載
- 參數(shù)化UVM IP驗(yàn)證環(huán)境(上) 8次下載
- USCIS API的應(yīng)用程序發(fā)熱覆蓋率下 2次下載
- USCIS API的應(yīng)用程序發(fā)熱覆蓋率上 6次下載
- 使用 Veloce 完成局部系統(tǒng)級(jí)協(xié)議檢查和 覆蓋率收斂 4次下載
- 適用于系統(tǒng)級(jí)驗(yàn)證的VMM多層框架 0次下載
- 龍芯2號(hào)配套PCI Bridge的功能覆蓋率驗(yàn)證 28次下載
- 基于覆蓋率的功能驗(yàn)證方法 22次下載
- 如何有效地在ATE上提高DDR存儲(chǔ)器接口測(cè)試覆蓋率
- 設(shè)計(jì)驗(yàn)證中的隨機(jī)約束
- 結(jié)合覆蓋率驅(qū)動(dòng)技術(shù)的RVM驗(yàn)證方法學(xué)在SOC驗(yàn)證中的應(yīng)用
- 利用靜態(tài)檢查工具完善功能安全中測(cè)試覆蓋率 384次閱讀
- 如何將SystemVerilog斷言屬性和覆蓋屬性置于在設(shè)計(jì)上? 810次閱讀
- 怎么用Vivado做覆蓋率分析 1773次閱讀
- AI/ML 解決方案加速驗(yàn)證曲線收斂 435次閱讀
- 驗(yàn)證組件配置參數(shù) 636次閱讀
- 如何獲得100%的安全關(guān)鍵系統(tǒng)結(jié)構(gòu)代碼覆蓋率 1228次閱讀
- 代碼覆蓋率工具的重要性 1491次閱讀
- 功能覆蓋率應(yīng)該包含哪些內(nèi)容? 1321次閱讀
- 我們一般習(xí)慣在哪里開發(fā)我們的功能覆蓋率模型呢 765次閱讀
- 基于基帶處理芯片的應(yīng)用RVM驗(yàn)證方法的注意事項(xiàng)與技巧 2325次閱讀
- 嵌入式代碼覆蓋率如何進(jìn)行統(tǒng)計(jì)有哪些方法和經(jīng)驗(yàn) 3108次閱讀
- 通過嵌入式軟件實(shí)現(xiàn)路徑覆蓋測(cè)試的設(shè)計(jì)方案研究 1029次閱讀
- IP開發(fā)時(shí)如何考慮復(fù)用覆蓋率 2648次閱讀
- 基于System Verilog的可重用驗(yàn)證平臺(tái)設(shè)計(jì)及驗(yàn)證結(jié)果分析 2703次閱讀
- 基于VMM驗(yàn)證方法學(xué)的MCU驗(yàn)證環(huán)境 3364次閱讀
下載排行
本周
- 1晶體三極管的電流放大作用詳細(xì)說明
- 0.77 MB | 29次下載 | 2 積分
- 2PC4401_DC-DC 42V反激式隔離開關(guān)電路
- 0.85 MB | 3次下載 | 免費(fèi)
- 3GPRS智能超聲波液位監(jiān)測(cè)終端
- 835.55 KB | 2次下載 | 免費(fèi)
- 4NS4862 500mA鋰電池充放電管理IC中文手冊(cè)
- 2.27 MB | 次下載 | 免費(fèi)
- 5NS4892B藍(lán)牙耳機(jī)充電倉-線性鋰電池充放電管理IC中文手冊(cè)
- 1.79 MB | 次下載 | 免費(fèi)
- 6AIWA HS-JX3000/HS-JX3000D維修手冊(cè)
- 14.78 MB | 次下載 | 10 積分
- 7先鋒CDJ-1000MK3打碟機(jī)圖紙
- 9.79 MB | 次下載 | 10 積分
- 8西門子PLC-模擬量采集計(jì)算使用方法
- 0.07 MB | 次下載 | 2 積分
本月
- 1晶體三極管的電流放大作用詳細(xì)說明
- 0.77 MB | 29次下載 | 2 積分
- 2第十一屆 藍(lán)橋杯 單片機(jī)設(shè)計(jì)與開發(fā)項(xiàng)目 省賽 程序設(shè)計(jì)試題及源碼
- 90.88KB | 23次下載 | 3 積分
- 3NR-E531TX-XN冰箱說明書
- 8.64 MB | 23次下載 | 免費(fèi)
- 4Python從入門到精通背記手冊(cè)
- 18.77 MB | 20次下載 | 1 積分
- 5STM32F103C8T6開發(fā)板最小系統(tǒng)原理圖
- 0.78 MB | 17次下載 | 免費(fèi)
- 6華碩主板架構(gòu)認(rèn)識(shí)
- 1.42 MB | 11次下載 | 免費(fèi)
- 7SX1308應(yīng)用電路圖與SX1308升壓電路圖
- 0.18 MB | 8次下載 | 1 積分
- 8東芝彩色電視機(jī)29SF6C維修說明書
- 4.86 MB | 8次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420063次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191377次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183336次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81584次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73814次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
評(píng)論