评论:EDA功能验证之路漫漫其修远兮

2008-10-29 09:42:14来源: 电子工程专辑

  在集成电路(IC)开发过程中,验证是非常昂贵的流程。而且也很难高效地完成验证。工业界目前广泛采用的是覆盖率

  驱动式验证(CDV),但这种方法也被认为是不完备的验证方法。

在执行验证环境时必须满足下列三个条件才能发现设计的缺陷,:


1. 缺陷必须被激活,例如包含缺陷的代码段必须被使用。

2. 缺陷必须传递到可观察的点,例如设计的输出。

3. 缺陷必须可探测,例如可检查的行为和表现为失效。


  像代码覆盖和功能覆盖这样的技术可以保证设计代码被激活。然而,它们却无法保证缺陷的传递,以及缺陷可以被检查程序和/或断言语句检测出来。

  验证环境必须运行贯穿整个设计的通路(从输入到检查程序),但这些临时的内部关系并不体现在代码覆盖率信息中。很可能代码只是被测试案例无意的副作用所覆盖。代码覆盖可以指明仿真时运行的代码,但无法告诉用户在这段代码中缺陷是否会传递到检查程序,并引起测试案例的失效。此外,代码覆盖并未表面输出行为是否被正确地检验了。

  功能覆盖是覆盖率技术中的新生代,允许验证工程师指明他们想要运行什么样的设计行为。理论上,功能覆盖确实可能检测出一些临时的中间关系,但很可能某一功能覆盖点被当作副作用忽略了,导致无法执行相关功能的结果。在伪随机输入序列时,这种情况更有可能发生。设计中大量的可能路径、功能覆盖代码中可能的代码错误,以及其主观性,意味着进行完全的测试是不现实的。与代码覆盖类似,功能覆盖也无法表明行为检查是否充分。也无法知道实际上哪条从输出到检查程序的路径已经被验证了。


  功能鉴定是基于功能级的失误仿真,是完全不同的方法,可以测量功能验证的完备程度。通过在设计中插入人工缺陷,功能鉴定测量了验证环境运行设计功能和将人工缺陷传递到检查程序,并引起失效的能力。无法探测的人工缺陷意味着存在验证盲区。如果人工缺陷无法被发现,那么就证明了该验证无法将实际的设计缺陷都找出来。功能鉴定是第一个可以直接测量验证环境、发现缺陷能力的技术。功能鉴定直接覆盖了现有的验证环境,并不是验证的分支,就像检查程序不是综合的分支一样。

  验证就是对设计代码功能质量的测量。由于我们要依赖验证代码来告诉我们设计代码的质量,因此从基于仿真的验证伊始就存在这个问题,即无法测量验证代码质量。专业的验证工程师是质量控制的专家,对他们来说功能鉴定不啻是一场革命。这样他们就有了客观的反馈来改进验证流程,并且他们还可以控制验证代码的质量。


  设计人员具有多种方法客观量度他们的工作,例如设计的面积、延时和功耗。而验证领域则缺乏客观、全面的方法进行衡量,因此还保持着“艺术”的特征。功能鉴定给验证工程师同样的客观量度方法,这样他们可以跟设计工程师一样进行判断了。验证工程师现在可以从艺术领域进入到科学领域,可以客观地演示他们的才能并改进验证。

  电子设计自动化(EDA)研究人员对覆盖技术总是感到困惑。为了演示新技术的有效性,他们需要进行测量。由于覆盖方法已经被测量过了,验证技术的主要创新已经转移到如何自动生成覆盖设计的输入序列。但这并不是工业界真正需要的。EDA需要将潜在设计缺陷的探测进行自动化,保证缺陷可以传递,并且设计缺陷可以被检查出来。


  EDA行业的典型循环是:在每一个制造节点,都有新的挑战出现;解决这些问题并且EDA研究就像前进去寻找未来节点的挑战。对衡量验证质量来说,覆盖并不是个好方法,但这个行业会继续向前发展,并假设这个问题已经解决了。大量的资源和努力都用于将EDA用户推向CDV方法。然而,还有一只大象在屋里——覆盖并无法充分测量!


  功能鉴定可以提供对设计验证客观、完备的度量。这样各种选择和策略都会被间接测量,因此验证团队和工程师都要变得小心翼翼。

  对具有专业性的验证人员来说,这是一个喜讯:他们可以客观地展示他们有多么优秀。我们可以预见,由于具有客观的度量方法,更多的工程师会被吸引到验证领域。我们还可以预见到未来会有更多结构创新的EDA验证产品出现,它们可以将潜在缺陷的传递和检验自动化。这一行业需要认识到,对目前的功能鉴定来说,过去的覆盖方法并不充分。功能鉴定需要对衡量验证方法进行根本上的重新思考,并且意味着深刻的变革。


 

 

关键字:EDA功能验证

编辑:梁朝斌 引用地址:http://www.eeworld.com.cn/news/eda/200810/article_22715.html
本网站转载的所有的文章、图片、音频视频文件等资料的版权归版权所有人所有,本站采用的非本站原创文章及图片等内容无法一一联系确认版权者。如果本网所选内容的文章作者及编辑认为其作品不宜公开自由传播,或不应无偿使用,请及时通过电子邮件或电话通知我们,以迅速采取适当措施,避免给双方造成不必要的经济损失。
论坛活动 E手掌握
微信扫一扫加关注
论坛活动 E手掌握
芯片资讯 锐利解读
微信扫一扫加关注
芯片资讯 锐利解读
推荐阅读
全部
EDA功能验证

小广播

独家专题更多

富士通铁电随机存储器FRAM主题展馆
富士通铁电随机存储器FRAM主题展馆
馆内包含了 纵览FRAM、独立FRAM存储器专区、FRAM内置LSI专区三大部分内容。 
走,跟Molex一起去看《中国电子消费品趋势》!
走,跟Molex一起去看《中国电子消费品趋势》!
 
带你走进LED王国——Microchip LED应用专题
带你走进LED王国——Microchip LED应用专题
 

About Us 关于我们 客户服务 联系方式 器件索引 网站地图 最新更新 手机版

站点相关: 数字电视 安防电子 医疗电子 物联网

北京市海淀区知春路23号集成电路设计园量子银座1305 电话:(010)82350740 邮编:100191

电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2016 EEWORLD.com.cn, Inc. All rights reserved