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