互動實驗
檢查另一位工程師能否重現 claim 並提出反證。資料包完整仍不等於產品保證。
檢查資料包 複製結果 下載 JSON
Review checklist 是流程證據,不是晶片證據,也不能取代產品簽核。
資料包應列出:claim 與範圍;source/DUT revision hash;工具/版本/設定/seed;coverage 分母與未觸及 bins;可重播的 counterexample 與 control;以及由負責人追蹤的明確 unknowns。缺項會阻擋此資料包;已列的 unknown 仍待解決。