为何Xilinx复数乘法器IP的全精度乘积输出位宽需额外增加1位？

问题核心原因 #

你的推导仅考虑了单个实数乘法的位宽需求，完全忽略了复数乘法的运算逻辑：最终输出的实部、虚部结果都需要对两个独立的乘法结果做加减运算，多出来的1位就是为了覆盖加减运算产生的溢出。

具体推导验证 #

首先明确复数乘法的运算公式：
设两个输入复数分别为 A = a + bj、B = c + dj，其中a、b、c、d均为8位有符号整数，二者乘积为：

A * B = (ac - bd) + (ad + bc)j

你之前计算的16位位宽仅能覆盖单个ac/bd/ad/bc这类实数乘法的结果，但最终实部、虚部是两个16位有符号数的加减运算结果，会出现超出16位表示范围的情况：

• 单个8位有符号数相乘的最大正结果为 (-128)*(-128) = 16384，刚好在16位有符号数的表示范围（-32768 ~ 32767）内
• 计算虚部ad + bc时，存在极端场景：ad = 16384、bc = 16384，二者相加结果为 32768，已经超过16位有符号数的最大值32767，必须多1位位宽才能存储

17位有符号数的表示范围为 -65536 ~ 65535，可以完全覆盖所有加减运算后的结果，这就是Xilinx IP要求全精度输出为17位的原因。

内容的提问来源于stack exchange，提问作者aquaticapetheory