资料介绍
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.
- Wiley.Linux.Bible.2010.Edition电子教材分享 0次下载
- STM32日更 2nd 0次下载
- C in a Nutshell, 2nd Edition 19次下载
- Model Based Design with VisSim EMBEDDED 3次下载
- EMI Filter Design_the 2nd edition 50次下载
- (Oppenheim)Signals and Systems Solutions(2nd edition)习题答案 0次下载
- 3G缩略语对照表 298次下载
- AD公司仪表放大器应用(2nd版) 0次下载
- Computer Graphics(2nd Edition) 0次下载
- PLL Performance, Simulation, and Design 3rd Edition 0次下载
- Creating Assertion-Based IP 0次下载
- SoC的应用规范和设计语言 0次下载
- SystemVerilog Assertion Handbo 188次下载
- See MIPS Run Linux(2nd edition 0次下载
- WCDMA常见缩略语3 34次下载
- mm32-2nd-bootloader技术进阶设计:实现Ymodem更新代码 739次阅读
- Formal Verification的基础知识 1241次阅读
- 微控制器外置QSPI Flash选型的注意事项 1284次阅读
- SystemVerilog中的package 863次阅读
- 如何在Qt Design Studio中创建连接和状态 1542次阅读
- 如何应用Material Design 3和Material You 4178次阅读
- 用Elaborated Design优化RTL的代码 4399次阅读
- 图形界面介绍:GUI上的按键是Design Browser 3089次阅读
- 米尔科技 DS-5 RVDS DSTREAM RVI支持的主机操作系统介绍 1829次阅读
- 信步科技SV1-H6116主板规格英文版 2599次阅读
- 信步科技SV1-H611A-B主板规格英文版 9743次阅读
- 信步科技SV1-H612A主板规格英文版 6159次阅读
- Vivado Design Suite 2017.1的五大方法介绍 4243次阅读
- MIPS-based SoC主导ADAS系统 1047次阅读
- 基于扫描的电路设计 2122次阅读
下载排行
本周
- 1东芝BiCD集成电路硅单片TB67S109AFNAG数据手册
- 1.93 MB | 5次下载 | 免费
- 2SP3060A/30120A/30160A/30320A/30520A系列数字合成扫频仪使用说明书
- 4.16 MB | 3次下载 | 1 积分
- 3具有双通道 DC-DC转换器、由串行接口控制的9通道电机驱动器TPIC2010数据表
- 1.15MB | 2次下载 | 免费
- 4USB Type-C PD快充协议智能触发芯片FS312B数据手册
- 0.75 MB | 1次下载 | 免费
- 5USB Type_C PD快充协议智能触发芯片FS8025B数据手册
- 1.29 MB | 1次下载 | 免费
- 6触摸按键PCB 设计要点V01
- 1.42 MB | 1次下载 | 免费
- 75V升压充电两串锂电池充电管理IC FS4058数据手册
- 2.98 MB | 次下载 | 免费
- 8真关断同步升压IC FS2009数据手册
- 2.08 MB | 次下载 | 免费
本月
- 1DCDC原理详解
- 0.98 MB | 65次下载 | 免费
- 2allegro快速入门教程
- 1.98 MB | 36次下载 | 免费
- 3FU-7(807)胆机原理图
- 11.93 MB | 25次下载 | 1 积分
- 4用于汽车应用的高压电源管理IC TPS65311-Q1数据表
- 1.05MB | 22次下载 | 免费
- 5电子元件基础知识介绍
- 8.76 MB | 15次下载 | 2 积分
- 6华为海思Ascend 310芯片的资料说明
- 0.12 MB | 10次下载 | 10 积分
- 7GD32F10x系列MCU用户手册
- 11.5MB | 9次下载 | 免费
- 86A 输出电流同步降压稳压器TPS65286数据表
- 2.05MB | 6次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935083次下载 | 免费
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420045次下载 | 免费
- 3Altium DXP2002下载入口
- 未知 | 233067次下载 | 免费
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191308次下载 | 免费
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183308次下载 | 免费
- 6labview8.5下载
- 未知 | 81567次下载 | 免费
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73785次下载 | 免费
- 8NI LabVIEW中实现3D视觉的工具和技术
- 未知 | 70088次下载 | 免费
评论
查看更多