谋定后动法

谋定后动法（Correct by Construction，CbC）是一种开发方法论，在设计编码之前先构建数学模型，以在设计稳健性与物理约束之间取得平衡。谋定后动法强调代码与算法设计最底层的正确性，减少周期时间和成本，提升产品质量，并使实时产品反馈成为可能。

原则

设计错误常在开发周期后期或发布后被发现，未被验证发现的缺陷修复成本高且耗时。谋定后动法的目标是在进入寄存器传输级（RTL）设计并在验证工程师用硬件验证语言编写测试平台之前，尽早尽可能多地发现并消除缺陷。

例如，在土木工程中，桥梁设计师在打基础之前，先创建拟建方案的精确计算机模型。同样，谋定后动法使用模型对方案进行推理，以确保所需功能被实现且行为正确。后续测试仍会进行，但其作用转为验证谋定后动法的正确性，而非用于寻找错误。