补码一位乘（布斯公式）

转自：http://ep02.blog.163.com/blog/static/67655853200821842019254/

 

本文适用于补码表示的定点小数或定点整数乘法运算（硬件或软件实现） 

◆ 先考查两个补码乘法运算的例子
例1： 已知 X=0.1011，Y=0.0001（真值）
[X]_补=01011 , [Y]_补= 00001
[X*Y]_补=000001011
[X]_补*[Y]_补=000001011
这时有，[X*Y]_补=[X]_补*[Y]_补

例2： 已知 X=0.1011，Y= - 0.0001（真值）
[X]_补=01011 , [Y]_补= 11111
[X*Y]_补=111110101
[X]_补*[Y]_补=101010101
显然，[X*Y]_补 ≠ [X]_补*[Y]_补

▲ 对两个正数来说，它们补码的乘积等于它们乘积的补码。若乘数是负数时，这种情况就不成立了。

原码乘法的主要问题是符号位不能参加运算，单独用一个异或门产生乘积的符号位。故自然提出能否让符号数字化后也参加乘法运算，补码乘法就可以实现符号位直接参加运算。

为了得到补码一位乘法的规律，先从补码和真值的转换公式开始讨论。（以纯小数为例）

1．  补码与真值的转换公式

设　[x]_补 = x₀ . x₁x₂…x_n，有：

 

	n
	x = - x0＋∑  xi2-i
	i＝1

 

等式左边 x 为真值。此公式说明真值和补码之间的关系。

2.  补码的右移

正数右移一位，相当于乘1/2(即除2)。负数用补码表示时，右移一位也相当于乘1/2。因此，在补码运算的机器中，一个数不论其正负，连同符号位向右移一位（即符号扩展），若符号位保持不变，就等于乘1/2。

3.  补码乘法规则

设被乘数 [x]_补 = x₀.x₁x₂…x_n 和乘数 [y]_补 = y₀.y₁y₂…y_n （注意：包括符号位共n+1位）均为任意符号，则有补码乘法算式

 

	n
	[x·y]补= [x]补·( -y0＋∑ yi2-i )
	i＝1

 

为了推出串行逻辑（递推），实行分步算法，将上式展开加以变换：

[x·y]_补   = [x]_补·[ - y₀ + y₁2^-1 + y₂2^-2 + … + y_n2^-n]

          = [x]_补·[ - y₀ + (y₁ - y₁2^-1) + (y₂2^-1 - y₂2^-2) + … + (y_n2^-(n-1) - y_n2^-n)]

          = [x]_补·[(y₁ - y₀) + (y₂ - y₁) 2^-1 + … + (y_n - y_n-1) 2^-(n-1) + (0 - y_n)2^-n]

          = [x]_补·[...................................] (y_n+1  =  0)   

 

               

写成递推公式如下：

         [ z₀ ]_补 = 0 (赋初值0)

        [ z₁ ]_补 = 2 ^-1{ [ z₀ ]_补 +  (  y_n+1 - y_n ) [x]_补 }       (y_n+1  =  0)