Cadence發表下一代JasperGold形式驗證平台
前言：
JasperGold形式(formal)與形式輔助技術整合至Cadence系統開發套裝可縮短計畫驗證時程達三個月
2015年6月16日--全球電子設計創新領導廠商益華電腦(Cadence Design Systems, Inc.)推出下一代Cadence® JasperGold®形式驗證平台，此新型形式驗證解決方案將Cadence Incisive®形式與JasperGold技術整合為單一平台，與以往解決方案相比，效能可增加至15倍。此外，整合至Cadence系統開發套裝 (Cadence System Development Suite)後，JasperGold技術可縮短驗證時程達3個月。
透過將綜合特徵統整為單一解決方案，JasperGold平台明顯改善設計品質與效率，特徵包括：
1. Incisive® Formal Verifier與Incisive Enterprise Verifier中的設計匯整與形式引擎科技，包括創新Trident多重合作引擎。現有Incisive用戶可輕鬆進行資料轉移，且找錯與證明收斂模式 效能提升15倍。
2. 下一代JasperGold平台已完整整合至Cadence系統開發套裝中Incisive模擬與Palladium®仿真平台上，並具備可完成綜合性指 標導向驗證的vManager™工具。透過形式輔助驗證收斂(verification closure)，上述功能可縮短時程至3個月。
3. 經實證的JasperGold Visualize™ 及 QuietTrace™ 技術與Indago™ 除錯平台整合，提供更廣泛的分析與動態產生假設調查，可將根本原因除錯時間縮短達5至100倍。
Imagination Technologies執行副總裁Mark Dunn表示：「身為長期使用Incisive形式與模擬解決方案的客戶，我們對下一代JasperGold平台感到印象深刻，因為其強化的除錯功能以及 簡便的操作方式，在指定時間內經證明收斂量測後，與Incisive Enterprise Verifier相較顯著提升效能。」
Cadence形式自動驗證暨系統與驗證部門副總Oz Levia表示：「在這個設計複雜度不斷提升的時代，有效提供客戶高品質SoC設計是我們持續面臨的挑戰。JasperGold平台中，Cadence將形式驗證技術的精華整合至單一JasperGold平台，並連結模擬、仿真、除錯與驗證管理，建立了引人注目的綜合性解決方案因應此項挑戰。」
關於Cadence
Cadence（納 斯達克：CDNS）益華電腦致力於推動全球電子設計的創新，於現今IC與電子領域具有舉足輕重地位。客戶利用益華電腦的軟體、硬體、智財與服務，設計並驗 證先進半導體、消費性電子產品、網路架構、網通設備與電腦系統。益華電腦總部位於加州聖荷西市，世界各地皆設有營業處、設計中心與研發機構，就近為全球電 子業者提供服務。進一步瞭解本公司、產品與服務，請前往公司網站：www.cadence.com
http://www.cadence.com/mail/footer_gray_640.gif
http://www.cadence.com/mail/footer_logocdns2.jpg
Cadence（納 斯達克：CDNS）益華電腦致力於推動全球電子設計的創新，於現今IC與電子領域具有舉足輕重地位。客戶利用益華電腦的軟體、硬體、智財與服務，設計並驗 證先進半導體、消費性電子產品、網路架構、網通設備與電腦系統。益華電腦總部位於加州聖荷西市，世界各地皆設有營業處、設計中心與研發機構，就近為全球電 子業者提供服務。進一步瞭解本公司、產品與服務，請前往公司網站：www.cadence.com
http://www.cadence.com/mail/footer_gray_640.gif
http://www.cadence.com/mail/footer_logocdns2.jpg
