Force语句为何卡死？如何强制操作位阵列中的单个比特？

module dut_top;
    wire [31:0] ctrl_32bit;
    wire        ctrl_1bit;
    assign ctrl_32bit = 0;
    assign ctrl_1bit=0;
    
    initial begin #1000ns; end
endmodule

program automatic test;
    initial begin
        repeat(5) begin
            #100ns;
            force dut_top.ctrl_32bit[0] =~ dut_top.ctrl_32bit[0]; //LINE 1
            force dut_top.ctrl_1bit     =~ dut_top.ctrl_1bit;     //LINE 2
            force dut_top.ctrl_32bit[0] =  dut_top.ctrl_1bit;     //LINE 3
        end
    end
endprogram

上述代码中，LINE 1执行后会陷入卡死状态，但注释LINE 1后，LINE 2和LINE 3可正常运行。现提出以下问题：

1. 导致该问题的原因是什么？我猜测与时序槽（timeslot）有关，但无法自行解释。
2. 如何解决该需求？我需要每隔一段时间强制操作位阵列中的单个比特。

1. 卡死原因 #

确实和Verilog的时序槽（timeslot）执行机制直接相关：

当执行force dut_top.ctrl_32bit[0] =~ dut_top.ctrl_32bit[0]时，会触发无限循环的事件链：

• 右侧先读取ctrl_32bit[0]的当前值（初始为0），取反后得到1，赋值给左侧的ctrl_32bit[0]。
• 由于ctrl_32bit[0]的值发生变化，Verilog的事件驱动机制会再次触发这条force语句的重新计算——因为右侧依赖的信号变了。
• 新的计算中，ctrl_32bit[0]已经是1，取反后变成0，再次赋值给左侧，信号又翻转。
• 这个循环会在同一个时序槽里无限执行，模拟器永远无法推进到下一个时间步，最终表现为卡死。

而LINE 2虽然写法类似，但后续LINE 3的force赋值会覆盖之前的循环逻辑，打断事件链，所以不会触发无限循环。

2. 解决方案 #

核心是打破“赋值右侧依赖被force信号本身”的循环链，推荐两种可靠方法：

方法一：用临时变量缓存信号值 #

先把要操作的信号值读取到局部变量中，再用变量完成取反赋值，彻底切断自依赖：

program automatic test;
    initial begin
        repeat(5) begin
            #100ns;
            bit temp_bit;
            // 先读取当前信号值到临时变量
            temp_bit = dut_top.ctrl_32bit[0];
            // 用临时变量执行取反force
            force dut_top.ctrl_32bit[0] = ~temp_bit; 
            force dut_top.ctrl_1bit     =~ dut_top.ctrl_1bit;     
            force dut_top.ctrl_32bit[0] =  dut_top.ctrl_1bit;     
        end
    end
endprogram

方法二：结合release操作（适用于临时force场景） #

如果不需要持续force信号，可在force后立即释放，配合delta cycle等待避免循环：

program automatic test;
    initial begin
        repeat(5) begin
            #100ns;
            bit temp = dut_top.ctrl_32bit[0];
            force dut_top.ctrl_32bit[0] = ~temp;
            // 若不需要持续force，可释放让原驱动生效
            #0; // 等待一个delta cycle确保赋值生效
            release dut_top.ctrl_32bit[0];
            
            force dut_top.ctrl_1bit     =~ dut_top.ctrl_1bit;     
            force dut_top.ctrl_32bit[0] =  dut_top.ctrl_1bit;     
        end
    end
endprogram

额外提示 #

对于wire类型信号，force会覆盖原有的连续赋值驱动；若是reg类型，force行为类似，但同样要避免自依赖赋值循环。临时变量法是最通用、最安全的方案，能彻底规避循环触发条件。

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