【HDL系列】除法器(3)——基2 SRT算法

目录

一、除法表示

二、数字递归算法基础公式

三、QDS（Quotient Digit Selection）函数

四、基2 SRT算法

---

一、除法表示

除法被定义如下：

其中，x是被除数，d是除数，q是商，rem是余数。

商的精度由ulp（unit of last position）来决定:

    如果ulp=1, 商q则是整数；

    如果ulp=r^(-n)，n是商数个数，r是所有输入操作数的基，此时商为小数。

二、数字递归算法基础公式

在使用数字递归算法（Digit Recurrence Algorithms）进行除法操作时迭代n次，每次迭代中产生基r的商，其中商的最高位先产生。经过j+1次迭代后，商表示如下：

经过n次迭代后除法完成，产生了n个商数，商q表示为：

最终q的误差需小于ulp，所以：

在第j+1次迭代中，每一步中产生的误差为：

重新组合上式，两式各乘以d和r的j+1次得：