资料介绍
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次下载 | 免费
评论
查看更多