电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
本文针对目前芯片验证中出现的瓶颈问题，阐述了当前流行的验证技术和部分硬
件验证语言。文中介绍了SystemC 和E 语言，以及多种功能验证技术。最后通过对Rana
接口芯片的功能验证探讨了各种验证技术在芯片设计流程中的场合和时机。
系统复杂性继续按照摩尔定律增加，而功能复杂性的增长速度则更加迅猛。为解决这一
问题，EDA 行业提出了通过自动化来实现“设计抽象”(Design Abstraction)的概念。设计生产率的提升速度将继续低于复杂性的增速，此时与之相关的瓶颈已并非设计时间，而是验证时间，即验证瓶颈。
为了应对验证瓶颈，可以提高设计师的生产率和验证生产率。EDA 行业采用了一种与
解决设计瓶颈问题相似的“抽象”概念。这提供了对数据的进一步控制，以便在所有的功能上实现设计的全面执行。然而，这些构件过去是不可综合的，因此未被设计师用作实际设计代码的一部分。[1]
随着复杂性的继续提高，人们创建并引入了能够在不同的抽象级上对复杂设计进行验证
的新型验证语言。EDA 界推出并给予支持的最新语言是SystemC 和e 语言，它们能够解决一些由目前所采用的技术和工艺造成的系统复杂性问题。伴随着这些新型语言的问世又出现了对其提供支持的技术和工具，比如功能验证，等效检查等等。
件验证语言。文中介绍了SystemC 和E 语言，以及多种功能验证技术。最后通过对Rana
接口芯片的功能验证探讨了各种验证技术在芯片设计流程中的场合和时机。
系统复杂性继续按照摩尔定律增加，而功能复杂性的增长速度则更加迅猛。为解决这一
问题，EDA 行业提出了通过自动化来实现“设计抽象”(Design Abstraction)的概念。设计生产率的提升速度将继续低于复杂性的增速，此时与之相关的瓶颈已并非设计时间，而是验证时间，即验证瓶颈。
为了应对验证瓶颈，可以提高设计师的生产率和验证生产率。EDA 行业采用了一种与
解决设计瓶颈问题相似的“抽象”概念。这提供了对数据的进一步控制，以便在所有的功能上实现设计的全面执行。然而，这些构件过去是不可综合的，因此未被设计师用作实际设计代码的一部分。[1]
随着复杂性的继续提高，人们创建并引入了能够在不同的抽象级上对复杂设计进行验证
的新型验证语言。EDA 界推出并给予支持的最新语言是SystemC 和e 语言，它们能够解决一些由目前所采用的技术和工艺造成的系统复杂性问题。伴随着这些新型语言的问世又出现了对其提供支持的技术和工具，比如功能验证，等效检查等等。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 利用Systemverilog+UVM搭建soc验证环境 5次下载
- SoC设计中的验证技术有哪些 12次下载
- 零成本快速完成 SoC 概念验证 5次下载
- SoC多语言协同验证平台技术研究 12次下载
- 基于ARM9的AFDX-ES SoC验证平台的构建与实现 56次下载
- SoC Seminar 2009 0次下载
- 使用Mentor产品进行SoC设计和验证 0次下载
- 一种基于事务的SoC功能验证方法 8次下载
- 基于SOC的USB主设备的软硬件协同验证 15次下载
- SoC验证环境搭建方法的研究 22次下载
- 在SoC设计中采用ESL设计和验证方法 33次下载
- 结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用 15次下载
- SoC芯片验证技术的研究 24次下载
- 一种数模混合SoC 设计协同仿真的验证方法 19次下载
- 一种数模混合SoC 设计协同仿真的验证方法 5次下载
- Testcase在芯片验证中的作用 549次阅读
- fpga验证及其在soc验证中的作用有哪些 597次阅读
- 移动SoC的时钟验证 434次阅读
- 再见瓶颈 – 自动SoC性能验证就在这里 432次阅读
- 基于指令级模拟器加逻辑仿真器实现协同验证环境的搭建 2287次阅读
- 采用Altera Stratix II EP2S60器件实现SoC系统的FPGA实时验证 2140次阅读
- 基于VMM构建的验证平台在AXI总线协议SoC中的应用研究 1152次阅读
- 基于DPI-C接口的UVM验证平台设计与实现介绍 6134次阅读
- SOC中单片机嵌入式应用的技术特点 3319次阅读
- 自动驾驶测试验证技术有哪些 5657次阅读
- SoC设计的可扩展验证解决方案 746次阅读
- 基于片上系统的SOC设计验证方案 1370次阅读
- 基于FPGA的Soc原型设计 2446次阅读
- 一文读懂SIP与SOC封装技术 2.1w次阅读
- 基于OVM验证平台的IP芯片验证 2632次阅读
上传资料赚积分下载排行
本周
- 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次下载 | 免费
工商网监
评论