2011 年 5 月 11 日臺灣新竹訊 — SpringSoft今天宣布Certitude™功能驗證品管系統的重大發展，能夠以更多元且更具效率的方式配置驗證方法。新推出的自動偵測與驗證環境檢驗功能是其中主要的創新，能夠以更少的資源，迅速確認芯片驗證環境中的潛在問題，同時持續改良驗證流程。

功能驗證就是確認芯片設計建置依據指定方式運作的流程。Certitude軟件是市面上獨家提供，能夠客觀驗證IP與系統單芯片(SoC)設計檢驗機制與測試的工具。Certitude技術平臺擴充的目的在于盡早、且更頻繁地檢查重要功能，確保驗證環境擁有高信心水平的「signoff」質量。這項研發里程碑是SpringSoft的使命與產品藍圖中不可或缺的一環，目的是加速目前越趨復雜SoC設計的功能收斂。

SpringSoft產品營銷部門處長George Bakewell表示：「Certitude逐漸成為功能驗證signoff流程中不可或缺的一環，新版的Certitude提供嶄新的自動化技術與基礎架構，快速提供實用的芯片驗證環境質量信息，讓工程師們能夠排定工作優先級，更有效地運用系統資源。更重要的是，我們也將這個功能驗證使用模型延伸至更早期的驗證流程，而不僅當作流程末期的單點工具而已，協助SoC團隊擁有更高質量的設計，signoff更迅速�！�

SpringSoft的Certitude軟件結合專利自動化技術以及以變異為基礎(mutation-based)的技術與靜態分析，能夠評估效能、確認重大缺失，并且改善HDL仿真驗證的結果質量。換句話說，這套系統會將錯誤(人為變異)置入緩存器轉換階層(RTL)設計中，并且使用工程師選擇的數字邏輯仿真工具，針對每一項變異進行測試。測試結果包含詳盡的錯誤啟動(activation)、傳遞(propagation)與偵測等功能檢測信息，以評估整體驗證流程，同時找出并修正漏洞，譬如缺漏的功能查核、不完整的測試過程，以及基礎架構問題。分析無法傳遞或驗證環境無法偵測的錯誤，并準確地指出測試向量、觀測性(observability)或結果檢驗程序的問題，進而協助修正。

Certitude技術平臺新增錯誤偵測、排序與追蹤功能，在整個驗證流程中能夠更迅速地提供重要信息回饋、縝密分析結果，并且簡化錯誤分析。Certitude系統發現未檢出(ND, Non-Detected)的錯誤時，會自動排除(drop)其他與此ND錯誤相關的錯誤，避免浪費寶貴的時間。這項功能最初以邏輯錐(logic cone)為基礎，已經過多年的粹煉。這套系統現可運用延展邏輯錐方法，由單一錐體延展排除標準，進一步減少「噪聲」因素，提供錯誤排除功能。工程師能夠更迅速地找出應優先處理的ND錯誤。新的錯誤排序與優先排序功能可說明特定錯誤類別(fault class)中，那一個ND錯誤應率先分析，以及該使用那一個測試程序。特定ND錯誤的測試也會依據傳輸時對輸出造成的影響為基準自動排序。

Certitude系統在找出足夠的重要結果時會自動停止，如此一來工程師便能夠持續分析、修正并排除問題。這項偵測自動停止功能有賴預先定義的標準，譬如優先錯誤類別以及類別中的ND錯誤，以驗證目標為基礎，定義出一個合理的中止點。除此之外，由于Certitude在不同作業間源代碼經常變動，因此這套工具采用自動化錯誤ID架構，能夠明確對應錯誤ID，讓用來分析結果的報告內容維持一致性。

SpringSoft也將引進新使用模式做為Certitude平臺擴充的一環，能夠讓Certitude配置在早期的驗證流程中，評估環境偵測非特定行為的能力。在大多數的SoC驗證環境中，檢驗程序基礎架構基本上在所有撰寫測試方案前就已就緒。這套新模式旨的設計主要在以更少的模擬資源，快速產生模擬結果，以便能在早期評估檢驗程序效能，并且指出問題所在，譬如不正確或漏失的查核程序。除此之外，SpringSoft的產品藍圖將進一步拓展Certitude應用范圍，戮力實現完成度更高的功能驗證sign-off工作。我們的研發成果涵蓋各個領域，包括更完備的SoC層應用，以及強化的斷言(assertion)支持。