Cadence设计系统公司（NASDAQ: CDNS）发布了新版 Incisive® 功能验证平台，再一次为整体验证性能和生产率设定新标准。同时应对知识产权（IP）模块级到芯片级及片上系统（SoC）验证的挑战，Incisive13.2 平台通过两个新的引擎及附加的自动化功能,把仿真性能提升了一个数量级来加速SoC验证的收敛。

  对于 IP 模块级到芯片级的验证，具有以下提升：

 ·         Incisive Formal Verifier和 Incisive Enterprise Verifier中的新的Trident引擎对形式分析的性能提升最高达20倍

 ·         Incisive Enterprise Simulator中新的约束引擎提高 UVM 和 SystemVerilog testbench 仿真速度及在Palladium® 平台的仿真加速速度最高达10倍

 ·         Incisive Debug Analyzer中的对 SystemVerilog 新的支持功能结合独有的 UVM 调试功能和 Incisive 企业仿真器(IES)中 SimVision 调试环境下对探测功能的优化可以降低数据库大小达 10 倍

 ·         新的 IEEE 1647 e 无需仿真的单元测试，可减少测试平台代码调试时间达30%

 对于 SoC 验证，具有以下提升： 

·         Incisive Enterprise Simulator和Incisive Enterprise Verifier中对X-propagation的全面支持可提高 SoC 复位，低功耗仿真速度达 5 倍

 ·         Incisive 数字混合信号中针对 SystemVerilog IEEE 1800-2012 实数建模支持的新功能选项可提高混合信号仿真速度超过 100 倍。

 “我们必须用有限的资源面对不断增长的验证挑战。”安霸公司（Ambarella, Inc.）工程部门副总裁 Chan Lee 指出：“2013 年，我们通过采用X-propagation，帮助我们显著的加快针对复位的仿真性能。Incisive 验证平台提供的附加自动化功能有助于提高我们的验证生产率。”