全球電子設計創新領先企業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 驗證平臺提供的附加自動化功能有助于提高我們的驗證生產率。”

　　“驗證工程師面臨時間和強大驗證性能需求方面的壓力。Incisive 13.2 不但解決了這些問題，同時還超越了每秒原始時鐘所賦予的內涵，囊括從Formal Apps、調試到度量指標的分析來加速驗證過程的收斂。自動化與集成的結合為我們的客戶提供真正的收益，從而減輕 SoC 驗證的壓力。” Cadence高級驗證解決方案研發副總裁 Andy Eliopoulos 說。