综合过程中Inferred Latch错误成因及BCD转Excess-3模块异常排查

问题本质 #

哪怕用了always(*)块，综合器推断锁存器的核心原因还是输出变量在某些输入组合下没被明确赋值——综合器会默认需要锁存之前的值来维持状态，这就是你行为仿真正常但综合后结果异常的根源（行为仿真没触发那些未赋值的分支，所以没暴露问题）。

常见坑点及修复方法 #

1. 隐性遗漏非法输入分支 #

BCD码只覆盖0-9（4位二进制0000-1001），但如果你的代码只处理了这10种情况，没明确处理1010-1111这些非法输入，综合器就会为这些情况推断锁存器。

• 修复：必须给所有可能的输入组合（包括非法码）明确赋值。要么在case里加default分支，要么在最后补个else兜底。

2. 分支里的子路径未赋值 #

比如嵌套if-else或者case的子分支中，某个条件下忘了给输出变量赋值。举个典型反例：

always(*) begin
    if (bcd == 4'd0) excess3 = 4'd3;
    else if (bcd == 4'd1) excess3 = 4'd4;
    // ... 中间处理2到8
    else if (bcd == 4'd9) excess3 = 4'd12;
    // 这里没处理bcd>=10的情况，直接触发锁存器
end

• 修复：要么补全所有分支的赋值，要么在always(*)块开头先给输出变量赋个默认值（比如excess3 = 4'b0000;），后面再覆盖特定情况。

3. 误用赋值方式 #

组合逻辑里用<=赋值虽然语法允许，但容易混淆时序/组合逻辑边界，而且一旦分支漏赋值，锁存器推断概率更高。组合逻辑建议用=直接赋值。

正确写法参考 #

方法一：补全所有分支的case写法 #

module bcd_to_excess3(
    input [3:0] bcd,
    output reg [3:0] excess3
);

always(*) begin
    // 先赋默认值，兜底所有未覆盖的情况
    excess3 = 4'b0000;
    case(bcd)
        4'd0: excess3 = 4'd3;
        4'd1: excess3 = 4'd4;
        4'd2: excess3 = 4'd5;
        4'd3: excess3 = 4'd6;
        4'd4: excess3 = 4'd7;
        4'd5: excess3 = 4'd8;
        4'd6: excess3 = 4'd9;
        4'd7: excess3 = 4'd10;
        4'd8: excess3 = 4'd11;
        4'd9: excess3 = 4'd12;
        default: excess3 = 4'b1111; // 非法BCD码的处理
    endcase
end

endmodule

方法二：更简洁的连续赋值写法 #

Excess-3码本质就是BCD码加3，直接用组合逻辑赋值，完全不会有锁存器问题：

module bcd_to_excess3(
    input [3:0] bcd,
    output [3:0] excess3
);

assign excess3 = (bcd <= 4'd9) ? (bcd + 4'd3) : 4'b1111;

endmodule

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