Certitude功能驗證品管系統
Certitude功能驗證品管系統是目前業界針對消除驗證環境不確定因素的唯一解決方案。它用於鑒別驗證的不足，這些不足可能導致不能發現設計錯誤，從而引起功能失效，晶片修改重製和上市延遲。具有獨特自動化技術的Certitude系統能夠：
- 客觀地衡量驗證環境的品質
- 識別可能隱藏設計錯誤的驗證漏洞
驗證環境的可信度
驗證環境應該能夠啟動、傳遞、和偵測設計中潛在的錯誤。Certitude系統為您的驗證環境提供了關於上述能力的詳細資訊，揭露其他工具無法發現的明顯缺陷。該系統提供的資料用於識別驗證系統中測試向量、可觀察性、檢查器等方面的弱點、以及驗證計畫中的缺陷。隨著不確定性的消除，您的驗證工作將更加可靠。
運作模式
Certitude系統有兩種運作模式：
驗證加強模式--針對您的設計區塊的驗證，包括針對SoC中各區塊間連線的驗證進行品質評估
評量模式--客觀度量驗證環境的整體品質
驗證加強模式
使用Certitude系統用以識別因結果檢查器或測試情境不完整而導致的驗證缺陷和漏洞。它會提供一份HTML格式的完整報告。這一模式可以找出區塊層級驗證的缺點，並引導驗證的加強，亦可用於SoC整合時評估區塊間連線的驗證強度。
評量模式
另一種Certitude系統的使用方式是產生Certitude評量表--一種功能驗證品質的客觀測量分數。評量模式分析模組驗證環境的整體品質，使您可以：
建立IP交換的高可信度
具有SoC設計更好的可預測性
優化資源配備，使之更有效率
Certitude系統將針對您的驗證環境對於啟動，傳遞和探測潛在錯誤的能力分別給出品質評價。
The Certitude system assigns separate scores for the ability of your verification environment to activate, propagate, and detect potential bugs.
如何工作
Certitude功能驗證品管系統採用全新專利技術的獨特自動化思路。它融合了"突變技術"和"靜態分析"，以對硬體描述語言為模擬基礎的功能驗證提供了全方位的品質提升。這是"突變技術"首次在硬體設計領域得到工業化應用。
Certitude系統在現有HDL代碼中人為引入"突變"（或缺陷），比如
a = b or c; (original code) （原有代碼）
a=b and c; (faulty program code) （缺陷代碼）
系統分三個階段判斷驗證環境是否能夠啟動缺陷代碼，傳遞缺陷效應至可觀測點，並探測到錯誤。
- 缺陷建模分析階段將分析HDL設計並選擇將引入的"突變"。
- 缺陷啟動階段將進行一次完整的回歸模擬，分析驗證環境在"突變"作用下的行為。
- 缺陷探測階段將在測試環境中有選擇地運行測試，以檢驗驗證環境探測到這些"突變"的能力。
Certitude系統採用獨家的最佳化技術，僅需要運行少量回歸測試，而不用對每一個"突變"都運行全部驗證向量，即可達到高探測程度。
The Certitude system uses proprietary technology to achieve high detection levels with a small number of regression runs instead of applying the entire verification suite to each mutation.
協同工作
Certitude系統與主流商用模擬器緊密整合，易於嵌入現有功能驗證流程。它完全相容所有當前驗證方法學，比如定向隨機向量生成，基於斷言的驗證等等。
Certitude功能驗證品管系統用於消除驗證環境有效性的不確定因素，客觀評價您驗證環境的品質，幫助定位其弱點。Certitude系統與主流商用模擬器協同工作，易於嵌入現有功能驗證流程，並使之更有效。該系統是SpringSoft"以獨特自動化技術加速工程師"戰略的又一實例。
Datasheet Download: 
SS_Certitude_Datasheet_CH.pdf
| 產品名稱 | 出口執照 | ECCN編號 | 美國出口管制 |
| Certitude功能驗證品管系統 |
不需要 | 3D991 | 需遵守美國聯邦出口管制法規736.2有關General Prohibitions部份 |
