电子发烧友App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
电子发烧友网>电子资料下载>C语言|源代码>各种验证技术在SoC设计中的应用

各种验证技术在SoC设计中的应用

2009-08-13 | rar | 113 | 次下载 | 免费

资料介绍

本文针对目前芯片验证中出现的瓶颈问题,阐述了当前流行的验证技术和部分硬
件验证语言。文中介绍了SystemC 和E 语言,以及多种功能验证技术。最后通过对Rana
接口芯片的功能验证探讨了各种验证技术在芯片设计流程中的场合和时机。
系统复杂性继续按照摩尔定律增加,而功能复杂性的增长速度则更加迅猛。为解决这一
问题,EDA 行业提出了通过自动化来实现“设计抽象”(Design Abstraction)的概念。设计生产率的提升速度将继续低于复杂性的增速,此时与之相关的瓶颈已并非设计时间,而是验证时间,即验证瓶颈。
为了应对验证瓶颈,可以提高设计师的生产率和验证生产率。EDA 行业采用了一种与
解决设计瓶颈问题相似的“抽象”概念。这提供了对数据的进一步控制,以便在所有的功能上实现设计的全面执行。然而,这些构件过去是不可综合的,因此未被设计师用作实际设计代码的一部分。[1]
随着复杂性的继续提高,人们创建并引入了能够在不同的抽象级上对复杂设计进行验证
的新型验证语言。EDA 界推出并给予支持的最新语言是SystemC 和e 语言,它们能够解决一些由目前所采用的技术和工艺造成的系统复杂性问题。伴随着这些新型语言的问世又出现了对其提供支持的技术和工具,比如功能验证,等效检查等等。
下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

下载排行

本周

  1. 1东芝BiCD集成电路硅单片TB67S109AFNAG数据手册
  2. 1.93 MB   |  5次下载  |  免费
  3. 2SP3060A/30120A/30160A/30320A/30520A系列数字合成扫频仪使用说明书
  4. 4.16 MB   |  3次下载  |  1 积分
  5. 3具有双通道 DC-DC转换器、由串行接口控制的9通道电机驱动器TPIC2010数据表
  6. 1.15MB   |  2次下载  |  免费
  7. 4USB Type-C PD快充协议智能触发芯片FS312B数据手册
  8. 0.75 MB   |  1次下载  |  免费
  9. 5USB Type_C PD快充协议智能触发芯片FS8025B数据手册
  10. 1.29 MB   |  1次下载  |  免费
  11. 6触摸按键PCB 设计要点V01
  12. 1.42 MB  |  1次下载  |  免费
  13. 75V升压充电两串锂电池充电管理IC FS4058数据手册
  14. 2.98 MB   |  次下载  |  免费
  15. 8真关断同步升压IC FS2009数据手册
  16. 2.08 MB   |  次下载  |  免费

本月

  1. 1DCDC原理详解
  2. 0.98 MB   |  65次下载  |  免费
  3. 2allegro快速入门教程
  4. 1.98 MB   |  36次下载  |  免费
  5. 3FU-7(807)胆机原理图
  6. 11.93 MB   |  25次下载  |  1 积分
  7. 4用于汽车应用的高压电源管理IC TPS65311-Q1数据表
  8. 1.05MB   |  22次下载  |  免费
  9. 5电子元件基础知识介绍
  10. 8.76 MB   |  15次下载  |  2 积分
  11. 6华为海思Ascend 310芯片的资料说明
  12. 0.12 MB   |  10次下载  |  10 积分
  13. 7GD32F10x系列MCU用户手册
  14. 11.5MB   |  9次下载  |  免费
  15. 86A 输出电流同步降压稳压器TPS65286数据表
  16. 2.05MB   |  6次下载  |  免费

总榜

  1. 1matlab软件下载入口
  2. 未知  |  935083次下载  |  免费
  3. 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
  4. 1.48MB  |  420045次下载  |  免费
  5. 3Altium DXP2002下载入口
  6. 未知  |  233067次下载  |  免费
  7. 4电路仿真软件multisim 10.0免费下载
  8. 340992  |  191308次下载  |  免费
  9. 5十天学会AVR单片机与C语言视频教程 下载
  10. 158M  |  183308次下载  |  免费
  11. 6labview8.5下载
  12. 未知  |  81567次下载  |  免费
  13. 7Keil工具MDK-Arm免费下载
  14. 0.02 MB  |  73785次下载  |  免费
  15. 8NI LabVIEW中实现3D视觉的工具和技术
  16. 未知  |  70088次下载  |  免费