定点数运算及溢出检测（网安计组）

定点数运算及溢出检测

$$\begin{gathered} [x{]}_{补}+[y{]}_{补}=[x+y{]}_{补}(modM) \\ [x{]}_{补}-[y{]}_{补}=[x-y{]}_{补}=[x{]}_{补}+[-y{]}_{补}(modM) \end{gathered}$$

取反技巧：

通过右向左扫描$[Y{]}_{补}$，在遇到数字1及之前，直接输出遇到的数字，遇到1之后，取反输出，即可得到$[-Y{]}_{补}$，反之亦然！

溢出：运算结果超出了某种数据类型的表示范围。

溢出的检测方法

(1) 对操作数和运算结果的符号位进行检测

​ 当结果的符号位与操作数的符号不相同时就表明发生了溢出

​ (设$X_0$ ，$Y_0$ 为参加运算数的符号位，$S_0$ 为结果的符号位)

​ $V=X_0{Y}_0\overline{S_0}+\overline{X_0{Y}_0}{S}_0$

​ 当V=1时，运算结果溢出

(2)对最高数据位进位和符号进位进行检测

​ 设运算时最高数据位产生的进位为$C_1$，符号位产生的进位为$C_0$，

​ 溢出检测电路为： $V=C_0\oplus C_1$

(3)用变型补码

​ $[X{]}_{补}=X_{f1}{X}_{f2}.X_1{X}_2{X}_3\dots X_{n}mod{2}^{n+2}$

​ 溢出的判断:

​ $V=X_{f1}\oplus X_{f2}$