每日精学 119｜FIR绝对系数和与累加器位宽

雷达 · 通信 · 电子战　/　基础精学 119

FIR输出峰值可由输入幅度上界和系数绝对值之和严格约束，该界可直接转换为无溢出的整数累加位宽。

01
模型与符号

输入逐样本满足 |x[n]|≤ X，系数为确定性实数；位宽部分采用已量化的整数系数。

02
从模型到公式

三角不等式

卷积满足

该界不依赖输入统计独立性。

可达性

固定某时刻 n₀，选取

则

所以在任意有界序列集合上，该界是紧的；直流增益

不能代替 G₁。

整数位宽

整数输入满足 |x_I|≤ X_I，整数系数为 c_k，令

有符号 W 位正上限为 2^W−1−1，保守选择

小数点位置由乘积尺度另外确定，不能再从幅度界中重复扣除。

非对称补码端点的精确最坏值

绝对系数和给出对称幅度界，补码输入的实际正负端点还可逐项收紧。令 x∈[−Q,Q−1]，正系数和为 C₊，负系数的绝对值和为 C₋，则独立选择每个抽头输入可得

对于 [3,−5,7,−2]，有 C₊=10,C₋=7，因此十二位全补码范围给出

该结果需十七位有符号累加器，和对称范围实验的结论一致，但端点数值不相同。

随机记录通常不能同时满足所有抽头的最坏符号组合，所以随机峰值只能检查实现，不能替代范围证明。若输入本身存在额外相关约束，进一步收紧必须明确证明该约束持续成立。

03
物理含义

绝对系数和刻画最坏情况下所有抽头乘积同号叠加，而直流增益只刻画输入恒定时的响应。

04
固定参数算例

对 c=[3,−5,7,−2] 和12位对称输入范围2047，构造符号匹配的最坏序列，同时统计随机序列峰值并检验所需位宽。

图 1　FIR绝对系数和与累加器位宽的理论关系与固定参数验证

表中数值和图中曲线由 MATLAB 实际运行得到，随机种子为 20261038；运行版本与完整结果另存为独立文件。

05
数字实现的边界

RTL实现整数四抽头 [3,−5,7,−2] FIR，64位输出保留完整累加值；MATLAB根据指定12位工作范围计算更紧的最小位宽。 RTL 采用同步有效信号和异步低有效复位；

空拍保持状态且输出无效。除另有说明外，输入为16位有符号整数，结果为64位有符号整数，测试范围内不截断或饱和。输出在采样时钟上升沿更新。自检覆盖连续样本、空拍和复位；

未进行器件布局布线、时序收敛或功耗验证。

独立自检程序已在 Icarus Verilog 13.0 中实际运行并通过。该结果不包含器件综合、静态时序分析或板级测试。

06
适用范围

系数绝对值和可用于FPGA乘加器、FIR部分和寄存器和级联通道的无溢出预算。以整数系数直接计算界后，再决定输出是否舍入或饱和，可避免用经验波形峰值低估最坏输入。若输入范围由前级限幅保证，应把限幅值作为明确接口契约。

07
工程上需要注意

二补码负满量程比正满量程多1，需要单独核查非对称范围。

概率峰值不能替代严格无溢出界。

级联滤波器需要逐级传播范围，内部状态可能更大。

内容依据：每日精学第 119 课《FIR绝对系数和与累加器位宽》。图表沿用原课固定参数数值结果，属于数值验证，不代表设备实测。