主要的事情：建立驗證計畫，開發驗證環境，激勵測試，調整環境，比對設計，準備回歸regression，驗證**檢查，（包括激勵不對，隨機不到位，**結構缺陷），最後清單checklist檢查，流片。
主要的事情：功能文件時設計和驗證的基礎部分，設計人員根據功能文件，將要實現的功能翻譯成rtl**，驗證人員按照自己的理解構建出驗證環境，通過dut輸出和model輸出的比對，不斷完rtl**的功能，以及完善tb環境功能。
1. 介面資訊。
需要有詳細的介面資訊，包括介面的時序資訊，基本時鐘，復位，介面訊號名。
2.結構資訊
模組之間的功能元件介紹，包括元件之間的邏輯關係。
3.互動資訊
平級模組會被整合到更高一級的子系統去，有必要給出各個模組的互動資訊，確保繼承後，這兩個模組之間的互動按照預期的時序發生。
驗證方法：直接驗證，隨機約束驗證，形式驗證等等。
驗證工具。
驗證完備標準。
驗證資源：人力，時間，硬體，軟體。
驗證功能點：驗證功能點輸出，什麼層次去驗證（tb級別，soc級別）。有哪幾種激勵，檢查哪幾種狀態，以及資料輸出。
激勵產生模組（stimulus generator），參考模組（reference model），資料比較器（data checker）
驗證環境需要哪些軟體工具的支援。
確定驗證方法。
發現缺陷後，功能調整後，驗證環境同步更新，驗證環境同設計同步穩定。
伴隨著rtl修改，每次新版本發布，都需要跑回歸測試，確保以下兩點：
之前的漏洞修復，且不引入新的漏洞。
回歸測試提交的隨機case的seed不一樣，大量的回歸可提高驗證的完備性。
子模組驗證，功能模組驗證，系統頂級驗證
驗證的週期
功能驗證有著一整套完備的流程，而且從硬體系統定義貫穿到矽後測試部分。一般來講，乙個驗證團隊會基於時間差同時進行多個專案，多個專案之間自然也存在著借鑑 更新的關係，所以驗證的環境和復用性也是在不斷提高的。而每乙個專案在進行瀑布模式的開發時，驗證團隊也會在不同細分的流程當中完成每一項任務，同時在進入到下...
交叉驗證介紹
1 簡單交叉驗證 將資料隨機打亂分成兩份，一部分作為訓練集，另一部分作為測試集。比例一般為訓練集70 測試集30 使用訓練集在各種條件下訓練模型，得到不同的模型，在測試集上驗證各個模型的測試誤差，從而選出誤差最小的模型。2 k折交叉驗證 應用的最多，最實用的就是k折交叉驗證 k fold cross...
晶元驗證全視之七 驗證的週期（下）
本文 這一節我們繼續剩下的驗證週期裡的四個階段。遞迴測試 遞迴測試指的是去驗證之前的硬體功能在某個缺陷修復或者新增了某項新功能以後，仍然可以通過以前的所有測試用例 test case 和可能新增的新的測試用例。這些可能存在的環境變化包括硬體設計自身的改進 缺陷修復 功能新增和驗證環境的更新。在每次的...