謀定後動法

謀定後動法（Correct by Construction，CbC）是一種開發方法論，在設計編碼之前先構建數學模型，以在設計穩健性與物理約束之間取得平衡。謀定後動法強調代碼與算法設計最底層的正確性，減少周期時間和成本，提升產品質量，並使實時產品反饋成為可能。

原則

設計錯誤常在開發周期後期或發布後被發現，未被驗證發現的缺陷修復成本高且耗時。謀定後動法的目標是在進入暫存器傳輸級（RTL）設計並在驗證工程師用硬體驗證語言編寫測試平台之前，儘早儘可能多地發現並消除缺陷。

例如，在土木工程中，橋梁設計師在打基礎之前，先創建擬建方案的精確計算機模型。同樣，謀定後動法使用模型對方案進行推理，以確保所需功能被實現且行為正確。後續測試仍會進行，但其作用轉為驗證謀定後動法的正確性，而非用於尋找錯誤。