電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
基于OVM的32位微處理器驗證_吳勇昊
目前, 大多數(shù)的驗證工程師在搭建驗證環(huán)境時使用的語言 是 VHDL 或 Verilog,這兩種語言在數(shù)字集成電路設(shè)計方面有諸 多優(yōu)點,然而利用它們搭建驗證環(huán)境并不是十分理想,因為它們 不能為功能驗證提供足夠的高層次抽象能力。所以,硬件驗證語 言(Hardware Verification Languages ,HVL)如 e、Vera、SystemVer－ ilog、SystemC 等出現(xiàn)了。這些語言都比設(shè)計語言如 Verilog 和 VHDL 抽象層次更高,并且提供了 OOP(Object Oriented Program－ ming,面向?qū)ο蟪绦蛟O(shè)計)特性,更加適合于驗證平臺的構(gòu)造。通 過動態(tài)類,參數(shù)化類,繼承、多態(tài)、參數(shù)化構(gòu)造函數(shù)等,可以搭建可 重用的組件。目前來講,EDA 界給予支持的最新語言是 Sys－ temVerilog。在 SystemVerilog 成為 IEEE 的標(biāo)準語言之后,它的應(yīng) 用越來越廣泛,被各大公司廣泛使用到實際項目中。所以本文選 擇 SystemVerilog 搭建驗證平臺。SystemVerilog 擴展了 Verilog 在 芯片設(shè)計和驗證中的功能: 支持 TLM (Transaction Layer model－ ing)建模和驗證。
目前, 大多數(shù)的驗證工程師在搭建驗證環(huán)境時使用的語言 是 VHDL 或 Verilog,這兩種語言在數(shù)字集成電路設(shè)計方面有諸 多優(yōu)點,然而利用它們搭建驗證環(huán)境并不是十分理想,因為它們 不能為功能驗證提供足夠的高層次抽象能力。所以,硬件驗證語 言(Hardware Verification Languages ,HVL)如 e、Vera、SystemVer－ ilog、SystemC 等出現(xiàn)了。這些語言都比設(shè)計語言如 Verilog 和 VHDL 抽象層次更高,并且提供了 OOP(Object Oriented Program－ ming,面向?qū)ο蟪绦蛟O(shè)計)特性,更加適合于驗證平臺的構(gòu)造。通 過動態(tài)類,參數(shù)化類,繼承、多態(tài)、參數(shù)化構(gòu)造函數(shù)等,可以搭建可 重用的組件。目前來講,EDA 界給予支持的最新語言是 Sys－ temVerilog。在 SystemVerilog 成為 IEEE 的標(biāo)準語言之后,它的應(yīng) 用越來越廣泛,被各大公司廣泛使用到實際項目中。所以本文選 擇 SystemVerilog 搭建驗證平臺。SystemVerilog 擴展了 Verilog 在 芯片設(shè)計和驗證中的功能: 支持 TLM (Transaction Layer model－ ing)建模和驗證。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- STM32系列32位微控制器（MCU）/32位微處理器（MPU）選型手冊 4次下載
- 8位微處理器atmega128中文數(shù)據(jù)手冊 13次下載
- 微處理器監(jiān)控電路MAX690用戶手冊 1次下載
- 嵌入式微處理器與應(yīng)用
- ARM嵌入式微處理器體系結(jié)構(gòu) 36次下載
- 一種32位雙核微處理器的設(shè)計與監(jiān)控_章鳴嬛 5次下載
- 在微處理器上用LabVIEW進行快速原型—周勇 79次下載
- Mentor驗證解決方案在龍芯處理器設(shè)計中的應(yīng)用 0次下載
- 通用微處理器功能驗證中的仿真加速
- 16位低功耗微處理器的設(shè)計
- ARM微處理器的編程模型
- 介紹如何用TLC2543的串行接口和微處理器構(gòu)建12位的數(shù)據(jù)
- 基于驗證庫的微處理器指令集驗證方法
- ARM微處理器的編程模型
- CKP1004S8位單片微處理器引腳功能
- dsp是嵌入式微處理器的一種設(shè)備嗎 ARM嵌入式微處理器有何特點? 1.9k次閱讀
- 什么是嵌入式微處理器？嵌入式微處理器有哪些？ 2k次閱讀
- 嵌入式微處理器的歷史和發(fā)展 1.9k次閱讀
- 嵌入式微處理器的原理和應(yīng)用 1.8k次閱讀
- 嵌入式微處理器分為哪四類 1.2k次閱讀
- 基于PowerPC 405微處理器和VME總線實現(xiàn)以太網(wǎng)接口設(shè)計 3.6k次閱讀
- 基于FPGA的VLIW微處理器基本功能實現(xiàn)設(shè)計 1.6k次閱讀
- 微處理器及液晶顯示驅(qū)動電路 4k次閱讀
- 微處理器的發(fā)展概況 9.4k次閱讀
- 微處理器的電源架構(gòu)說明 2.9k次閱讀
- 微處理器是cpu嗎？微處理器和cpu的區(qū)別 7w次閱讀
- 8086微處理器的組成與工作原理 1.4w次閱讀
- 單片機、微控制器和微處理器有什么區(qū)別 2.2w次閱讀
- 微處理器與微控制器的區(qū)別 7.1k次閱讀
- 基于OVM驗證平臺的IP芯片驗證 3.3k次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費
- 2MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費
- 4收音環(huán)繞擴音機 AVR-1507手冊
- 2.50 MB | 次下載 | 免費
- 524Pin Type-C連接器設(shè)計報告
- 1.06 MB | 次下載 | 免費
- 6新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費
- 7MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 MB | 次下載 | 免費
- 8MS1022高精度時間測量(TDC)電路數(shù)據(jù)手冊
- 1.81 MB | 次下載 | 免費
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負載均流控制電路數(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 積分
- 8100W準諧振反激式恒流電源電路圖資料
- 0.09 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單片機與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論