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

- SystemVerilog3.1a語言參考手冊 3次下載
- IEEE SystemVerilog標準:統(tǒng)一的硬件設計規(guī)范和驗證語言 1次下載
- 利用Systemverilog+UVM搭建soc驗證環(huán)境 5次下載
- SystemVerilog的正式驗證和混合驗證 24次下載
- 神經(jīng)網(wǎng)絡的方法學習課件免費下載 17次下載
- 符合驗證方法手冊VMM的基于SystemVerilog事務的測試平臺詳細介紹 2次下載
- 程方法學講義memory 0次下載
- 基于SystemVerilog的I2C總線模塊驗證 27次下載
- 集成電路設計方法學概論 36次下載
- 基于ARM9的AFDX-ES SoC驗證平臺的構建與實現(xiàn)
- OVM實現(xiàn)了可重用的驗證平臺
- 一種基于事務的SoC功能驗證方法
- 在SoC設計中采用ESL設計和驗證方法
- 結合覆蓋率驅動技術的RVM驗證方法學在SOC驗證中的應用
- SystemVerilog 3.1a語言參考手冊
- SystemVerilog在硬件設計部分有哪些優(yōu)勢 1325次閱讀
- SystemVerilog的隨機約束方法 1821次閱讀
- 如何實現(xiàn)一個驗證MCU指令 852次閱讀
- 如何實現(xiàn)全面的SystemVerilog語法覆蓋 616次閱讀
- 開源的Bluespec SystemVerilog (BSV)語言表現(xiàn)如何? 798次閱讀
- ASIC和FPGA區(qū)別及建模概念 1199次閱讀
- SystemVerilog語言中的Upcasting和Downcasting概念解析 1531次閱讀
- 怎樣去使用SystemVerilog中的Static方法呢 1182次閱讀
- SystemVerilog中的操作方法 2941次閱讀
- Systemverilog event的示例 1599次閱讀
- 使用Verilog/SystemVerilog硬件描述語言練習數(shù)字硬件設計 1739次閱讀
- 基于DPI-C接口的UVM驗證平臺設計與實現(xiàn)介紹 7000次閱讀
- 基于VMM驗證方法學的MCU驗證環(huán)境 3364次閱讀
- Verilog HDL語言的文件調用問題:include使用方法介紹 6898次閱讀
- 基于OVM驗證平臺的IP芯片驗證 2844次閱讀
下載排行
本周
- 148V到5KW無橋LLC雙向逆變器的電路原理圖免費下載
- 0.26 MB | 154次下載 | 10 積分
- 22KW逆變側功率管的損耗如何進行計算詳細公式免費下載
- 0.40 MB | 32次下載 | 2 積分
- 3高功率密度碳化硅MOSFET軟開關三相逆變器損耗分析
- 2.27 MB | 30次下載 | 5 積分
- 4S7-200 可編程序控制器系統(tǒng)手冊
- 12.81 MB | 4次下載 | 免費
- 5ATX電源 FSP_ATX-300PAF電路圖資料
- 0.18 MB | 1次下載 | 2 積分
- 6IP6541_L 150uA 低功耗,集成多種快充輸出協(xié)議中文資料
- 1.43 MB | 次下載 | 免費
- 7PC5010 單通道20V_10A低邊高速驅動器技術手冊
- 1.17 MB | 次下載 | 免費
- 8GSV2201D 帶嵌入式MCU的DisplayPort 1.4到HDMI 2.0轉換器規(guī)格書
- 0.67 MB | 次下載 | 2 積分
本月
- 148V到5KW無橋LLC雙向逆變器的電路原理圖免費下載
- 0.26 MB | 154次下載 | 10 積分
- 22KW逆變側功率管的損耗如何進行計算詳細公式免費下載
- 0.40 MB | 32次下載 | 2 積分
- 3高功率密度碳化硅MOSFET軟開關三相逆變器損耗分析
- 2.27 MB | 30次下載 | 5 積分
- 4STM32F10x參考手冊資料
- 13.64 MB | 12次下載 | 1 積分
- 5OAH0428 V1.0英文規(guī)格書
- 5.86 MB | 8次下載 | 免費
- 6光伏并網(wǎng)逆變器原理
- 7.31 MB | 6次下載 | 2 積分
- 7NS1081/NS1081S/NS1081Q USB 3.0閃存數(shù)據(jù)手冊
- 0.40 MB | 4次下載 | 2 積分
- 8S7-200 可編程序控制器系統(tǒng)手冊
- 12.81 MB | 4次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935132次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191422次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183352次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81600次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73818次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65990次下載 | 10 積分
電子發(fā)燒友App






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