SpringSoft推出Certitude功能驗證品管系統(tǒng)最新版本
2010-03-05 19:28:06 本站原創(chuàng)SpringSoft推出Certitude™功能驗證品管系統(tǒng)最新版本，擁有功能強大的方法與易于使用的優(yōu)勢。Certitude系統(tǒng)運用獨家自 動化技術(shù)消除驗證不確定性，并加速復雜IP與系統(tǒng)芯片(SoC)設(shè)計的功能收斂。這種自動化技術(shù)能夠確保驗證環(huán)境的完整性并找出可能縱容bug肆虐的安全 漏洞。
Certitude系統(tǒng)中嶄新的優(yōu)先順位式偵測技術(shù)讓工程師們能夠迅速找出和修理最嚴重的問題，使仿真與CPU資源的運用優(yōu)化。這種優(yōu)先順位式作法 讓使用者能夠更早而且更頻繁地執(zhí)行Certitude系統(tǒng)，為驗證環(huán)境提供快速的改善，并指導測試與檢查程序的開發(fā)。
新版軟件也具備與本公司屢獲佳績的Verdi 自動化偵錯系統(tǒng)整合的簡化設(shè)定與按鈕，以增強可視化、源代碼追蹤和分析結(jié)果的理解。這些功能提供更順暢、更高度自動化的驗證品管流程，讓工程師們更容易改 善內(nèi)部IP的驗證、評估第三方IP的質(zhì)量以及進行SoC驗證環(huán)境的品管工作。
更早、更快速的故障偵測方法
SpringSoft研究發(fā)現(xiàn)，某些人為投入到RTL程序代碼中的故障會揭露驗證中的重大漏洞，并產(chǎn)生更容易分析的結(jié)果。在最新版的軟件中，運用多 年來研究并依據(jù)數(shù)千次Certitude執(zhí)行結(jié)果所開發(fā)的規(guī)則，將故障分割成許多優(yōu)先排序的個案。然后按照優(yōu)先順位自動品管，優(yōu)先揭露最大的弱點并盡早提 供改善整體驗證環(huán)境的建議。
這些優(yōu)先順位算法提供了有效率的漸進式執(zhí)行方法 – 執(zhí)行功能驗證品管、修理問題然后重新執(zhí)行 – 自動累積長時間的品管數(shù)據(jù)，以驅(qū)動測試開發(fā)與檢查程序的產(chǎn)生。早期偵測到的故障不必重新品管，除非相關(guān)的RTL程序代碼改變，節(jié)省寶貴的時間與耗用資源。
完善整合使結(jié)果分析更容易
最新版系統(tǒng)包括一個新的工具程序，可自動產(chǎn)生編譯妥當可供Verdi系統(tǒng)使用的Certitude配置文件。這個工具程序巧妙地運用 SpringSoft知識數(shù)據(jù)庫(KDB)，建立能夠由Certitude使用者修改的樣板，以提供更詳細且微調(diào)的參數(shù)。直覺式報表提供故障狀態(tài)信息，并 顯示故障在哪里投入到RTL程序中。
此外，新增連接到Verdi環(huán)境的按鈕，使分析與偵錯流程更容易。對于任何未發(fā)現(xiàn)的故障，信號數(shù)據(jù)可以批次轉(zhuǎn)換成為SpringSoft的FSDB (Fast Signal Database) 格式，然后由Verdi系統(tǒng)顯示波形。工程師能夠比較有缺陷和完美設(shè)計的結(jié)果、標示差異，然后自動跳躍到相關(guān)源代碼，以便運用Verdi系統(tǒng)的結(jié)構(gòu)式分析 與追蹤功能，進一步調(diào)查和偵錯。
EETOP 官方微信
創(chuàng)芯大講堂 在線教育
半導體創(chuàng)芯網(wǎng) 快訊
相關(guān)文章
