資料介紹
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.

掃碼添加小助手
加入工程師交流群
- SystemVerilog3.1a語言參考手冊 3次下載
- IEEE SystemVerilog標(biāo)準(zhǔn):統(tǒng)一的硬件設(shè)計規(guī)范和驗證語言 1次下載
- 利用Systemverilog+UVM搭建soc驗證環(huán)境 5次下載
- SystemVerilog的正式驗證和混合驗證 25次下載
- 16位CRC驗證碼生成VI工具下載 57次下載
- 符合驗證方法手冊VMM的基于SystemVerilog事務(wù)的測試平臺詳細(xì)介紹 2次下載
- 版圖驗證方法說明 0次下載
- 基于SystemVerilog的I2C總線模塊驗證 27次下載
- 基于SystemVerilog語言的驗證方法學(xué)介紹 53次下載
- OVM實現(xiàn)了可重用的驗證平臺
- 基于事件結(jié)構(gòu)的SystemVerilog指稱語義
- SystemVerilog的驗證方法手冊
- SystemVerilog的斷言手冊
- SystemVerilog Assertion Handbo
- SystemVerilog 3.1a語言參考手冊
- 機(jī)器學(xué)習(xí)中的交叉驗證方法 3.6k次閱讀
- 分享一些SystemVerilog的coding guideline 1.4k次閱讀
- SystemVerilog在硬件設(shè)計部分有哪些優(yōu)勢 2.2k次閱讀
- SystemVerilog的隨機(jī)約束方法 3.5k次閱讀
- 如何實現(xiàn)全面的SystemVerilog語法覆蓋 1.2k次閱讀
- SystemVerilog中的Semaphores 4.3k次閱讀
- SystemVerilog語言中的Upcasting和Downcasting概念解析 2.2k次閱讀
- SystemVerilog中的Shallow Copy 1.4k次閱讀
- 怎樣去使用SystemVerilog中的Static方法呢 1.8k次閱讀
- SystemVerilog中的struct 3.2k次閱讀
- SystemVerilog中的package 1.8k次閱讀
- SystemVerilog中的操作方法 4.3k次閱讀
- SystemVerilog中$cast的應(yīng)用 3.9k次閱讀
- Systemverilog event的示例 2.2k次閱讀
- 基于VMM驗證方法學(xué)的MCU驗證環(huán)境 3.8k次閱讀
下載排行
本周
- 1MDD品牌三極管BC807數(shù)據(jù)手冊
- 3.00 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管BC817數(shù)據(jù)手冊
- 2.51 MB | 次下載 | 免費(fèi)
- 3MDD品牌三極管D882數(shù)據(jù)手冊
- 3.49 MB | 次下載 | 免費(fèi)
- 4MDD品牌三極管MMBT2222A數(shù)據(jù)手冊
- 3.26 MB | 次下載 | 免費(fèi)
- 5MDD品牌三極管MMBTA56數(shù)據(jù)手冊
- 3.09 MB | 次下載 | 免費(fèi)
- 6MDD品牌三極管MMBTA92數(shù)據(jù)手冊
- 2.32 MB | 次下載 | 免費(fèi)
- 7STM32G474 HRTIME PWM 丟波問題分析與解決
- 1.00 MB | 次下載 | 3 積分
- 8新能源電動汽車高壓線束的銅鋁連接解決方案
- 2.71 MB | 次下載 | 2 積分
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 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 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App





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