驗證計畫（verification plan）

驗證計畫是一份主清單，把晶片的規格書轉化成一張具體的「在相信這個設計正確之前，我們必須證明哪些功能真的能運作」的列表。可以把它想成飛行員的起飛前檢查清單：飛機離開登機門前，每個系統——襟翼、油料、液壓——都要打勾。驗證計畫對數位區塊做的就是同一件事，逐一列出設計宣稱支援的每項功能、邊界情況、錯誤狀況與工作模式，並指明每一項由哪個測試或覆蓋點來驗證。

更關鍵的是，好的驗證計畫是人類意圖與機器可量測進度之間的橋樑：每一條目都連結到一個功能覆蓋點，於是覆蓋報告能自動告訴你「計畫已命中 83%」。這個數字成了專案的心跳——主管緊盯它，下線（tape-out）也以它為門檻。沒有驗證計畫，團隊只能寫測試寫到沒時間，然後祈禱那樣就夠了；有了它，你能精準知道還有哪些尚未驗證。