如何用阻塞赋值实现锁存器？聚焦结构体成员修改需求

首先得理清你原代码的逻辑问题和综合器的行为：

你的初始always_latch代码中，a = a_input;之后立刻执行a.test = a.test[1:0];，这是阻塞赋值的顺序执行，最终等价于直接构造一个新的结构体：word取自a_input，test取自a_input.test的低2位。综合器会把这部分逻辑优化成纯组合电路，再加上enable的选择逻辑，可能没有生成你期望的锁存器——因为它认为可以用多路选择器（MUX）加反馈路径来实现，而不是显式的锁存器单元。

要让Vivado明确综合出锁存器，同时避免临时变量，你需要更清晰地表达锁存器的语义：当enable有效时更新a的状态，无效时保持当前状态，并且明确赋值结构体的所有成员。

情况1：更新时test取自a_input的低2位 #

如果你的需求是：enable有效时，a的word完全来自a_input，test取a_input对应部分的低2位（和你初始always_latch的逻辑一致），可以直接用结构体聚合赋值：

struct packed { logic word; logic [31:0] test; } a;
logic [32:0] a_input;
logic enable;

always_latch begin
    if (enable) begin
        // 直接构造新的结构体值，明确映射关系
        a = '{
            word: a_input[32],       // 假设a_input最高位对应word成员
            test: a_input[31:0][1:0] // 取a_input低32位的最后2位作为test
        };
    end
    // always_latch隐含else分支：enable无效时，a保持当前值
end

这种写法直接告诉综合器：enable有效时用a_input构造新的a，否则锁存当前值，会被正确综合为电平敏感锁存器。

情况2：更新时test取自当前a.test的低2位 #

如果你的需求和触发器版本一致——enable有效时，word取自a_input，test保留自身的低2位（而不是a_input的test），那么可以拆分成员赋值：

struct packed { logic word; logic [31:0] test; } a;
logic [32:0] a_input;
logic enable;

always_latch begin
    if (enable) begin
        a.word = a_input[32];       // 更新word成员
        a.test = a.test[1:0];       // 将test成员截断为低2位
    end
    // enable无效时，a的所有成员保持原值
end

这里要注意：因为a.test的赋值依赖自身的当前值，综合器会生成带有反馈路径的锁存器，实现你需要的保持+修改逻辑。

为什么你的初始代码没生成锁存器？ #

你的初始代码中，a = a_input;和a.test = a.test[1:0];是顺序阻塞赋值，综合器会将其合并为一个组合逻辑计算：直接从a_input生成最终的a值，不需要中间状态。再加上enable的条件，综合器可能用MUX来选择“组合逻辑计算的新值”或“a的当前值”，这在功能上和锁存器等价，但可能没有被标记为显式的锁存器单元。而上面的写法通过明确的结构体赋值或成员拆分，让综合器更清晰地识别出锁存器的意图。

内容的提问来源于stack exchange，提问作者無名前