資料介紹
在SystemVeri log更強(qiáng)調(diào)了利用隨機(jī)化激勵(lì)函數(shù)以提高驗(yàn)證代碼的效率和驗(yàn)證可靠性的重要性。本文以VMM庫(kù)為例,闡述了如何在SystemVeri 1og中使用隨機(jī)化函數(shù)來(lái)編寫(xiě)高效率的測(cè)試代碼,重點(diǎn)介紹了可重驗(yàn)證函數(shù)庫(kù)的使用方法,以幫助讀者理解如何使用SystemVeri1og高效率地完成復(fù)雜的設(shè)計(jì)驗(yàn)證。

下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- system verilog語(yǔ)言簡(jiǎn)介 0次下載
- (76)Verilog HDL測(cè)試激勵(lì):時(shí)鐘激勵(lì)3
- (60)Verilog HDL測(cè)試激勵(lì):復(fù)位激勵(lì)1
- (77)Verilog HDL測(cè)試激勵(lì):復(fù)位激勵(lì)3
- (59)Verilog HDL測(cè)試激勵(lì):時(shí)鐘激勵(lì)1
- (69)Verilog HDL測(cè)試激勵(lì):時(shí)鐘激勵(lì)2
- (70)Verilog HDL測(cè)試激勵(lì):復(fù)位激勵(lì)2
- FPGA CPLD中的Verilog設(shè)計(jì)小技巧
- 環(huán)境激勵(lì)與小幅持續(xù)周期擾動(dòng)特征 0次下載
- 一種隨機(jī)化的軟件模型生成方法 0次下載
- 基于System Verilog中的隨機(jī)化激勵(lì) 9次下載
- VHDL,Verilog,System verilog比較 0次下載
- SystemVerilog中的隨機(jī)化激勵(lì)
- Verilog Digital System Design 0次下載
- 新的隨機(jī)化廣播加密方案
- SV約束隨機(jī)化總結(jié) 934次閱讀
- SystemVerilog的隨機(jī)約束方法 1820次閱讀
- System Verilog的概念以及與Verilog的對(duì)比 1529次閱讀
- 使用Xcelium ML簡(jiǎn)化您的驗(yàn)證環(huán)境 960次閱讀
- Verilog中循環(huán)語(yǔ)句簡(jiǎn)介 3258次閱讀
- System Verilog中的Mailboxes 2415次閱讀
- 使用NVIDIA ISAAC Sim和NVIDIA ISAAC Replicator縮小Sim2Real差距 1282次閱讀
- 數(shù)論入門(mén):如何快速求出與n互素的數(shù) 2640次閱讀
- 固態(tài)硬盤(pán)的順序讀寫(xiě)和隨機(jī)讀寫(xiě)有何區(qū)別 2.2w次閱讀
- 一種新型深度網(wǎng)絡(luò)架構(gòu)可以從過(guò)去的動(dòng)作和觀(guān)察結(jié)果學(xué)習(xí)以進(jìn)行自校準(zhǔn) 3346次閱讀
- 谷歌提出一種結(jié)合卷積神經(jīng)網(wǎng)絡(luò)和LSTM的新架構(gòu) 6441次閱讀
- 一種基于深度學(xué)習(xí)的系統(tǒng)教會(huì)機(jī)器人僅通過(guò)觀(guān)察人類(lèi)行為就能完成任務(wù) 3590次閱讀
- verilog是什么_verilog的用途和特征是什么 4.5w次閱讀
- 基于System Verilog的可重用驗(yàn)證平臺(tái)設(shè)計(jì)及驗(yàn)證結(jié)果分析 2703次閱讀
- FPGA開(kāi)發(fā)之算法開(kāi)發(fā)System Generator 8019次閱讀
下載排行
本周
- 1索尼333ESL電路圖資料
- 10.11 MB | 2次下載 | 免費(fèi)
- 2TINA-TI 模擬電路設(shè)計(jì)、仿真和分析軟件中文教程
- 3.83 MB | 0次下載 | 5 積分
- 3SS6548D40V 直流有刷電機(jī)驅(qū)動(dòng)芯片中文資料
- 1.55 MB | 次下載 | 1 積分
- 4SS6235M 4A 33V性?xún)r(jià)比超高電機(jī)驅(qū)動(dòng)芯片中文資料
- 1.26 MB | 次下載 | 免費(fèi)
- 5FP7195-中文應(yīng)用說(shuō)明書(shū)
- 0.93 MB | 次下載 | 免費(fèi)
- 6VSA101-G250T01-I 電壓傳感器產(chǎn)品使用手冊(cè)
- 0.72 MB | 次下載 | 免費(fèi)
- 7FS4056E系列單節(jié)線(xiàn)線(xiàn)充電IC
- 2.41 MB | 次下載 | 免費(fèi)
- 8FS5281E(5V USB輸入雙節(jié)鋰電池串聯(lián)應(yīng)用升壓充電管理IC)
- 3.30 MB | 次下載 | 免費(fèi)
本月
- 148V到5KW無(wú)橋LLC雙向逆變器的電路原理圖免費(fèi)下載
- 0.26 MB | 157次下載 | 10 積分
- 22KW逆變側(cè)功率管的損耗如何進(jìn)行計(jì)算詳細(xì)公式免費(fèi)下載
- 0.40 MB | 33次下載 | 2 積分
- 3高功率密度碳化硅MOSFET軟開(kāi)關(guān)三相逆變器損耗分析
- 2.27 MB | 33次下載 | 5 積分
- 4STM32F10x參考手冊(cè)資料
- 13.64 MB | 12次下載 | 1 積分
- 5光伏并網(wǎng)逆變器原理
- 7.31 MB | 7次下載 | 2 積分
- 6SW5099規(guī)格書(shū)
- 1.37 MB | 6次下載 | 1 積分
- 7星火6J3-1交直流二波段收音機(jī)電路圖資料
- 1.86 MB | 6次下載 | 免費(fèi)
- 8S7-200 可編程序控制器系統(tǒng)手冊(cè)
- 12.81 MB | 5次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935134次下載 | 10 積分
- 2開(kāi)源硬件-PMP21529.1-4 開(kāi)關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191422次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183352次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81600次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73818次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
評(píng)論