益華(Cadence)推出新款JasperGold形式驗證平台。此新型形式驗證解決方案將Cadence Incisive形式與JasperGold技術整合為單一平台，與以往解決方案相比，效能可增加至十五倍。此外，整合至該公司系統開發套裝後，JasperGold技術可縮短驗證時程達3個月。
Cadence形式自動驗證暨系統與驗證部門副總Oz Levia表示，在設計複雜度不斷提升的時代，有效提供客戶高品質系統單晶片(SoC)設計是持續面臨的挑戰。該公司將形式驗證技術的精華整合至單一JasperGold平台，並連結模擬、仿真、除錯與驗證管理，建立綜合性解決方案因應此項挑戰。
透過將綜合特徵統整為單一解決方案，新平台改善設計品質與效率，特色是Incisive Formal Verifier與Incisive Enterprise Verifier中的設計匯整與形式引擎科技，包括Trident多重合作引擎，現有Incisive用戶可進行資料轉移，且找錯與證明收斂模式效能提升十五倍。
新平台已整合至該公司系統開發套裝中Incisive模擬與Palladium仿真平台上，並具備可完成綜合性指標導向驗證的vManager工具，透過形式輔助驗證收斂，上述功能可縮短時程至三個月。
經實證的JasperGold Visualize及QuietTrace技術與Indago除錯平台整合，提供更廣泛的分析與動態產生假設調查，可將根本原因除錯時間縮短五～一百倍。
Cadence網址：www.cadence.com
