專業IC設計軟件全球供貨商SpringSoft(SpringSoft, Inc.)今天發表Certitude™功能驗證品管系統較新版本，擁有功能強大的方法與易于使用的優勢。Certitude系統運用獨家自動化技術消除驗證不確定性，并加速復雜IP與系統芯片(SoC)設計的功能收斂。這種自動化技術能夠確保驗證環境的完整性并找出可能縱容bug肆虐的安全漏洞。

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

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

SpringSoft產品營銷處長George Bakewell表示：「由于驗證環境變得比設計本身更復雜，功能驗證品管套用自動化突變技術獲得驗證品管的客觀數據。較新版Certitude讓這種做法更上層樓。先進偵測技術、智能型作業與漸進式使用模型的強力組合，讓更廣泛的用戶與驗證應用軟件都能享受絕佳的功能驗證品管�！�

詳盡的白皮書說明功能驗證品管技術的演進以及較佳實務的應用，請至SpringSoft網站查詢和下載：www.springsoft.com/whitepapers/functional-qualification

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

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

這些優先順位算法提供了有效率的漸進式執行方法 – 執行功能驗證品管、修理問題然后重新執行 – 自動累積長時間的品管數據，以驅動測試開發與檢查程序的產生。早期偵測到的故障不必重新品管，除非相關的RTL程序代碼改變，節省寶貴的時間與耗用資源。

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

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

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