什麼是驗證計劃 ？
驗證計劃應包含哪些細節？
為什麼它在功能驗證中如此重要？
驗證計劃是驗證工程師根據設計規範制定的描述驗證過程的文檔。驗證計劃的目标是在可控的時間範圍内完成最高品質的驗證。
By failing to prepare you are preparing to fail
– Benjamin Franklin
如果沒有好好準備，那就準備好失敗吧！
下文分為以下幾個類别講述驗證計劃相關的内容：
1、驗什麼？
2、如何驗 ？
3、何時驗 ？
4、如何確定驗證品質 ？
1、驗什麼？
驗證計劃應列出要驗證的所有設計特征以及這些功能特性相關的設計配置 。并非所有這些功能/配置都需要單獨的測試。大多數情況下，這些特性和配置需要結合起來進行測試。這時，受限制随機的驗證政策就是一個很好的選擇。
除了端到端的功能特性之外，還需要測試特定微體系結構的特性（白盒驗證），包括各種接口屬性、狀态機、fifos、仲裁和其他邏輯塊。
2、如何驗?
一旦在驗證計劃中明确了需要驗證的内容，下一步是決定如何更好地驗證每個項目。根據設計的類型和需要驗證的内容需要采用不同的驗證方法、施加不同的激勵以及進行不同類型的不同類型的檢查等。
大多數功能驗證都使用EDA仿真驗證和覆寫率驅動的受限制随機的驗證方法。當然，根據設計的特性也會采用formal 驗證或者加速器驗證等技術。
如何控制限制、如何更高效地收集覆寫率也都是學問。
在驗證計劃中還應決定確定功能正确性的檢查機制，例如實時比對、端到端比對、嵌入式斷言等。
關于要驗什麼和如何驗的細節是建構良好的驗證平台所需的必要條件，并且應該使用各種層次框圖進行檢視 。
3、何時驗
每個驗證項目都有一個deadline。然而事實上， 總會有更多的内容需要驗證。驗證計劃應包含完整執行驗證項目的工作量評估——包括開發驗證測試台元件、測試用例、冒煙和回歸、覆寫率分析、調試和品質活動完成所需的時間。
根據工作量估計，通常也會将要驗證的各種特征/配置分類為至少三個優先級（如高、中、低）。這有助于在項目執行時間期間做出明智的取舍決策。
4、如何確定驗證品質 ？
在制定驗證計劃時，并不是一定需要一開始就是完美的，驗證計劃需要不斷地更新。在項目驗證開展的周期内需要驗證工程師、設計工程師和其他專家多次共同參與驗證計劃的檢視 。