推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

各种验证技术在芯片设计流程中的应用

更新时间:2019-10-27 22:03:21 大小:264K 上传用户:xuzhen1查看TA发布的资源 标签:验证技术芯片设计 下载积分:1分 评价赚积分 (如何评价?) 打赏 收藏 评论(0) 举报

资料介绍

本文阐述了当今流行的验证技术(形式验证、随机、定向、约束随机、断言、属性检查)和语言SystemC、CIC++、SystemVerilog、Open-VERA、E等等),还探讨了各种验证技术在数字 ASIC传统设计流程中的场合(应采用何种技术和语言)和时机(设计者何时需要运用某项特定的技术或语言).

功能验证在设计周期中占了最大的一部分,这是一个人所共知的事实。然而,面对如此众多用于缓解该问题的现有技术,我们真正应该采用的是哪一项(或哪几项)?得到的答案通常并不简单明了,而且往往令人感觉含混不清和成本昂贵!

由象级越高,设计就越容易:同理,抽象级越高,就越容易犯较大的错误。如果产生架构缺陷,就有T能损害整个芯片,这与发生在逻辑门连接表级上的导线误连接是截然不同的(后者可通过重新连线的方法得到修复).

以Verilog 为例,它为设计者提供了一个较为简易的接口,以便在一个相当抽象的等级上进行设计。

然而,如果设计者并不知晓在多个设计周期中获得的语言的细微差别,那么就非常容易犯错。许多论文重阐述了Verilog 误用的不良后果。当设计曾经是瓶颈时,Verilog 独立地使设计生产率取得了指数性的提高(如采用原理图捕获),并首先推进了复杂芯片的开发!在众多的验证技术和语言、检验成为瓶颈的今天,相同的争议仍然存在。


部分文件列表

文件名 大小
1572184919各种验证技术在芯片设计流程中的应用.pdf 264K

部分页面预览

(完整内容请下载后查看)
各种验证技术在芯片设计流程中的应用  
慧聪网 2005 1 25 18 33 分 信息来源:电子工程专辑 赛普拉斯半导体公司  
本文阐述了当今流行的验证技术  
( 形式验证、随机、定向、约束随机、断言、属性检查  
) 和语言  
(SystemC C/C++ SystemVerilog  
Open-VERA E 等等 ) ,还探讨了各种验证技术在数字  
ASIC 传  
) 。  
统设计流程中的场合 ( 应采用何种技术和语言 ) 和时机 ( 设计者何时需要运用某项特定的技术或语言  
功能验证在设计周期中占了最大的一部分,这是一个人所共知的事实。然而,面对如此众多用于缓解  
该问题的现有技术,我们真正应该采用的是哪一项  
令人感觉含混不清和成本昂贵!  
( 或哪几项 ) ?得到的答案通常并不简单明了,而且往往  
抽象级越高,设计就越容易;同理,抽象级越高,就越容易犯较大的错误。如果产生架构缺陷,就有  
可能损害整个芯片, 这与发生在逻辑门连接表级上的导线误连接是截然不同的  
( 后者可通过重新连线的方法  
得到修复 ) 。  
Verilog 为例为设计者提供了一个较为简易的接口, 以便在一个相当抽象的等级上进行设计。  
然而,如果设计者并不知晓在多个设计周期中获得的语言的细微差别,那么就非常容易犯错。许多论文重  
点阐述了 Verilog 误用的不良后果。当设计曾经是瓶颈时,  
Verilog 独立地使设计生产率取得了指数性  
的提高 ( 如采用原理图捕获 ) ,并首先推进了复杂芯片的开发!在众多的验证技术和语言、检验成为瓶颈的  
今天,相同的争议仍然存在。  
验证瓶颈  
EDA 行业通过引入工具来帮助提升设计生产率,进而达到缩短产品时间的目的,并最终实现设计时间  
的缩减。设计时间与硅片复杂性之间存在某种函数关系。硅片复杂性指的是工艺精细度调整以及新型材料  
或新型架构的引入对器件互连的影响。 在硅片结构中拥有复杂性的能力将导致系统复杂性的形成  
尺寸的缩小以及消费者对增加功能的需求而在相同的面积之内压缩进更多晶体管的能力 ) 。  
( 由于特征  
随着设计方案构筑过程中所集成的晶体管数量的指数性增加,  
计算时间或工程师数量的线性增加已不  
( 一个系统所具有的不同状态的数  
足以缩短设计时间。系统复杂性继续按照摩尔定律增加,而功能复杂性  
) 的增长速度则更加迅猛。为解决这一问题,  
EDA 行业提出了通过自动化来实现 计抽象 (Design  
Abstraction)  
的概念。从能够在多个电路层上捕获设计的原理图捕获工具到基于语言的解决方案等均已  
面市。  
这种追随形势需要的设计手法仍然是适当的。  
EDA 界即将推出并给予支持的最新语言是  
SystemC 和  
SystemVerilog ,它们能够解决一些由目前所采用的技术和工艺造成的系统复杂性问题。我们可以说,  
就目前的技术工艺而言,设计复杂性已经得到了很好的理解,而且,设计瓶颈也因为采用  
的生产率提高而在一定程度上得到了克服。  
EDA 工具所实现  

全部评论(0)

暂无评论

上传资源 上传优质资源有赏金

  • 打赏
  • 30日榜单

推荐下载