使用9-bit全加器实现9-bit减法为何无法始终正常工作？

如果尝试使用9-bit全加器执行9-bit减法运算，该方案并非始终有效。
所参考的逻辑电路为8-bit adder电路的扩展版本。

核心失效原因 #

常规加法器实现减法的逻辑基于补码运算规则：a - b = a + (~b) + 1，其中~b为减数的按位取反，末尾的+1通过全加器最低位的进位输入（cin）置1实现。将8位加法器直接扩展为9位后做减法失效，核心有3个原因：

• 溢出判断逻辑不匹配位宽：8位减法的溢出判断规则是最高位（第7位）进位和次高位（第6位）进位的异或结果为1时判定溢出，直接扩展到9位后，符号位迁移到第8位，仍然沿用原8位的溢出判断规则就会出现误判，导致正确结果被丢弃。
• 操作数符号扩展错误：如果参与运算的9位操作数是从更低位数扩展而来，未按符号位补位而是直接高位补0，会破坏补码运算的基础前提，导致运算结果出错。
• 无符号减法借位未处理：针对无符号9位减法场景，a < b时运算会产生借位，此时全加器的进位输出（cout）为0，若未判断该标记直接取运算结果作为有效值，会得到完全错误的正数结果。

佐证示例 #

有符号数运算场景 #

9位有符号数的取值范围是-256 ~ +255，我们取运算数：

• a = 100，对应9位二进制：001100100
• b = 200，对应9位二进制：011001000
  运算目标为a - b = -100，正确的9位补码结果应为110011100。
  如果直接沿用8位的溢出判断规则，取第7位和第6位的进位做异或得到结果1，会误判本次运算溢出，直接丢弃正确的110011100结果。

无符号数运算场景 #

同样取a=100，b=200，无符号场景下a < b，减法结果为负需要借位，用加法器运算得到的结果为110011100，对应十进制444。如果没有判断进位输出为0的借位标记，直接将444作为无符号减法的结果，就会出现逻辑错误。

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