資料介紹
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的正式驗證和混合驗證 25次下載
- OVM實現(xià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的驗證方法手冊
- 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 1.4k次閱讀
- SystemVerilog在硬件設計部分有哪些優(yōu)勢 2.2k次閱讀
- SystemVerilog的隨機約束方法 3.5k次閱讀
- 如何實現(xiàn)全面的SystemVerilog語法覆蓋 1.2k次閱讀
- Formal Verification的基礎知識 4.7k次閱讀
- SystemVerilog中的Semaphores 4.3k次閱讀
- SystemVerilog語言中的Upcasting和Downcasting概念解析 2.2k次閱讀
- SystemVerilog中的Shallow Copy 1.4k次閱讀
- Systemverilog中的union 1.4k次閱讀
- SystemVerilog中的struct 3.2k次閱讀
- SystemVerilog中的package 1.8k次閱讀
- SystemVerilog中的操作方法 4.3k次閱讀
- SystemVerilog中$cast的應用 3.9k次閱讀
- Systemverilog event的示例 2.2k次閱讀
- 《Reuse methodology manual》讀書筆記:RTL編程指導 2.1k次閱讀
下載排行
本周
- 1MDD品牌三極管BC807數(shù)據(jù)手冊
- 3.00 MB | 次下載 | 免費
- 2MDD品牌三極管BC817數(shù)據(jù)手冊
- 2.51 MB | 次下載 | 免費
- 3MDD品牌三極管D882數(shù)據(jù)手冊
- 3.49 MB | 次下載 | 免費
- 4MDD品牌三極管MMBT2222A數(shù)據(jù)手冊
- 3.26 MB | 次下載 | 免費
- 5MDD品牌三極管MMBTA56數(shù)據(jù)手冊
- 3.09 MB | 次下載 | 免費
- 6MDD品牌三極管MMBTA92數(shù)據(jù)手冊
- 2.32 MB | 次下載 | 免費
- 7STM32G474 HRTIME PWM 丟波問題分析與解決
- 1.00 MB | 次下載 | 3 積分
- 8新能源電動汽車高壓線束的銅鋁連接解決方案
- 2.71 MB | 次下載 | 2 積分
本月
- 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 積分
- 8蘇泊爾DCL6909(即CHK-S009)單芯片電磁爐原理圖資料
- 0.08 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App





創(chuàng)作
發(fā)文章
發(fā)帖
提問
發(fā)資料
發(fā)視頻
上傳資料賺積分
評論