计算机组成：补码一位乘法（booth法的）原理

计算流程

图源：王道计租

原理

对于任意一个数字 $[xy{]}_{补}$ ！=$[x{]}_{补}$ $[y{]}_{补}$
我们接下来就是要推导其究竟应该等于什么
注意到
$$[x{]}_{补}=x_0.x_1{x}_2......x_n$$
其代表的真值可以表示为
$$\begin{gathered} x=-x_0+x_1\ast 2^{-1}+x_2\ast 2^{-2}+......x_n\ast 2^{-n})= \\ -x_0+(x_1-x_1\ast 2^{-1})+(x_2\ast 2^{-1}-x_2\ast 2^{-2})= \\ {x}_1-x_0+(x_2-x_1)\ast 2^{-1}+(x_3-x_2)\ast 2^{-2}+......(x_n-x_{n-1})\ast 2^{-n} \end{gathered}$$
我们知道，补码的符号位是可以直接参与运算的。
两个补码的加减是可以直接连带着符号进行的。
但是如果我们要计算xy的补码，是不可以直接等价于x的补码和y的补码相乘的
这是因为这么解释后，没法再按照补码的规则解释回去。
因此才有了如下的变形。
计算$[x\ast y{]}_{补}$的等价形式

$$\begin{gathered} x\ast y=x\ast (-y_0+y_1\ast 2^{-1}+y_2\ast 2^{-2}+......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}) \\ +......(y_n\ast 2^{-n+1}-y_n\ast 2^{-n})) \\ =x\ast (y_1-y_0+(y_2-y_1)\ast 2^{-1}+(y_3-y_2)\ast 2^{-2} \\ +......(y_n-y_{n-1})\ast 2^{-n}) \end{gathered}$$
因此逆向按照$[x{]}_{补}$的解释方式
$$[x\ast y{]}_{补}=[x{]}_{补}\ast [y_1-y_0,...,y_n-y_{n-1}]$$
即为x与$[y_1-y_0,...,y_n-y_{n-1}]$依次按照乘法相乘即可
我们依次按照第二项的某一位的正负，按照类似原码相乘的方法进行计算即可。具体参考上边的计算方法。