Global Sources
電子工程專輯
 
電子工程專輯 > EDA/IP
 
 
EDA/IP  

Cadence新一代形式驗證平台問世

上網時間: 2015年06月10日     打印版  Bookmark and Share  字型大小:  

關鍵字:JasperGold  形式驗證  Cadence  驗證收斂  Incisive 

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

透過將綜合特徵統整為單一解決方案,JasperGold平台明顯改善設計品質與效率,特徵包括:

1. IncisiveR Formal Verifier與Incisive Enterprise Verifier中的設計匯整與形式引擎科技,包括創新Trident多重合作引擎。現有Incisive用戶可輕鬆進行資料轉移,且除錯與證明收斂模式效能提升15倍。

2. 下一代JasperGold平台已完整整合至Cadence系統開發套裝中Incisive模擬與PalladiumR仿真平台上,並具備可完成綜合性指標導向驗證的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新一代形式驗證平台問世
評論:  
*  您還能輸入[0]個字
*驗證碼:
 
論壇熱門主題 熱門下載
 •   將邁入40歲的你...存款多少了  •  深入電容觸控技術就從這個問題開始
 •  我有一個數位電源的專利...  •  磷酸鋰鐵電池一問
 •   關於設備商公司的工程師(廠商)薪資前景  •  計算諧振轉換器的同步整流MOSFET功耗損失
 •   Touch sensor & MEMS controller  •  針對智慧電表PLC通訊應用的線路驅動器
 •   下週 深圳 llC 2012 關於PCB免費工具的研討會  •  邏輯閘的應用


EE人生人氣排行
 
返回頁首