Cadence推出Incisive Enterprise Verifier

　　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，推动设计更快地朝验证闭合前进。”