电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
本文针对目前芯片验证中出现的瓶颈问题，阐述了当前流行的验证技术和部分硬
件验证语言。文中介绍了SystemC 和E 语言，以及多种功能验证技术。最后通过对Rana
接口芯片的功能验证探讨了各种验证技术在芯片设计流程中的场合和时机。
系统复杂性继续按照摩尔定律增加，而功能复杂性的增长速度则更加迅猛。为解决这一
问题，EDA 行业提出了通过自动化来实现“设计抽象”(Design Abstraction)的概念。设计生产率的提升速度将继续低于复杂性的增速，此时与之相关的瓶颈已并非设计时间，而是验证时间，即验证瓶颈。
为了应对验证瓶颈，可以提高设计师的生产率和验证生产率。EDA 行业采用了一种与
解决设计瓶颈问题相似的“抽象”概念。这提供了对数据的进一步控制，以便在所有的功能上实现设计的全面执行。然而，这些构件过去是不可综合的，因此未被设计师用作实际设计代码的一部分。[1]
随着复杂性的继续提高，人们创建并引入了能够在不同的抽象级上对复杂设计进行验证
的新型验证语言。EDA 界推出并给予支持的最新语言是SystemC 和e 语言，它们能够解决一些由目前所采用的技术和工艺造成的系统复杂性问题。伴随着这些新型语言的问世又出现了对其提供支持的技术和工具，比如功能验证，等效检查等等。
件验证语言。文中介绍了SystemC 和E 语言，以及多种功能验证技术。最后通过对Rana
接口芯片的功能验证探讨了各种验证技术在芯片设计流程中的场合和时机。
系统复杂性继续按照摩尔定律增加，而功能复杂性的增长速度则更加迅猛。为解决这一
问题，EDA 行业提出了通过自动化来实现“设计抽象”(Design Abstraction)的概念。设计生产率的提升速度将继续低于复杂性的增速，此时与之相关的瓶颈已并非设计时间，而是验证时间，即验证瓶颈。
为了应对验证瓶颈，可以提高设计师的生产率和验证生产率。EDA 行业采用了一种与
解决设计瓶颈问题相似的“抽象”概念。这提供了对数据的进一步控制，以便在所有的功能上实现设计的全面执行。然而，这些构件过去是不可综合的，因此未被设计师用作实际设计代码的一部分。[1]
随着复杂性的继续提高，人们创建并引入了能够在不同的抽象级上对复杂设计进行验证
的新型验证语言。EDA 界推出并给予支持的最新语言是SystemC 和e 语言，它们能够解决一些由目前所采用的技术和工艺造成的系统复杂性问题。伴随着这些新型语言的问世又出现了对其提供支持的技术和工具，比如功能验证，等效检查等等。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- ECO技术在SoC芯片设计中的应用 8次下载
- SoC设计中的验证技术有哪些 12次下载
- IP技术在SOC中的地位及应用 8次下载
- 基于可重用激励发生机制的虚拟SoC验证平台 0次下载
- 滤波技术在蓄电池SOC估计中的应用 11次下载
- SoC多语言协同验证平台技术研究 12次下载
- 基于ARM9的AFDX-ES SoC验证平台的构建与实现
- SoC Seminar 2009 0次下载
- 一种基于事务的SoC功能验证方法
- 人脸识别技术在远程身份验证中的应用
- 基于SOC的USB主设备的软硬件协同验证
- SoC验证环境搭建方法的研究
- 在SoC设计中采用ESL设计和验证方法
- 结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用
- SoC芯片验证技术的研究
- SoC布局中各种IC简介 188次阅读
- 什么是efuse？efuse在soc中的有何作用？ 2268次阅读
- Testcase在芯片验证中的作用 1021次阅读
- fpga验证及其在soc验证中的作用有哪些 902次阅读
- 移动SoC的时钟验证 631次阅读
- 背后的数学原理在应用中得到验证 413次阅读
- FPGA原型验证系统中复制功能模块的作用 587次阅读
- 采用Altera Stratix II EP2S60器件实现SoC系统的FPGA实时验证 2340次阅读
- SABER仿真技术在汽车系统技术的验证和开发中的应用研究 1442次阅读
- 基于VMM构建的验证平台在AXI总线协议SoC中的应用研究 1356次阅读
- SOC中单片机嵌入式应用的技术特点 3505次阅读
- SoC设计的可扩展验证解决方案 846次阅读
- 基于片上系统的SOC设计验证方案 1464次阅读
- 基于FPGA的Soc原型设计 2614次阅读
- 基于OVM验证平台的IP芯片验证 2775次阅读
上传资料赚积分下载排行
本周
- 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次下载 | 免费
工商网监
评论