最終檢核：主張與證據

斷言證明數值一致，以及指定排程的算術計算。其週期假設運算元在本地、沒有停頓，且各輸出增加一週期。執行不量測 DDS 執行、RTL 合成、頻率、功耗或分類器準確率。分別回報已驗證數值、假設與未執行檢查。