×

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

消耗积分:5 | 格式:rar | 大小:113 | 2009-08-13

分享资料个

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

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !