Cadence推出IEV 带来形式分析与仿真引擎双重动力

　　全球电子设计创新领先企业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，推动设计更快地朝验证闭合前进。”

　　我们将在周四在CDNLive! Silicon Valley大会的用户宣讲会上详细介绍Incisive Enterprise Verifier。