資料介紹
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語言參考手冊 2次下載
- IEEE SystemVerilog標(biāo)準(zhǔn):統(tǒng)一的硬件設(shè)計規(guī)范和驗證語言 0次下載
- 利用Systemverilog+UVM搭建soc驗證環(huán)境 5次下載
- SystemVerilog的正式驗證和混合驗證 24次下載
- 16位CRC驗證碼生成VI工具下載 54次下載
- 符合驗證方法手冊VMM的基于SystemVerilog事務(wù)的測試平臺詳細(xì)介紹 2次下載
- 版圖驗證方法說明 0次下載
- 基于SystemVerilog的I2C總線模塊驗證 27次下載
- 基于SystemVerilog語言的驗證方法學(xué)介紹 52次下載
- OVM實(shí)現(xiàn)了可重用的驗證平臺
- 基于事件結(jié)構(gòu)的SystemVerilog指稱語義
- SystemVerilog的驗證方法手冊
- SystemVerilog的斷言手冊
- SystemVerilog Assertion Handbo
- SystemVerilog 3.1a語言參考手冊
- 機(jī)器學(xué)習(xí)中的交叉驗證方法 304次閱讀
- 分享一些SystemVerilog的coding guideline 558次閱讀
- SystemVerilog在硬件設(shè)計部分有哪些優(yōu)勢 925次閱讀
- SystemVerilog的隨機(jī)約束方法 1167次閱讀
- 如何實(shí)現(xiàn)全面的SystemVerilog語法覆蓋 484次閱讀
- SystemVerilog中的Semaphores 3053次閱讀
- SystemVerilog語言中的Upcasting和Downcasting概念解析 1239次閱讀
- SystemVerilog中的Shallow Copy 759次閱讀
- 怎樣去使用SystemVerilog中的Static方法呢 931次閱讀
- SystemVerilog中的struct 2213次閱讀
- SystemVerilog中的package 1085次閱讀
- SystemVerilog中的操作方法 2473次閱讀
- SystemVerilog中$cast的應(yīng)用 2559次閱讀
- Systemverilog event的示例 1382次閱讀
- 基于VMM驗證方法學(xué)的MCU驗證環(huán)境 3189次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 92次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗
- 0.11 MB | 4次下載 | 免費(fèi)
- 7藍(lán)牙設(shè)備在嵌入式領(lǐng)域的廣泛應(yīng)用
- 0.63 MB | 3次下載 | 免費(fèi)
- 89天練會電子電路識圖
- 5.91 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233045次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評論
查看更多