資料介紹
When VHDL first came out as an IEEE standard, it was thought to be sufficient to
model hardware designs. Reality proved to be a little different. Because it did not
have a predefined four-state logic type, each simulator and model vendor had to
create its own—and incompatible—logic type. This situation prompted the quick
creation of a group to create a standard multi-valued logic package for VHDL that
culminated with the 1164 standard. With such a package, models became
interoperable and simulators could be optimized to perform well-defined operations.
The authors of this book hope to create a similar standard for verification components
within the SystemVerilog language. The infrastructure elements specified in the
appendices can form the basis of a standard verification interface. If model vendors
use it to build their verification components, they will be immediately interoperable.
If simulator vendors optimize their implementation of the standard functions, the
runtime performances can be improved.
- SystemVerilog的正式驗(yàn)證和混合驗(yàn)證 24次下載
- OVM實(shí)現(xiàn)了可重用的驗(yàn)證平臺
- AVM Based Unified Verification
- Functional Verification Coverage Measurement and Analysis 0次下載
- Creating An Efficient Verification Environment using Synopsy 0次下載
- SystemVerilog for verification 0次下載
- SystemVerilog的驗(yàn)證方法手冊
- Verification Methodology Manua
- SystemVerilog寫作測試平臺的使用 0次下載
- Hardware Verification With Sys 0次下載
- SystemVerilog的斷言手冊
- SystemVerilog Assertion Handbo
- Advanced Verification Techniqu 0次下載
- Advanced Formal Verification 0次下載
- CADENCE RF SiP METHODOLOGY KIT 0次下載
- 分享一些SystemVerilog的coding guideline 727次閱讀
- SystemVerilog在硬件設(shè)計(jì)部分有哪些優(yōu)勢 1325次閱讀
- SystemVerilog的隨機(jī)約束方法 1821次閱讀
- 如何實(shí)現(xiàn)全面的SystemVerilog語法覆蓋 616次閱讀
- Formal Verification的基礎(chǔ)知識 2739次閱讀
- SystemVerilog中的Semaphores 3419次閱讀
- SystemVerilog語言中的Upcasting和Downcasting概念解析 1531次閱讀
- SystemVerilog中的Shallow Copy 939次閱讀
- Systemverilog中的union 957次閱讀
- SystemVerilog中的struct 2509次閱讀
- SystemVerilog中的package 1292次閱讀
- SystemVerilog中的操作方法 2941次閱讀
- SystemVerilog中$cast的應(yīng)用 2901次閱讀
- Systemverilog event的示例 1599次閱讀
- 《Reuse methodology manual》讀書筆記:RTL編程指導(dǎo) 1842次閱讀
下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費(fèi)
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費(fèi)
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費(fèi)
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費(fèi)
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費(fèi)
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費(fèi)
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費(fèi)
- 8AN-1308: 電流檢測放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費(fèi)
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費(fèi)
- 2免費(fèi)開源CC3D飛控資料(電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機(jī)智能手環(huán)心率計(jì)步器體溫顯示設(shè)計(jì)
- 0.10 MB | 130次下載 | 免費(fèi)
- 4使用單片機(jī)實(shí)現(xiàn)七人表決器的程序和仿真資料免費(fèi)下載
- 2.96 MB | 44次下載 | 免費(fèi)
- 53314A函數(shù)發(fā)生器維修手冊
- 16.30 MB | 31次下載 | 免費(fèi)
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費(fèi)
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
評論