Certitude™方法初步：儘早應用實現卓越價值

Certitude™功能驗證系統(Certitude™ Functional Qualification System)可以找出驗證環境中的缺陷與弱點，在驗證流程中防止疏漏RTL臭蟲。雖然您可將Certitude運用於驗證流程中許多不同時間點，經驗顯示，在早期以漸進方式使用Certitude往往是最佳的方法 – 可立即提供價值, 在過程中不斷地改善驗證環境，同時均衡地與其它驗證活動共同有效運用資源。

我應該在什麼時候開始執行功能驗證呢？

功能驗證需要有相當的完成度與功能性RTL描述，和一套模擬測試來執行RTL以驗證是否符合設計的功能規格。但是，這不應該解釋為要求「所有」模擬測試都必須完成然後才能開始功能驗證。事實上，只需要少數的測試，使用者就能夠深入透視驗證環境。例如，您可以試想，Certitude在驗證的早期階段運用以分類為基礎的缺陷優先演算法而注入一套與輸出結果形影不離的缺陷。即使執行設計的更複雜且微妙層面的測試仍未撰寫就緒，擁有少數功能測試的驗證環境而且具備最基本的檢查器(checkers)與斷言(assertions)就應該能夠偵測到這些類型的粗略錯誤。偵測不到這些缺陷的環境更可能疏漏重大的RTL臭蟲而渾然不覺。

那麼，我已經驗證過本公司環境的基本面 – 接下來該如何呢？
隨著更多測試撰寫完成，可以遞增式地執行驗證。例如，測試「煙裝(smoke suite)」的完成與使用 – 這套測試檢驗設計的主要功能面，並且在深入設計資料庫檢查重大的RTL變更之前，當作第一階段簽核(sign-off)而使用 – 需要擴大運用功能驗證以提供更周延的驗證環境品質衡量，進而找出抵銷「煙裝」效用的漏洞與弱點。再者，Certitude自動化缺陷優先排序流程擁有更廣泛的缺陷集，能夠對成熟的驗證環境執行壓力測試，可在這個階段用來導引驗證。

好消息：遞增式驗證捷報紛傳
Functional qualification 運用Certitude執行功能驗證是遞增的進程。隨著您改善自己的驗證環境，Certitude保證以前找不到的缺陷都可以偵測到，然後還可以更深入探究優先排序的缺陷表，實現貴公司環境精微美妙的一面。做為使用者，您可在貴公司環境中享受早期回饋的優勢 – 讓您能夠找出和修正問題，以確保貴公司環境健全 – 並隨著時間的進展而累積驗證成果，提供貴公司驗證環境品質的完善評估。