思源科技（Springsoft）於日前宣佈，Certitude功能驗證系統將能夠以更多元且更具效率的方式配置驗證方法。新推出的自動偵測與驗證環境檢驗功能是其中主要的創新，以更少的資源，迅速確認晶片驗證環境中的潛在問題，同時持續改良驗證流程。

功能驗證就是確認晶片設計建置依據指定方式運作的流程。Certitude軟體是市面上獨家提供，能夠客觀驗證IP與系統單晶片(SoC)設計檢驗機制與測試的工具。Certitude技術平台擴充的目的在於儘早、且更頻繁地檢查重要功能，確保驗證環境擁有高信心水準的「signoff」品質。

思源科技的Certitude軟體結合專利自動化技術，以及以變異為基礎(mutation-based)的技術與靜態分析，能夠評估效能、確認重大缺失，並且改善HDL模擬驗證的結果品質。換句話說，這套系統會將錯誤(人為變異)置入暫存器轉換階層(RTL)設計中，並且使用工程師選擇的數位邏輯模擬工具，針對每一項變異進行測試。

測試結果包含詳盡的錯誤啟動(activation)、傳遞(propagation)與偵測等功能檢測資訊，以評估整體驗證流程，同時找出並修正漏洞，譬如缺漏的功能查核、不完整的測試過程，以及基礎架構問題。分析無法傳遞或驗證環境無法偵測的錯誤，並準確地指出測試向量、觀測性(observability)或結果檢驗程式的問題，進而協助修正。