下一代Cadence JasperGold 效能增15倍

　　益華電腦(Cadence)推出下一代Cadence JasperGold形式驗(yàn)證平臺(tái)，此新型形式驗(yàn)證解決方案將Cadence Incisive形式與JasperGold技術(shù)整合為單一平臺(tái)，與以往解決方案相比，效能可增加至15倍。此外，整合至Cadence系統(tǒng)開發(fā)套裝(Cadence System Development Suite)后，JasperGold技術(shù)可縮短驗(yàn)證時(shí)程達(dá)3個(gè)月。

　　JasperGold形式(formal)與形式輔助技術(shù)整合至Cadence系統(tǒng)開發(fā)套裝可縮短計(jì)畫驗(yàn)證時(shí)程達(dá)三個(gè)月。 Cadence/提供

　　分享

　　透過將綜合特征統(tǒng)整為單一解決方案，JasperGold平臺(tái)明顯改善設(shè)計(jì)品質(zhì)與效率，特征包括：Incisive Formal Verifier與Incisive Enterprise Verifier中的設(shè)計(jì)匯整與形式引擎科技，包括創(chuàng)新Trident多重合作引擎?，F(xiàn)有Incisive用戶可輕松進(jìn)行資料轉(zhuǎn)移，且找錯(cuò)與證明收斂模式 效能提升15倍。

　　下一代JasperGold平臺(tái)已完整整合至Cadence系統(tǒng)開發(fā)套裝中Incisive模擬與Palladium仿真平臺(tái)上，并具備可完成綜合性指 標(biāo)導(dǎo)向驗(yàn)證的vManager工具。透過形式輔助驗(yàn)證收斂(verification closure)，上述功能可縮短時(shí)程至3個(gè)月。經(jīng)實(shí)證的JasperGold Visualize及QuietTrace技術(shù)與Indago除錯(cuò)平臺(tái)整合，提供更廣泛的分析與動(dòng)態(tài)產(chǎn)生假設(shè)調(diào)查，可將根本原因除錯(cuò)時(shí)間縮短達(dá)5至100倍。

　　Imagination Technologies執(zhí)行副總裁Mark Dunn表示，身為長(zhǎng)期使用Incisive形式與模擬解決方案的客戶，我們對(duì)下一代JasperGold平臺(tái)感到印象深刻，因?yàn)槠鋸?qiáng)化的除錯(cuò)功能以及簡(jiǎn)便的操作方式，在指定時(shí)間內(nèi)經(jīng)證明收斂量測(cè)后，與Incisive Enterprise Verifier相較顯著提升效能。

　　Cadence形式自動(dòng)驗(yàn)證暨系統(tǒng)與驗(yàn)證部門副總Oz Levia表示，在這個(gè)設(shè)計(jì)復(fù)雜度不斷提升的時(shí)代，有效提供客戶高品質(zhì)SoC設(shè)計(jì)是我們持續(xù)面臨的挑戰(zhàn)。JasperGold平臺(tái)中，Cadence將形式驗(yàn)證技術(shù)的精華整合至單一JasperGold平臺(tái)，并連結(jié)模擬、仿真、除錯(cuò)與驗(yàn)證管理，建立了引人注目的綜合性解決方案因應(yīng)此項(xiàng)挑戰(zhàn)。下一代JasperGold平臺(tái)目前已供貨。