最终检查：声明与证据

断言证明数值一致，以及规定调度的算术计算。周期数假定操作数位于本地、没有停顿、每个输出增加一个周期。此次运行没有测量 DDS 执行、RTL 综合、频率、功耗或分类器准确率。应分别报告已验证数值、假设和未执行检查。