<meter id="pryje"><nav id="pryje"><delect id="pryje"></delect></nav></meter>
          <label id="pryje"></label>

          新聞中心

          EEPW首頁 > EDA/PCB > 業(yè)界動態(tài) > 下一代Cadence JasperGold 效能增15倍

          下一代Cadence JasperGold 效能增15倍

          作者: 時間:2015-07-03 來源: 經(jīng)濟(jì)日報 收藏

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

          本文引用地址:http://www.ex-cimer.com/article/276749.htm

            

           

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

            分享

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

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

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

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



          關(guān)鍵詞: Cadence JasperGold

          評論


          相關(guān)推薦

          技術(shù)專區(qū)

          關(guān)閉
          看屁屁www成人影院,亚洲人妻成人图片,亚洲精品成人午夜在线,日韩在线 欧美成人 (function(){ var bp = document.createElement('script'); var curProtocol = window.location.protocol.split(':')[0]; if (curProtocol === 'https') { bp.src = 'https://zz.bdstatic.com/linksubmit/push.js'; } else { bp.src = 'http://push.zhanzhang.baidu.com/push.js'; } var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(bp, s); })();