Verilog中initial块赋值未生效？硬件Sprite驱动问题咨询

1. initial块仅用于仿真，硬件无对应逻辑 #

Verilog的initial块是仿真专用语法，仅在仿真启动时执行一次赋值。当代码被综合为FPGA/ASIC硬件电路时，initial块不会生成任何实际硬件逻辑——硬件没有“上电自动执行初始化”的机制，无法依赖initial设置信号的初始状态或固定值。你在initial里给spr_x[4]的赋值，在硬件电路中完全无效。

2. always_comb要求完全驱动所有赋值变量 #

always_comb是组合逻辑块，Verilog标准明确要求：在always_comb块内，所有被赋值的变量必须在所有代码分支下都被明确赋值。你只在always_comb里驱动了spr_x[0]到spr_x[3]，却遗漏了spr_x[4]，这会导致综合工具将spr_x[4]判定为“未完全驱动”的信号。

• 综合后的硬件中，spr_x[4]要么变成悬浮的线网（状态随机），要么被工具默认处理为固定值（比如0），绝不会保留initial块里的赋值。

3. 前几个Sprite正常的原因 #

spr_x[0]到spr_x[3]在always_comb里被明确赋值，综合后会生成对应的组合逻辑电路，它们的取值由逻辑计算得出，和initial块无关，因此位置正常。

解决方案 #

方案1：补全always_comb的赋值

在always_comb块中添加spr_x[4]的赋值，确保所有spr_x数组元素都被组合逻辑驱动：

always_comb begin
    spr_y = 16'd100;

    spr_x[0] = 20;
    spr_x[1] = spr_x[0] + 30;
    spr_x[2] = spr_x[1] + 30;
    spr_x[3] = spr_x[2] + 30;
    spr_x[4] = spr_x[3] + 30; // 补全这一行

    ...
end

方案2：用常量数组替代组合逻辑

如果这些Sprite的坐标是固定不变的，直接用localparam定义常量数组，无需组合逻辑，更高效：

localparam signed [CORDW-1:0] spr_x[SPR_CNT] = '{20, 50, 80, 110, 140};
localparam signed [CORDW-1:0] spr_y = 100;

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