第二章运算方法和运算器3.ppt

第二章 运算方法和运算器 2.2 定点加法、减法运算 2.2.1 补码加法 补码加法 [x+y]补=[x]补+ [y]补 (1) x0, y0 (2) x0, y0 (3) x0, y0 (4) x0, y0 2.2.1 补码加法 定义(定点小数)： x 1x0 [x]补= (mod 2) 2+x=2-|x| 0x -1 [x]补= 2+x [x]补+ [y]补= [x+ y]补 2.2.1 补码加法 注意： 补码表示与求补是两个不同的概念！ 反码表示与取反同样是两个不同的概念！ 2.2.1 补码加法 证明：[-x]补=[ [x]补]求补——习题[P8-4] 当x=0时： [ [x]补]补=2+(2+x)=x (mod 2) 而[-x]补=2+(-x)=2-|-x|=2-x (mod 2) [ [x]补]求补= [2+x(mod 2)]求补=[x]求补 =x+1未位 而 [-x]补=2+(-x)=2-x =x+1未位 当x=0时： [-x]补=2+(-x)=|x| (mod 2) [ [x]补]求补=[2+x]求补=x (mod 2) =[2-|x|]求补 =2-(2-|x|) =2-2+|x| =|x| 2.2.2 补码减法 证明：[-y]补= -[y]补 [x-y]补= [x+(-y)]补= [x]补+ [-y]补 = [x]补 -[y]补 [x+y]补= [x]补+ [y]补 [x-y]补+ [x+y]补= [x]补+ [x]补+ [y]补+[-y]补 [x-y+ x+y]补= [x]补+ [x]补+ [y]补+[-y]补 [y]补+[-y]补=0 [-y]补= -[y]补 2.2.3 溢出概念与检测方法 例15与例16 0.1011 1.0011 + 0.1001 + 1.0101 1.0100 0.1000 上溢与下溢 溢出概念与检测方法 溢出： 1、两正数相加结果为负 2、两负数相加结果为正 溢出的检测方法一： “变形补码”或“模4补码” ｘ　　　2＞ｘ≥0 [ｘ]补＝ 4＋ｘ　 0＞ｘ≥－2 [ｘ]补＝ 4＋ｘ (mod 4) 请注意“变形补码”的取值范围： 　2＞ｘ≥0 1＞ｘ≥0 0＞ｘ≥－2 0＞ｘ≥－1 溢出的检测方法一： 变形补码的意义是增加了一位符号位，在正常情况下两符号位是相同的。 溢出的判别可通过 V＝Sf1⊕Sf2 来实现。 溢出的检测方法二： 采用单符号位，利用V＝Cf⊕Co来检测溢出； 当两操作数均大于0时，符号位一定没有进位，此时如最高数据位有进位则一定溢出； 当两操作数均小于0时，符号位一定有进位，此时如最高数据位没有进位则一定溢出； 当两操作数为一正一负时，最高数据位如有进位则符号位一定有进位，最高数据位如没有进位则符号位一定没有进位，不会产生溢出。 注意： 溢出并不一定是出错，在有些情况下溢出是正常的，比如在进行乘、除法运算时经常要进行加、减法与移位操作的交替实现；此时出现的溢出往往会在随后的右移操作中消失，因此不影响运算结果的正确性。 2.2.4基本的二进制加法/减法器 Si＝ AiBiCi＋AiBiCi＋ AiBiCi＋AiBiCi ＝(AiBi ＋AiBi)Ci ＋ (AiBi ＋AiBi)Ci ＝(Ai⊕Bi) Ci＋ (Ai⊕Bi) Ci ＝Ai⊕Bi⊕Ci Ci＋1＝AiBi＋BiCi＋CiAi＝ AiBi＋ (Ai⊕Bi) Ci ＝AiBi＋ (Ai ＋ Bi) Ci ＝A