资料介绍
Electronic designs have been growing rapidly in both device count and functionality.
This growth has been enabled by deep sub-micron fabrication technology,
and fueled by expanding consumer electronics, communications, and computing
markets. A major impact on the profitability of electronic designs is the
increasing productivity gap. That is, what can be designed is lagging behind
what the silicon is capable of delivering.
The main cause of this productivity gap is the cost of design verification.
Verification complexity grows faster than the design complexity, which in turn
grows exponentially, as Moore’s Law has successfully predicted. This leads to
the verification crisis, a phenomenon that has become ever so familiar in today’s
Electronic Design Automation (EDA) landscape.
There are several remedies, each coming from different aspects of the design
and verification process. The first is the movement to higher levels of abstraction,
especially the emerging Electronic System Level (ESL) model. The key
enablers include languages that capture system level behavior and facilitate
testbench automation for high level verification.
The second are the methodology changes, exemplified by assertion-based
verification, and testbench automation highlighted by constrained random simulation.
Both can find specialized constructs in, and are facilitated by, the ESL
modeling languages.
The third is the advance of technology at the foundation of all the changes.
Constrained random simulation, with robust constraint solving capability, is
key to any practical testbench automation tool. The same fundamental solving
techniques are also shared by formal verification tools in assertion-based
verification. The formal semantics for assertions, now entrenched in the ESL
languages, connect interface constraints used in constrained random simulation,
and properties monitored in both simulation and formal verification.
- RFID-based-indoor-tracking-method 15次下载
- A Dynamic Feedback-based Load BalancingMethodology 6次下载
- Conformal_Verification_Guide_8.1 2次下载
- AVM Based Unified Verification 17次下载
- 以PC Based Controller设计Modbus通信 18次下载
- Functional Verification Coverage Measurement and Analysis 0次下载
- Creating An Efficient Verification Environment using Synopsy 0次下载
- Assertion based Design 2nd Edition 0次下载
- Professional Verification 0次下载
- Creating Assertion-Based IP 0次下载
- Verification Methodology Manua 37次下载
- Hardware Verification With Sys 0次下载
- Advanced Verification Techniqu 0次下载
- Metric- Driven Design Verification 0次下载
- Advanced Formal Verification 0次下载
- SV约束随机化总结 190次阅读
- Formal Verification的基础知识 1241次阅读
- 基于BIO序列标注的方法和基于片段的图解析方法 2290次阅读
- AXI VIP设计示例 AXI接口传输分析 1281次阅读
- 宽禁带器件和仿真环境介绍 1316次阅读
- 在贴片加工厂中有哪些安全防护需要了解 1197次阅读
- 复合放大器实现高精度的高输出驱动能力 获得最佳的性能 1467次阅读
- 在进行PCB布线之前要对PROTEL 995E的哪些地方进行设置 811次阅读
- 用降压型稳压器或线性稳压器电源时值来会为负载供电 872次阅读
- 锂电池并联充电时保护板均衡原理 2.7w次阅读
- 什么是Transition-based基于转移的框架? 4784次阅读
- 更小更智能的电机控制器推进HEV/EV市场 1022次阅读
- 浅析人脸辨识的技术环节 2561次阅读
- Xilinx可编程逻辑器件设计与开发(基础篇)连载31:Spartan 485次阅读
- MIPS-based SoC主导ADAS系统 1047次阅读
下载排行
本周
- 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次下载 | 免费
评论
查看更多