Cadence推出Incisive Enterprise Verifier整合式验证解决方案

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

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

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