資料介紹
?
文章主要介紹《VMM for SystemVerilog》一書描述的如何利用SystemVerilog語言,采用驗證方法學(xué)以及驗證庫開發(fā)出先進(jìn)驗證環(huán)境。文章分為四部分,第一部分概述了用SystemVerilog語言驗證復(fù)雜SoC的基本方法。第二部分主要介紹使用先進(jìn)驗證技術(shù)進(jìn)行RTL驗證并定義一個能在項目之間進(jìn)行驗證單元重用的分層驗證平臺結(jié)構(gòu)。第三部分將涉及到系統(tǒng)級驗證,包括SystemVerilog 與SystemC交互等方面。當(dāng)與一個合適方法相結(jié)合,SystemVerilog提供了建立一個完整RTL以及系統(tǒng)級(ESL)驗證環(huán)境需要的所有結(jié)構(gòu)及特性。同時完全支持與System C或與一個以C為基礎(chǔ)的軟件測試環(huán)境交互。第四部分討論驗證所采用的驗證策略,VMM方法學(xué),以及利用《VMM for SystemVerilog》中定義的標(biāo)準(zhǔn)庫來支持方法學(xué)。這些庫涉及到文章中討論的基本方法,XVC,XVC管理器,軟件驗證等方面。

- SystemVerilog3.1a語言參考手冊 3次下載
- IEEE SystemVerilog標(biāo)準(zhǔn):統(tǒng)一的硬件設(shè)計規(guī)范和驗證語言 1次下載
- 利用Systemverilog+UVM搭建soc驗證環(huán)境 5次下載
- SystemVerilog的正式驗證和混合驗證 25次下載
- 神經(jīng)網(wǎng)絡(luò)的方法學(xué)習(xí)課件免費下載 18次下載
- 符合驗證方法手冊VMM的基于SystemVerilog事務(wù)的測試平臺詳細(xì)介紹 2次下載
- 程方法學(xué)講義memory 0次下載
- 基于SystemVerilog的I2C總線模塊驗證 27次下載
- 集成電路設(shè)計方法學(xué)概論 36次下載
- 基于ARM9的AFDX-ES SoC驗證平臺的構(gòu)建與實現(xiàn)
- OVM實現(xiàn)了可重用的驗證平臺
- 一種基于事務(wù)的SoC功能驗證方法
- 在SoC設(shè)計中采用ESL設(shè)計和驗證方法
- 結(jié)合覆蓋率驅(qū)動技術(shù)的RVM驗證方法學(xué)在SOC驗證中的應(yīng)用
- SystemVerilog 3.1a語言參考手冊
- 【產(chǎn)品介紹】Questa One Sim軟件 329次閱讀
- SystemVerilog在硬件設(shè)計部分有哪些優(yōu)勢 2.2k次閱讀
- SystemVerilog的隨機(jī)約束方法 3.5k次閱讀
- 如何實現(xiàn)全面的SystemVerilog語法覆蓋 1.2k次閱讀
- 開源的Bluespec SystemVerilog (BSV)語言表現(xiàn)如何? 1.6k次閱讀
- ASIC和FPGA區(qū)別及建模概念 2k次閱讀
- SystemVerilog語言中的Upcasting和Downcasting概念解析 2.2k次閱讀
- 怎樣去使用SystemVerilog中的Static方法呢 1.8k次閱讀
- SystemVerilog中的操作方法 4.3k次閱讀
- Systemverilog event的示例 2.2k次閱讀
- 使用Verilog/SystemVerilog硬件描述語言練習(xí)數(shù)字硬件設(shè)計 2.7k次閱讀
- 基于DPI-C接口的UVM驗證平臺設(shè)計與實現(xiàn)介紹 8k次閱讀
- 基于VMM驗證方法學(xué)的MCU驗證環(huán)境 3.8k次閱讀
- Verilog HDL語言的文件調(diào)用問題:include使用方法介紹 7.4k次閱讀
- 基于OVM驗證平臺的IP芯片驗證 3.3k次閱讀
下載排行
本周
- 1MDD品牌三極管BC807數(shù)據(jù)手冊
- 3.00 MB | 次下載 | 免費
- 2MDD品牌三極管BC817數(shù)據(jù)手冊
- 2.51 MB | 次下載 | 免費
- 3MDD品牌三極管D882數(shù)據(jù)手冊
- 3.49 MB | 次下載 | 免費
- 4MDD品牌三極管MMBT2222A數(shù)據(jù)手冊
- 3.26 MB | 次下載 | 免費
- 5MDD品牌三極管MMBTA56數(shù)據(jù)手冊
- 3.09 MB | 次下載 | 免費
- 6MDD品牌三極管MMBTA92數(shù)據(jù)手冊
- 2.32 MB | 次下載 | 免費
- 7STM32G474 HRTIME PWM 丟波問題分析與解決
- 1.00 MB | 次下載 | 3 積分
- 8新能源電動汽車高壓線束的銅鋁連接解決方案
- 2.71 MB | 次下載 | 2 積分
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8蘇泊爾DCL6909(即CHK-S009)單芯片電磁爐原理圖資料
- 0.08 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App





創(chuàng)作
發(fā)文章
發(fā)帖
提問
發(fā)資料
發(fā)視頻
上傳資料賺積分
評論