下一代開發(fā)套件降低項(xiàng)目驗(yàn)證時(shí)間

節(jié)奏設(shè)計(jì)系統(tǒng)宣布下一代節(jié)奏JasperGold形式驗(yàn)證平臺。這個(gè)新的解決方案集成了節(jié)奏敏銳的正式技術(shù)和JasperGold技術(shù)成一個(gè)單一的平臺,提供15倍的性能提升與以前的解決方案。

作為一個(gè)集成的節(jié)奏系統(tǒng)開發(fā)套件的一部分,JasperGold技術(shù)旨在幫助減少驗(yàn)證安排了三個(gè)月,同時(shí)提高設(shè)計(jì)質(zhì)量和效率,將一組全面的功能集成到一個(gè)解決方案,包括:

設(shè)計(jì)編譯和正式的引擎技術(shù)從深刻的正式驗(yàn)證器和敏銳的企業(yè)驗(yàn)證器,包括創(chuàng)新三叉戟multi-cooperating引擎。這使得容易遷移現(xiàn)有的客戶和15倍的性能提升bug和證據(jù)融合模式。

下一代JasperGold平臺與節(jié)奏被完全集成系統(tǒng)開發(fā)套件’年代的仿真平臺,模擬和鈀和vManager™啟用綜合metric-driven驗(yàn)證工具。這個(gè)結(jié)果在一個(gè)三個(gè)月的計(jì)劃減少通過formal-assisted驗(yàn)證關(guān)閉。

JasperGold可視化™和QuietTrace™技術(shù),已集成了Indago™調(diào)試平臺,進(jìn)一步擴(kuò)大分析和動(dòng)態(tài)假設(shè)探索,幫助減少根源調(diào)試時(shí)間5 - 100 x。

““門齒正式和仿真解決方案的長期客戶,我們對下一代JasperGold平臺”,”說馬克·鄧恩技術(shù)執(zhí)行副總裁想象力。““以及改進(jìn)調(diào)試和易用性,我們’已經(jīng)取得了顯著增加的性能相比,敏銳的企業(yè)驗(yàn)證器,以證明收斂在一個(gè)給定時(shí)間”。”

“”交付高質(zhì)量的SoC設(shè)計(jì)有效地增加設(shè)計(jì)復(fù)雜度的時(shí)代是一個(gè)持續(xù)的客戶的挑戰(zhàn)”,”Oz Levia,副總統(tǒng)的正式和自動(dòng)驗(yàn)證,系統(tǒng)&驗(yàn)證組節(jié)奏。“下一代JasperGold“這個(gè)平臺,我們’已經(jīng)聚集了最好的節(jié)奏’年代正式驗(yàn)證技術(shù)到單個(gè)JasperGold平臺和聯(lián)系,在模擬、仿真、調(diào)試和驗(yàn)證管理創(chuàng)建一個(gè)真正令人信服的和全面的解決方案,這客戶的挑戰(zhàn)。””

船形開關(guān)http://www.koudejun.com