電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
本文描述了一個符合驗(yàn)證方法手冊（VMM）的基于SystemVerilog事務(wù)的測試平臺，并通過實(shí)例說明了使用基于事務(wù)的方法創(chuàng)建一個全面的約束隨機(jī)驗(yàn)證環(huán)境中的VMM方法。這包括交易的生成和通過交易者消費(fèi)它們。本文還通過圖形化解釋了如何在基于事務(wù)的驗(yàn)證測試臺的組成中使用VMM宏和類。用于此目的的DUT是一個帶有斷言的同步FIFO模型。給出了試驗(yàn)臺模型和試驗(yàn)結(jié)果。完整的驗(yàn)證模型可供下載。
SystemVerilog是一種豐富的語言，它提供了所需的構(gòu)造，以支持用于驗(yàn)證當(dāng)今復(fù)雜設(shè)計(jì)的高級方法。這些方法包括基于事務(wù)的驗(yàn)證（TBV）、覆蓋驅(qū)動的驗(yàn)證（CDV）、約束隨機(jī)測試（CRT）和基于斷言的驗(yàn)證（ABV）。功能覆蓋可進(jìn)一步分為時間覆蓋（使用SystemVerilog斷言（SVA））和數(shù)據(jù)覆蓋（使用Covergro）好的基于事務(wù)的CRT驗(yàn)證依賴于約束的事務(wù)隨機(jī)化和將這些事務(wù)傳輸?shù)绞聞?wù)處理程序以執(zhí)行（即，驅(qū)動被測設(shè)備（DUT）信號進(jìn)行測試）。這些方法可以使用功能覆蓋的收集和訪問，從而實(shí)現(xiàn)動態(tài)lly修改測試方案?？芍赜脦熘С值倪@些方法的改編在SystemVerilog的圖書驗(yàn)證方法手冊（VMM）中進(jìn)行了解釋，“現(xiàn)在VCS用戶可以使用VMM標(biāo)準(zhǔn)庫對象代碼。VMM標(biāo)準(zhǔn)庫源代碼，可與符合IEEE P1800 SystemVerilog的EDA工具一起使用，計(jì)劃在年底前由VCS用戶和SystemVerilog Catalyst成員免費(fèi)獲得許可。
- SystemVerilog3.1a語言參考手冊 3次下載
- IEEE SystemVerilog標(biāo)準(zhǔn):統(tǒng)一的硬件設(shè)計(jì)規(guī)范和驗(yàn)證語言 1次下載
- 利用Systemverilog+UVM搭建soc驗(yàn)證環(huán)境 5次下載
- SystemVerilog的正式驗(yàn)證和混合驗(yàn)證 25次下載
- 如何在VMM驗(yàn)證環(huán)境中使用ESL模型的詳細(xì)資料說明 2次下載
- 測試系統(tǒng)平臺的典型架構(gòu)和AXle測試平臺的介紹和優(yōu)勢概述 7次下載
- 基于SystemVerilog的I2C總線模塊驗(yàn)證 27次下載
- 適用于系統(tǒng)級驗(yàn)證的VMM多層框架 0次下載
- 基于SystemVerilog語言的驗(yàn)證方法學(xué)介紹 53次下載
- 基于事務(wù)斷言驗(yàn)證及SDH芯片驗(yàn)證平臺 0次下載
- OVM實(shí)現(xiàn)了可重用的驗(yàn)證平臺
- 一種基于事務(wù)的SoC功能驗(yàn)證方法
- VMM驗(yàn)證方法在AXI總線系統(tǒng)中的實(shí)現(xiàn)
- SystemVerilog的斷言手冊
- SystemVerilog 3.1a語言參考手冊
- Verilog 測試平臺設(shè)計(jì)方法 Verilog FPGA開發(fā)指南 1.6k次閱讀
- SystemVerilog在硬件設(shè)計(jì)部分有哪些優(yōu)勢 2.2k次閱讀
- SystemVerilog的隨機(jī)約束方法 3.5k次閱讀
- 如何實(shí)現(xiàn)一個驗(yàn)證MCU指令 1.5k次閱讀
- 可重用的驗(yàn)證組件中構(gòu)建測試平臺的步驟 1.3k次閱讀
- 怎樣去使用SystemVerilog中的Static方法呢 1.8k次閱讀
- SystemVerilog中的操作方法 4.3k次閱讀
- SystemVerilog對硬件功能如何進(jìn)行建模 2.5k次閱讀
- 基于VMM構(gòu)建的驗(yàn)證平臺在AXI總線協(xié)議SoC中的應(yīng)用研究 2k次閱讀
- 絕緣電阻測試的方法及類型特點(diǎn)介紹 1.2w次閱讀
- 基于System Verilog的可重用驗(yàn)證平臺設(shè)計(jì)及驗(yàn)證結(jié)果分析 3.2k次閱讀
- 驗(yàn)證設(shè)計(jì)和創(chuàng)建可實(shí)現(xiàn)的設(shè)計(jì) 992次閱讀
- 基于FPGA的智能卡驗(yàn)證平臺設(shè)計(jì) 1.5k次閱讀
- 基于VMM驗(yàn)證方法學(xué)的MCU驗(yàn)證環(huán)境 3.8k次閱讀
- 基于OVM驗(yàn)證平臺的IP芯片驗(yàn)證 3.3k次閱讀
上傳資料賺積分下載排行
本周
- 1PD取電芯片 ECP5702規(guī)格書
- 0.88 MB | 3次下載 | 免費(fèi)
- 2氮化鎵GaN FET/GaN HEMT 功率驅(qū)動電路選型表
- 0.10 MB | 2次下載 | 免費(fèi)
- 3EMC PCB設(shè)計(jì)總結(jié)
- 0.33 MB | 2次下載 | 免費(fèi)
- 41節(jié)電池用電池保護(hù)IC S-8261D系列數(shù)據(jù)手冊
- 3.07 MB | 1次下載 | 1 積分
- 5PD取電芯片，可取5/9/12/15/20V電壓ECP5702數(shù)據(jù)手冊
- 0.88 MB | 1次下載 | 免費(fèi)
- 6飛騰FT2000-4 COM Express核心板技術(shù)手冊0603
- 1.22 MB | 1次下載 | 免費(fèi)
- 7飛騰S5000C-64雙路服務(wù)器系列應(yīng)用宣傳冊--一乘科技
- 945.81 KB | 1次下載 | 免費(fèi)
- 8IP2345支持PD3.0等多種快充協(xié)議 支持4~6節(jié)串聯(lián)電池最大充電功率30W異步升降壓充電IC
- 1.41 MB | 次下載 | 免費(fèi)
本月
- 1美的電磁爐電路原理圖資料
- 4.39 MB | 22次下載 | 10 積分
- 2反激式開關(guān)電源設(shè)計(jì)解析
- 0.89 MB | 16次下載 | 5 積分
- 3耗盡型MOS FET產(chǎn)品目錄選型表
- 0.14 MB | 3次下載 | 免費(fèi)
- 4PD取電芯片 ECP5702規(guī)格書
- 0.88 MB | 3次下載 | 免費(fèi)
- 5氮化鎵GaN FET/GaN HEMT 功率驅(qū)動電路選型表
- 0.10 MB | 2次下載 | 免費(fèi)
- 6EMC PCB設(shè)計(jì)總結(jié)
- 0.33 MB | 2次下載 | 免費(fèi)
- 7PC5200 700V_10A GaN HEMT驅(qū)動器數(shù)據(jù)手冊
- 1.63 MB | 1次下載 | 免費(fèi)
- 81節(jié)電池用電池保護(hù)IC S-8261D系列數(shù)據(jù)手冊
- 3.07 MB | 1次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233095次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191457次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183360次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81605次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73831次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論