基于SRT算法的单精度浮点除法器

基于SRT算法的单精度浮点除法器的浮点除法器，其核心算法是 radix-2 SRT（Sweeney, Robertson, Tocher）除法。整体流程可以概括为：

首先对输入浮点数进行拆解（符号位、指数、尾数），并处理 NaN、Inf、0 等特殊情况；对于非规格化数通过前导零计数进行规格化，同时调整指数。

然后进入 SRT 迭代阶段，将尾数转为定点形式，用部分余数（PR）和除数（D）进行逐步逼近，每一轮通过比较 |PR| 与 D/2 来选择商位 {-1, 0, +1}，并更新 PR，实现递推关系 PR = 2·PR − q·D，同时用冗余形式（Q_pos 和 Q_neg）累积商。

迭代结束后，将冗余商转换为标准二进制结果，并结合 guard 位和 sticky 位按照指定舍入模式（如最近偶数舍入）进行舍入处理，必要时进行规格化和指数调整。

最后根据指数范围判断溢出/下溢并输出结果。

如有需要联系咸 鱼：cllllll28