如何实现16位半精度浮点数除法？求尾数归一化与舍入方法

一、尾数归一化操作 #

归一化的核心是让尾数满足规格化形式：对于补码表示的尾数，需保证符号位与尾数最高有效位不同（正数符号位0，尾数最高位1；负数符号位1，尾数最高位0），确保尾数绝对值落在[0.5, 1)区间，同时同步调整指数以保持浮点数整体值不变。

1. 规格化状态检测 #

用异或门实现检测逻辑：设符号位为S，尾数最高位为M₁，当S XOR M₁ = 1时，尾数已规格化；否则需要调整。

2. 非规格化尾数的移位与指数调整 #

• 左移归一化：当尾数绝对值小于0.5（正尾数最高位为0，负尾数最高位为1），将尾数循环左移1位（相当于尾数×2），同时用5位减法器将指数减1。重复此操作直到满足规格化条件，或指数达到最小值触发下溢。
• 右移归一化：当尾数绝对值≥1（运算后尾数溢出，比如加法结果为1.xxx），将尾数循环右移1位（相当于尾数÷2），同时用加法器将指数加1。重复此操作直到满足规格化条件，或指数达到最大值触发上溢。
  在Logisim中可通过移位寄存器实现尾数移位，复用现有减法器/新增加法器完成指数同步调整。

二、尾数舍入操作 #

舍入用于处理移位或运算后产生的多余低位，以下是两种常用方案的硬件实现：

1. 就近舍入（四舍五入） #

这是最常用的舍入方式，逻辑如下：
假设保留k位尾数，多余位包含最高舍入位R和后续尾数位集合S：

• 当R=1且（S不全为0 或 保留尾数的最低位为1）时，给保留的尾数加1；否则直接截断多余位。
• 硬件实现：用与门、或门组合生成舍入触发信号：R AND (OR(S) OR 保留位最低位)，将此信号作为进位输入到尾数最低位的全加器。注意：加1后若尾数溢出（全1加1变为1000...），需再次触发右移归一化并将指数加1。

2. 截断舍入（简化方案） #

直接丢弃所有多余低位，电路实现最简单：用多路选择器直接选取需要保留的尾数高位即可，适合对精度要求较低的场景。

内容的提问来源于stack exchange，提问作者Arthur