益華電腦（Cadence）推出下一代Cadence JasperGold形式驗證平臺，此新型形式驗證解決方案將Cadence
Incisive形式與JasperGold技術整合為單一平臺，與以往解決方案相比，效能可增加至15倍。此外，整合至Cadence系統(tǒng)開發(fā)套裝
（Cadence System Development Suite）后，JasperGold技術可縮短驗證時程達3個月。
JasperGold形式（formal）與形式輔助技術整合至Cadence系統(tǒng)開發(fā)套裝可縮短計畫驗證時程達三個月。 益華電腦／提供
分享
透
過將綜合特征統(tǒng)整為單一解決方案，JasperGold平臺明顯改善設計品質與效率，特征包括：Incisive Formal
Verifier與Incisive Enterprise
Verifier中的設計匯整與形式引擎科技，包括創(chuàng)新Trident多重合作引擎?，F(xiàn)有Incisive用戶可輕松進行資料轉移，且找錯與證明收斂模式
效能提升15倍。
下一代JasperGold平臺已完整整合至Cadence系統(tǒng)開發(fā)套裝中Incisive模擬與Palladium
仿真平臺上，并具備可完成綜合性指 標導向驗證的vManager工具。透過形式輔助驗證收斂（verification
closure），上述功能可縮短時程至3個月。經實證的JasperGold
Visualize及QuietTrace技術與Indago除錯平臺整合，提供更廣泛的分析與動態(tài)產生假設調查，可將根本原因除錯時間縮短達5至100
倍。
Imagination Technologies執(zhí)行副總裁Mark
Dunn表示，身為長期使用Incisive形式與模擬解決方案的客戶，我們對下一代JasperGold平臺感到印象深刻，因為其強化的除錯功能以及簡
便的操作方式，在指定時間內經證明收斂量測后，與Incisive Enterprise Verifier相較顯著提升效能。
Cadence
形式自動驗證暨系統(tǒng)與驗證部門副總Oz
Levia表示，在這個設計復雜度不斷提升的時代，有效提供客戶高品質SoC設計是我們持續(xù)面臨的挑戰(zhàn)。JasperGold平臺中，Cadence將形
式驗證技術的精華整合至單一JasperGold平臺，并連結模擬、仿真、除錯與驗證管理，建立了引人注目的綜合性解決方案因應此項挑戰(zhàn)。下一代
JasperGold平臺目前已供貨。
