资料介绍
Ensuring functional correctness on RTL designs continues to pose
one of the greatest challenges for today's ASIC and SoC design
teams. Rooted in that challenge is the goal to shorten the
verification cycle. This requires new design and verification
techniques.
In this book, we address the functional correctness challenge
within a contemporary verification flow that relies on an
assertion-based methodology and property checking techniques.
The methodology we propose enables designers to meet today's
aggressive time-to-market goals, while providing higher
confidence in functional correctness. It benefits dynamic
verification (that is, simulation), while providing a seamless path
to static (formal) verification.
This chapter provides a general introduction to property checking
and assertion techniques. We present the benefits associated with
assertion-based design and address the many fallacies associated
with their use. Finally, we discuss the importance of a
specification-driven methodology related to design and
implementation.
- 电路分析基础(第二版)(马颖)习题答案 0次下载
- 电子元器件与电路基础(第二版)ppt 0次下载
- lex与yacc第二版电子版资源下载 0次下载
- 图像处理分析与机器视觉(第二版) 0次下载
- 自动控制原理习题详解第二版下载 0次下载
- 现代实用气动技术(第二版)免费下载pdf 0次下载
- 光学教程第二版习题答案(一至七章) 0次下载
- 自动控制原理(第二版)答案作者程鹏 0次下载
- 超声检测+(第二版)_郑晖 0次下载
- 光纤通信_第二版_刘增基_参考答案 0次下载
- 大学物理解题指导与练习(第二版) 0次下载
- 汇编语言第二版 0次下载
- Verilog数字系统设计教程(第二版) 夏宇闻 0次下载
- 《电机内的电磁场》(第二版) 0次下载
- 信号与系统 郑君里 (第二版)习题答案 0次下载
- C语言assert(断言)简介 563次阅读
- 金丝键合第二焊点补球工艺的可靠性分析 642次阅读
- FPGA VR摄像机第二版本介绍 476次阅读
- assert与const的使用技巧 393次阅读
- 73M1866B/73M1966B PCM连接 405次阅读
- HAL和标准库的Assert断言机制 483次阅读
- cargo careful:为你的代码提供更多安全保证 289次阅读
- Spring Boot 内置工具类功能 449次阅读
- 为什么项目中的代码需要有Assert断言语句Assert断言的详细资料说明 5148次阅读
- ASSERT的定义及调试技巧 4390次阅读
- Android P公测版第二版做了哪些优化? 4119次阅读
- 如何正确使用断言八个技巧 1w次阅读
- linux内核首选编码样式的文档 4153次阅读
- 复古手环:用开源硬件打造你自己的可穿戴设备 1.1w次阅读
- Polyfilld将超高频RFID技术应用于道路维护 778次阅读
下载排行
本周
- 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次下载 | 免费
评论
查看更多