益華推出新一代JasperGold形式驗證平台 - 產業動態 - 新電子科技雜誌 Micro-electronics


熱門關鍵字:USB PD | 自駕車 | 藍牙5 | NB-IoT | AI

訂閱電子報

立刻輸入Email,獲取最新的資訊:


收藏功能:
分享報新知:
其他功能:

益華推出新一代JasperGold形式驗證平台

發布日期:2015/06/23 關鍵字:CadenceIncisiveSoC

益華(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

研討會專區
主題式電子報
熱門文章