SpringSoft發(fā)表Certitude功能驗證品管系統最新版本

　　SpringSoft今天發(fā)表Certitude™功能驗證品管系統最新版本，擁有功能強大的方法與易于使用的優(yōu)勢。Certitude系統運用獨家自動(dòng)化技術(shù)消除驗證不確定性，并加速復雜IP與系統芯片(SoC)設計的功能收斂。這種自動(dòng)化技術(shù)能夠確保驗證環(huán)境的完整性并找出可能縱容bug肆虐的安全漏洞。

　　Certitude系統中嶄新的優(yōu)先順位式偵測技術(shù)讓工程師們能夠迅速找出和修理最嚴重的問(wèn)題，使仿真與CPU資源的運用優(yōu)化。這種優(yōu)先順位式作法讓使用者能夠更早而且更頻繁地執行Certitude系統，為驗證環(huán)境提供快速的改善，并指導測試與檢查程序的開(kāi)發(fā)。

　　新版軟件也具備與本公司屢獲佳績(jì)的Verdi™ 自動(dòng)化偵錯系統整合的簡(jiǎn)化設定與按鈕，以增強可視化、源代碼追蹤和分析結果的理解。這些功能提供更順暢、更高度自動(dòng)化的驗證品管流程，讓工程師們更容易改善內部IP的驗證、評估第三方IP的質(zhì)量以及進(jìn)行SoC驗證環(huán)境的品管工作。

　　SpringSoft產(chǎn)品營(yíng)銷(xiāo)處長(cháng)George Bakewell表示：「由于驗證環(huán)境變得比設計本身更復雜，功能驗證品管套用自動(dòng)化突變技術(shù)獲得驗證品管的客觀(guān)數據。最新版Certitude讓這種做法更上層樓。先進(jìn)偵測技術(shù)、智能型作業(yè)與漸進(jìn)式使用模型的強力組合，讓更廣泛的用戶(hù)與驗證應用軟件都能享受絕佳的功能驗證品管?！?/p>

　　詳盡的白皮書(shū)說(shuō)明功能驗證品管技術(shù)的演進(jìn)以及最佳實(shí)務(wù)的應用，請至SpringSoft網(wǎng)站查詢(xún)和下載：www.springsoft.com/whitepapers/functional-qualification

　　更早、更快速的故障偵測方法

　　SpringSoft研究發(fā)現，某些人為投入到RTL程序代碼中的故障會(huì )揭露驗證中的重大漏洞，并產(chǎn)生更容易分析的結果。在最新版的軟件中，運用多年來(lái)研究并依據數千次Certitude執行結果所開(kāi)發(fā)的規則，將故障分割成許多優(yōu)先排序的個(gè)案。然后按照優(yōu)先順位自動(dòng)品管，優(yōu)先揭露最大的弱點(diǎn)并盡早提供改善整體驗證環(huán)境的建議。

　　這些優(yōu)先順位算法提供了有效率的漸進(jìn)式執行方法 – 執行功能驗證品管、修理問(wèn)題然后重新執行 – 自動(dòng)累積長(cháng)時(shí)間的品管數據，以驅動(dòng)測試開(kāi)發(fā)與檢查程序的產(chǎn)生。早期偵測到的故障不必重新品管，除非相關(guān)的RTL程序代碼改變，節省寶貴的時(shí)間與耗用資源。

　　完善整合使結果分析更容易

　　最新版系統包括一個(gè)新的工具程序，可自動(dòng)產(chǎn)生編譯妥當可供Verdi系統使用的Certitude配置文件。這個(gè)工具程序巧妙地運用SpringSoft知識數據庫(KDB)，建立能夠由Certitude使用者修改的樣板，以提供更詳細且微調的參數。直覺(jué)式報表提供故障狀態(tài)信息，并顯示故障在哪里投入到RTL程序中。

　　此外，新增連接到Verdi環(huán)境的按鈕，使分析與偵錯流程更容易。對于任何未發(fā)現的故障，信號數據可以批次轉換成為SpringSoft的FSDB (Fast Signal Database) 格式，然后由Verdi系統顯示波形。工程師能夠比較有缺陷和完美設計的結果、標示差異，然后自動(dòng)跳躍到相關(guān)源代碼，以便運用Verdi系統的結構式分析與追蹤功能，進(jìn)一步調查和偵錯。