Cadence推出Incisive Enterprise Verifier

2009-10-15 17:43:08来源: EEWORLD

  Cadence设计系统公司日前在CDNLive! Silicon Valley上推出了Cadence Incisive Enterprise Verifier (IEV)。它是一个整合式验证解决方案,可通过形式分析和仿真引擎的双重作用,带来独特和全新的功能。 IEV可帮助设计和验证工程师发现深藏的边角情形(corner-case)bug,能测试到单独使用形式或仿真引擎漏掉的隐蔽的覆盖点。 IEV通过更快建立设计和更快发现bug,可提高生产效率;通过产生更多指标提高可预测性,可促进验证闭合;并通过找出设计中的更多bug,可改善品质。

  IEV内整合了仿真与形式功能,使工程师们能以新的方式利用断言。 形式分析中使用的相同断言可自动地由仿真引擎使用,以便为设计生成新的激励。 此外,IEV能在形式和仿真引擎间自动来回切换,既能利用仿真的快速设计探索,又能利用形式分析的验证彻底性。 设计和验证工程师从断言中获得了更高的收益,采用也变得更容易,因为IEV能在一个熟悉的仿真环境中提供强大的形式分析。 (点此观看IEV产品公告视频。)

  “基于多语言方法,我们在标准验证流程中既使用形式分析也使用testbench仿真,”意法半导体MMS微控制器部门验证经理Mirella Negro Marcigaglia表示。 “Incisive Enterprise Verifier将这些技术综合,加速了我们在以前开发过程非常靠后的阶段才执行的那些任务,从而缩短了我们的项目验证时间。”

   IEV可以在项目早期获得testbench之前检测到更多的bug和执行更多的覆盖指标。 IEV将仿真与形式紧密整合,提供的功能远超市场上现有的那些“混合”产品。 其特有的特性有:更容易的安装、针对大多数用户的自动操作、针对专家级用户的精细控制、断言调试功能等。 IEV还具有对验证规划的支持、服务器群(server farm)上的回归操作、多核性能改进、对回归运行上收集的指标的合并等。 IEV与Incisive Enterprise Manager无缝连接,可在各大型项目间达到指标驱动的验证。

  “在今天的设计上进行彻底、高效的验证的难度,正随着设计本身的尺寸和复杂度的增长而同步增大,”Cadence企业验证产品营销总监Tom Anderson表示。 “对于任何希望推动他们验证项目的企业,Incisive Enterprise Verifier都应该能够引起他们的兴趣。 这一全新产品扩大了基于断言验证的范围,能找出更多bug,推动设计更快地朝验证闭合前进。”

关键字:Cadence  IEV  验证  Incisive  Enterprise  Verif

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

小广播

独家专题更多

富士通铁电随机存储器FRAM主题展馆
富士通铁电随机存储器FRAM主题展馆
馆内包含了 纵览FRAM、独立FRAM存储器专区、FRAM内置LSI专区三大部分内容。 
走,跟Molex一起去看《中国电子消费品趋势》!
走,跟Molex一起去看《中国电子消费品趋势》!
 
带你走进LED王国——Microchip LED应用专题
带你走进LED王国——Microchip LED应用专题
 
电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2016 EEWORLD.com.cn, Inc. All rights reserved