CTIMES- 思源新版功能驗證系統提昇偵測與檢驗功能 :思源

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

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

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