資料介紹
提出了基于事務(wù)斷言驗(yàn)證技術(shù),用屬性說(shuō)明語(yǔ)言(Property Specification Language,PSL)描述系統(tǒng)的屬性,用事務(wù)進(jìn)行系統(tǒng)的驗(yàn)證,通過(guò)編程語(yǔ)言接口機(jī)理和工具控制語(yǔ)言來(lái)控制驗(yàn)證中PSL斷言的狀態(tài),使得基于PSL的斷言驗(yàn)證可以事務(wù)的形式靈活地應(yīng)用。采用該技術(shù)建立了同步數(shù)字體系(Synchronous Digitial Hierarchy,SDH)驗(yàn)證平臺(tái),驗(yàn)證了超過(guò)100萬(wàn)門(mén)交換芯片的功能,實(shí)踐表明,該方法極大的提高了驗(yàn)證覆蓋率和驗(yàn)證效率。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- MCU芯片級(jí)驗(yàn)證
- 基于雙接口NFC芯片的FPGA驗(yàn)證系統(tǒng) 17次下載
- SystemVerilog的正式驗(yàn)證和混合驗(yàn)證 24次下載
- 16位CRC驗(yàn)證碼生成VI工具下載 55次下載
- 符合驗(yàn)證方法手冊(cè)VMM的基于SystemVerilog事務(wù)的測(cè)試平臺(tái)詳細(xì)介紹 2次下載
- 版圖驗(yàn)證方法說(shuō)明 0次下載
- 基于可重用激勵(lì)發(fā)生機(jī)制的虛擬SoC驗(yàn)證平臺(tái) 0次下載
- 基于UVM的CPU卡芯片驗(yàn)證平臺(tái) 4次下載
- 基于UVM的驗(yàn)證平臺(tái)設(shè)計(jì)研究 4次下載
- 基于FPGA的NoC驗(yàn)證平臺(tái)的構(gòu)建
- OVM實(shí)現(xiàn)了可重用的驗(yàn)證平臺(tái)
- 一種基于事務(wù)的SoC功能驗(yàn)證方法
- 40Gbs交換IP軟核驗(yàn)證和測(cè)試
- OVA技術(shù)在接口時(shí)序驗(yàn)證中的應(yīng)用
- SoC芯片驗(yàn)證技術(shù)的研究
- 芯片測(cè)試和芯片驗(yàn)證的區(qū)別 2237次閱讀
- fpga原型驗(yàn)證平臺(tái)與硬件仿真器的區(qū)別 1183次閱讀
- fpga驗(yàn)證和uvm驗(yàn)證的區(qū)別 1720次閱讀
- Testcase在芯片驗(yàn)證中的作用 1448次閱讀
- fpga驗(yàn)證及其在soc驗(yàn)證中的作用有哪些 1178次閱讀
- 可重用的驗(yàn)證組件中構(gòu)建測(cè)試平臺(tái)的步驟 622次閱讀
- AI技術(shù)如何賦能芯片驗(yàn)證 2088次閱讀
- 采用FPGA的NoC驗(yàn)證平臺(tái)實(shí)現(xiàn)方案 2347次閱讀
- 基于System Verilog的可重用驗(yàn)證平臺(tái)設(shè)計(jì)及驗(yàn)證結(jié)果分析 2703次閱讀
- 驗(yàn)證設(shè)計(jì)和創(chuàng)建可實(shí)現(xiàn)的設(shè)計(jì) 786次閱讀
- 基于FPGA的智能卡驗(yàn)證平臺(tái)設(shè)計(jì) 1226次閱讀
- 針對(duì)2K/4K超高清視頻驗(yàn)證的原型驗(yàn)證開(kāi)發(fā)平臺(tái) 1599次閱讀
- 基于VMM驗(yàn)證方法學(xué)的MCU驗(yàn)證環(huán)境 3364次閱讀
- 基于OVM驗(yàn)證平臺(tái)的IP芯片驗(yàn)證 2844次閱讀
- 基于PCI接口的IP驗(yàn)證平臺(tái) 1854次閱讀
下載排行
本周
- 12025年AI 智能終端和SoC芯片解讀
- 15.88 MB | 8次下載 | 免費(fèi)
- 2適應(yīng)邊緣AI全新時(shí)代的GPU架構(gòu)
- 628.91 KB | 2次下載 | 免費(fèi)
- 3SMF5.0A(CA) - SMF170A(CA)TVS規(guī)格書(shū)
- 1.05 MB | 次下載 | 免費(fèi)
- 4HC20MD6208_Datasheet_Ver1
- 607.96 KB | 次下載 | 免費(fèi)
- 5PT2031S 單觸控單輸出觸摸IC規(guī)格書(shū)
- 0.56 MB | 次下載 | 免費(fèi)
- 6PT2031W 單觸控單輸出觸摸IC規(guī)格書(shū)
- 0.56 MB | 次下載 | 免費(fèi)
- 7LYF2503 500nA IQ,300mA低壓差線性穩(wěn)壓器技術(shù)手冊(cè)
- 0.55 MB | 次下載 | 免費(fèi)
- 8GE 系列總線式交流伺服驅(qū)動(dòng)單元使用手冊(cè)
- 2.62 MB | 次下載 | 1 積分
本月
- 148V到5KW無(wú)橋LLC雙向逆變器的電路原理圖免費(fèi)下載
- 0.26 MB | 158次下載 | 10 積分
- 22KW逆變側(cè)功率管的損耗如何進(jìn)行計(jì)算詳細(xì)公式免費(fèi)下載
- 0.40 MB | 34次下載 | 2 積分
- 3高功率密度碳化硅MOSFET軟開(kāi)關(guān)三相逆變器損耗分析
- 2.27 MB | 33次下載 | 5 積分
- 448V電源磚模塊市場(chǎng)分析報(bào)告:市場(chǎng)洞察和元器件機(jī)遇
- 4.68 MB | 12次下載 | 免費(fèi)
- 5光伏并網(wǎng)逆變器原理
- 7.31 MB | 8次下載 | 2 積分
- 62025年AI 智能終端和SoC芯片解讀
- 15.88 MB | 8次下載 | 免費(fèi)
- 7T20電烙鐵原理圖資料
- 0.27 MB | 6次下載 | 免費(fèi)
- 8NS1081/NS1081S/NS1081Q USB 3.0閃存數(shù)據(jù)手冊(cè)
- 0.40 MB | 5次下載 | 2 積分
總榜
- 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)論