比较器与边界值规格

大小关系由最高的不同位决定

从 MSB^{iMSB 权重最高的比特。其索引取决于向量声明方向，不能总认为它是编号最大的位。了解更多} 开始比较两个 unsigned^{iunsigned 将位串解释为非负整数的规则。n 位范围为 0 到 2^n−1，可能与同一位串的 signed 解释不同。了解更多} 向量，找到第一个不同位；该位为 1 的数较大。令 $e_i=\overline{a_i\oplus b_i}$，则四位大于条件如下。

左侧的 $\operatorname{gt}(a,b)$ 是表示比较结果的布尔值。只有所有更高位相同，低位比较才影响结果。相等比较则是所有 $e_i$ 的 AND。

signed 比较先解释符号

4'b1111 与 4'b0001 按 unsigned 解释分别为 15 与 1，按 signed 解释则为 -1 与 1。符号不同时，负数更小。logic [3:0] 与 logic signed [3:0] 的区别不是存储容量，而是运算采用的解释。

logic [3:0] a, b;
logic unsigned_lt, signed_lt;
assign unsigned_lt = a < b;
assign signed_lt = $signed(a) < $signed(b);

这段代码针对两个操作数位宽相同的情况。位宽不同时，不能只做简单类型转换，应先决定扩展到哪种位宽。

同样的两个位串，在不同符号约定下可能具有相反的大小关系。不要将 unsigned 的高位优先比较规则直接套用到 signed 数值。

用明确语句固定边界条件

缓冲区可存储 16 项时，count==16 表示满，count<16 表示还能存入。如果 count 只有四位，便无法表示 16，满条件本身就会失效。因此必须同时检查比较器功能与被比较值的表示范围。

对于阈值 $T$，优先检查 $T-1,T,T+1$，但超出表示范围的值需单独处理。测试应刻意区分 < 与 <=。若只比较 unsigned 回绕后的值，就无法恢复已经丢失的进位。