Cadence推出Incisive Enterprise Verifier，带来了形式分析与仿真引擎的双重动力

全球电子设计创新领先企业Cadence设计系统公司（NASDAQ: CDNS）今天在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将这些技术综合，加速了我们在以前开发过程非常靠后的阶段才执行的那些任务，从而缩短了我们的项目验证时间。”

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

我们将在周四在CDNLive! Silicon Valley大会的用户宣讲会上详细介绍Incisive Enterprise Verifier。  详情和注册信息请访问www.cdnlive.com。

产品状态

Incisive Enterprise Verifier (IEV) 马上即可购买。

相关阅读:

• ...2018/03/19 11:42·第三届CADA凯达大会AR计算产业生态高峰论坛暨汽车科技创新大会隆重举行
• ...2017/08/15 14:45·2017 Cadence全球用户大会 CDNLive登陆上海
• ...2017/07/26 17:38·Cadence推出针对较新移动和家庭娱乐应用的Tensilica HiFi 3z DSP架构
• ...2017/06/12 17:17·全新Cadence Virtuoso系统设计平台帮助实现IC、封装和电路板无缝集成的设计流程
• ...2017/06/05 14:41·Cadence扩展JasperGold平台用于高级形式化RTL签核
• ...2017/06/05 14:41·Cadence扩展JasperGold平台用于高级形式化RTL签核