补码乘法运算的原理

补码乘法运算的原理

补码的出现统一了计算机运算中的加减法操作，那对于补码的乘法该如何操作呢？

补码表示法

• 纯小数补码的定义

$$[x{]}_{补}=\{\begin{array}{rlrlrl}x& & & & & 1>x\ge 0\\ 2+x& & & & & 0>x\ge -1\end{array}(mod2)$$
比如两个小数分别为
$$\begin{gathered} x_1=-0.0010 \\ {x}_2=+0.1101 \end{gathered}$$
则根据补码表示法
$$\begin{gathered} [x_1{]}_{补}=2+x_1=2+(-0.0010)=1.1110000 \\ [x_2{]}_{补}=x_2=0.1101000 \end{gathered}$$
以上字长均为八位。

• 纯整数的补码定义

$$[x{]}_{补}=\{\begin{array}{rlrlrl}x& & & & & 2^n>x\ge 0\\ 2^{n+1}+x& & & & & 0>x\ge -2^n\end{array}(mod2)$$
比如两个整数分别为：
$$\begin{gathered} x_1=1101 \\ {x}_2=-0011 \end{gathered}$$
根据补码表示法
$$[x_1{]}_{补}=x_1=1101$$
$$[x_2{]}_{补}=x_2+2^8=10000000+(-0011)=11111101$$

定点补码一位乘法——校正法

先给公式：
对于纯小数
$$\begin{gathered} [x{]}_{补}=x_0.x_1{x}_2\dots x_n \\ [y{]}_{补}=y_0.y_1{y}_2\dots y_n \end{gathered}$$
其中$x_0$和$y_0$分别是被乘数与乘数$x$与$y$的符号位
$$[x\ast y{]}_{补}=x_{补}\ast (0.y_1{y}_2\dots y_n)-[x{]}_{补}\ast y_0$$
下来证明这一结论：

1. 首先考虑乘数$y$为正数的情形
   • 假定被乘数$x$也为正数，则此时是两个正数相乘。
     对于正数，它的原码，补码，反码是相同的，所以根据原码乘法的正确性可以得到这种情形也是正确的。
   2. 假定被乘数$x$是负数，
      则有
      $$\begin{gathered} [x{]}_{补}=x_0.x_1{x}_2\dots x_n=2+x=2^{n+1}+x \\ [y{]}_{补}=y_0.y_1{y}_2\dots y_n=y \end{gathered}$$
      这一步中的$2+x=2^{n+1}+x$是根据mod 2的性质得到的，对于纯小数无论是+2还是+4或者是加$2^n$都只能保留小数点前一位的符号位，因此这些结果都是相同的。
      所以有
      $$\begin{gathered} [x{]}_{补}\ast [y{]}_{补}=[x{]}_{补}\ast y \\ =(2^{n+1}+x)\ast y=2^{n+1}\ast y+x\ast y \end{gathered}$$
      其中
      $$y=0.y_1{y}_2\dots y_n=\sum _{i=1}^n{y}_i\ast 2^{-i}$$
      所以
      $$2^{n+1}\ast y=2\sum _{i=1}^n{y}_i\ast 2^{n-i}$$
      式中的$n-i>=0$因此
      $$\sum _{i=1}^n{y}_i\ast 2^{n-i}$$是一个整数。
      所以
      $$2^{n+1}\ast y$$是一个偶数。
      所以
      $$\begin{gathered} [x{]}_{补}\ast [y{]}_{补}=[x{]}_{补}\ast y \\ =(2^{n+1}+x)\ast y=2^{n+1}\ast y+x\ast y \\ =2+xy=[x\ast y{]}_{补} \end{gathered}$$
      这一步是根据x*y是负数所以有$2+xy=[x\ast y{]}_{补}$
2. 接着考虑乘数$y$为负数的情形
   在上一步中，我们证明了y是正数的情况，在证明y是负数是自然想到应该向y是正数靠拢。
   考虑到：
   $$[y{]}_{补}=y_0.y_1{y}_2\dots y_n=y+2$$
   所以有
   $$y=[y{]}_{补}-2=1.y_1{y}_2\dots y_n-2=0.y_1{y}_2\dots y_n-1$$
   此时我们发现y被表示成一个正数的补码与1的差值的形式，那么我们就可以用第一问的结论：
   $$\begin{gathered} [x\ast y{]}_{补}=[x\ast (0.y_1{y}_2\dots y_n){]}_{补}+[-x{]}_{补} \\ =[x{]}_{补}\ast (0.y_1{y}_2\dots y_n)+[-x{]}_{补} \end{gathered}$$
   结合第一种情形
   $$[x\ast y{]}_{补}=[x{]}_{补}\ast (0.y_1{y}_2\dots y_n)$$
   将两种情况统一，可得到：
   $$[x\ast y{]}_{补}=[x{]}_{补}\ast (0.y_1{y}_2\dots y_n)-[x{]}_{补}\ast y_0$$
   之所以称为校正法就是因为对于被乘数小于0的情形需要加上$[-x{]}_{补}$加以修正。
   因为校正法需要首先判断乘数的正负，再确定是否需要加上$[-x{]}_{补}$加以修正，在这个过程中乘数的符号位不参与运算，且需要判断，所以在校正法的基础上提出了Booth乘法。

Booth乘法

$$[x\ast y{]}_{补}=[x{]}_{补}(0.y_1{y}_2\dots y_n)-[x{]}_{补}\ast y_0$$
$$\begin{array}{rl}[x\ast y{]}_{补}& =[x{]}_{补}(0.y_1{y}_2\dots y_n)-[x{]}_{补}\ast y_0\\ & =[x{]}_{补}\ast (-y_0+y_1{2}^{-1}+y_2{2}^{-2}+\dots y_n\ast 2^{-n})\\ & =[x{]}_{补}\ast [-y_0+(y_1-y_1\ast 2^{-1})+(y_2\ast 2^{-1}-y_2\ast 2^{-2})\dots ]\\ & =[x{]}_{补}\ast [(y_1-y_0)+(y_2-y_1)\ast 2^{-1}\dots (y_n-y_{n-1})\ast 2^{-(n-1)}+(0-y_n)\ast 2^{-n}]\end{array}$$
所以我们根据上式可以得到Booth乘法的递推公式：
[z0]C=0[z1]C=2−1{(yn+1−yn)[x]C+[z0]C}⋮[zn]C=2−1{(y2−y1)[x]C+[zn−1]C}\begin{aligned}&[z_0]_{C} = 0 \\ &[z_1]_{C} = 2^{-1}\{(y_{n+1}-y_n)[x]_C+[z_0]_{C}\}\\ & \vdots\\ &[z_n]_C= 2^{-1}\{(y_2-y_1)[x]_C+[z_{n-1}]_C\} \end{aligned}​[z0​]C​=0[z1​]C​=2−1{(yn+1​−yn​)[x]C​+[z0​]C​}⋮[zn​]C​=2−1{(y2​−y1​)[x]C​+[zn−1​]C​}​
故最终的结果为：
$$[x\ast y{]}_{补}=[z_n{]}_{补}+(y_1-y_0)[x{]}_{补}$$
这里的$z$指的是从booth公式中最右端开始，每次加上它左边的项再乘1/2（右移一位）的临时的结果。
可将计算结果简化为如下表格

这里特别需要注意的是无论是$+[x{]}_{补}$或者是$-[x{]}_{补}$都是对于高n位进行操作的。