|
下一代開發(fā)套件降低項目驗證時間
節(jié)奏設計系統(tǒng)宣布下一代節(jié)奏JasperGold形式驗證平臺。這個新的解決方案集成了節(jié)奏敏銳的正式技術和JasperGold技術成一個單一的平臺,提供15倍的性能提升與以前的解決方案。
作為一個集成的節(jié)奏系統(tǒng)開發(fā)套件的一部分,JasperGold技術旨在幫助減少驗證安排了三個月,同時提高設計質量和效率,將一組全面的功能集成到一個解決方案,包括:
設計編譯和正式的引擎技術從深刻的正式驗證器和敏銳的企業(yè)驗證器,包括創(chuàng)新三叉戟multi-cooperating引擎。這使得容易遷移現(xiàn)有的客戶和15倍的性能提升bug和證據(jù)融合模式。
下一代JasperGold平臺與節(jié)奏被完全集成系統(tǒng)開發(fā)套件’年代的仿真平臺,模擬和鈀和vManager™啟用綜合metric-driven驗證工具。這個結果在一個三個月的計劃減少通過formal-assisted驗證關閉。
JasperGold可視化™和QuietTrace™技術,已集成了Indago™調試平臺,進一步擴大分析和動態(tài)假設探索,幫助減少根源調試時間5 - 100 x。
““門齒正式和仿真解決方案的長期客戶,我們對下一代JasperGold平臺”,”說馬克·鄧恩技術執(zhí)行副總裁想象力。““以及改進調試和易用性,我們’已經(jīng)取得了顯著增加的性能相比,敏銳的企業(yè)驗證器,以證明收斂在一個給定時間”。”
“”交付高質量的SoC設計有效地增加設計復雜度的時代是一個持續(xù)的客戶的挑戰(zhàn)”,”Oz Levia,副總統(tǒng)的正式和自動驗證,系統(tǒng)&驗證組節(jié)奏。“下一代JasperGold“這個平臺,我們’已經(jīng)聚集了最好的節(jié)奏’年代正式驗證技術到單個JasperGold平臺和聯(lián)系,在模擬、仿真、調試和驗證管理創(chuàng)建一個真正令人信服的和全面的解決方案,這客戶的挑戰(zhàn)。””
船形開關http://www.gastrotommy.com |
當前位置:
