黄金模型与故障分类

检查数值、顺序与时间

正确性包括张量形状、每个输出编码、通道/空间顺序、传送接收和完成。以宽整数直接卷积作为黄金参考，用另一种结构计算窗口和展平点积。减少共享代码可减少共同故障。手算测试数据能够发现两个模型同时出错的情况。

分别比较累加、重新量化、ReLU 和池化。累加器不匹配可能指向寻址、卷积核顺序、分组连接、偏置初始化或位宽。累加器相等而输出编码不同，可能指向比例因子、零点、舍入或饱和。数值相等但坐标不同，可能指向输出顺序。只在暂停时失败，可能指向状态推进或背压。

不匹配分类示例

3×3 输入 [1,2,3;4,5,6;7,8,9] 和卷积核 [1,2;3,4] 产生 [37,47;67,77]。结果 [23,33;53,63] 首项为 23 而不是 37，与反转卷积核的测试数据吻合，应检查方向。结果 [37,67;47,77] 包含正确数值，但坐标转置，应检查行列顺序。这些是诊断线索，不是最终证明：应检查实际地址和乘积。

填充测试应选择角落；中心位置永远不会触发越界行为。零点为零时，原始填充错误会消失，因此应加入 128 等非零零点和非对称填充。加入有符号最小值、大偏置和精确舍入半值，暴露小正数样本无法发现的缺陷。

保留配置、比例/零点、随机种子、首个不匹配坐标以及预期和实际值。保存相关输入窗口和权重。暂停期间，比较已接收输入/输出记录，检查遗漏和重复。计数相等本身不能证明顺序正确。

证据应与范围匹配。Node 练习验证算术和简单调度估计。SystemVerilog 语法、仿真、综合、频率、功耗、已安装 DDS 的文件处理和模型准确率，各自需要执行证据。相应标明未运行项目。下一个实验执行边界测试数据；最后实验比较完整小型通路并报告明确测量值。