德赢Vwin官网
App
发帖 
提问 
发资料
发视频资料介绍
The verification task of today’s multi-million gates
designs has become the primary bottleneck in the design
flow. Industry estimates are that functional verification
takes approximately 70% of the total effort on a project.
Rising gate count combine with greater design complexity
has lead to much longer verification times. Time-to-market
schedules are much harder to meet while project costs
increase. According to a survey conducted by Collett
International Research Inc. in 2002 [9], 60% of all tapeouts,
that requires silicon re-spin, contained logic or functional
flaws. Among those faulty integrated circuits, 82% had
design errors. Incorrect or incomplete specifications,
corner cases simply not covered during verification or
changes in design specifications are a few causes of these
flaws.
New verification techniques and methodologies are
required to cut verification time and improve the quality of
verification. Hopefully, hardware verification languages
(HVL) come to the rescue, raising the testbench at a higher
abstraction level. With specific verification syntax and
faster simulation speed, HVLs improve performance and
quality compared to RTL testbenches, thus reducing the
time spent in verification.
In this work we focus our efforts toward the
verification of digital signal processing (DSP) applications.
Most signal processing designs begin with algorithmic
modeling in the MATLAB and Simulink environment.
Therefore, we believe that hardware verification could be
significantly improved and accelerated by reusing these
high level golden references models.
designs has become the primary bottleneck in the design
flow. Industry estimates are that functional verification
takes approximately 70% of the total effort on a project.
Rising gate count combine with greater design complexity
has lead to much longer verification times. Time-to-market
schedules are much harder to meet while project costs
increase. According to a survey conducted by Collett
International Research Inc. in 2002 [9], 60% of all tapeouts,
that requires silicon re-spin, contained logic or functional
flaws. Among those faulty integrated circuits, 82% had
design errors. Incorrect or incomplete specifications,
corner cases simply not covered during verification or
changes in design specifications are a few causes of these
flaws.
New verification techniques and methodologies are
required to cut verification time and improve the quality of
verification. Hopefully, hardware verification languages
(HVL) come to the rescue, raising the testbench at a higher
abstraction level. With specific verification syntax and
faster simulation speed, HVLs improve performance and
quality compared to RTL testbenches, thus reducing the
time spent in verification.
In this work we focus our efforts toward the
verification of digital signal processing (DSP) applications.
Most signal processing designs begin with algorithmic
modeling in the MATLAB and Simulink environment.
Therefore, we believe that hardware verification could be
significantly improved and accelerated by reusing these
high level golden references models.
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于MATLAB/Simulink的电力电子系统仿真技术 20次下载
- 基于Matlab/Simulink的纯电动汽车整车控制系统开发方法 5次下载
- 基于Matlab simulink的蓄电池双向DCDC控制模型
- 基于Matlab/Simulink的车辆起步过程的仿真 43次下载
- 基于MATLAB_Simulink的光伏电池建模与仿真 103次下载
- Matlab_Simulink仿真步骤讲解 63次下载
- 使用MATLAB和Simulink的建模与仿真详细课件免费下载 137次下载
- 如何才能使用MATLAB和Simulink进行PSK传输系统的仿真 15次下载
- 如何使用Matlab和Simulink进行调制解调的分析 13次下载
- Matlab-Simulink教程集合(文档) 0次下载
- Matlab Simulink与控制系统仿真 82次下载
- simulink__matlab教程
- 基于MATLAB和Simulink的数字滤波器设计与仿真
- 通信电子电路Matlab/Simulink仿真
- 电路实验与Matlab/Simulink仿真
- MATLAB R2024a新增特性：支持OTFS调制方案 753次阅读
- 电路仿真软件simulink的工作原理 1108次阅读
- 电路仿真软件simulink使用方法 1623次阅读
- 如何使用MATLAB和MATLAB Parallel Server扩展整车仿真呢？ 1037次阅读
- 讲解MATLAB/Simulink HDL使用入门 1040次阅读
- C集成的MATLAB/Simulink类型仿真学习总结 972次阅读
- Matlab航迹规划仿真—A*算法 1252次阅读
- MATLAB/simulink中两种实现建模方式的优势 4747次阅读
- 在MATLAB/simulink中建模时的两种不同实现方式 1718次阅读
- MATLAB实现汉明码编码译码 1.2w次阅读
- MathWorks主张使用Matlab和Simulink开发工具进行基于模型的设计 9730次阅读
- SIMULINK示波器参数设置_matlab中对示波器进行设置 11.1w次阅读
- System generator如何与MATLAB进行匹配？ 7526次阅读
- 基于Matlab/Simulink的二阶控制系统仿真研究 4.1w次阅读
- 专家支招：使用MATLAB和Simulink算法创建FPGA原型 1.6w次阅读
上传资料赚积分下载排行
本周
- 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次下载 | 免费
工商网监
评论