Verilog中disable语句能否禁用always块？运行行为解析

不能。disable语句无法永久禁用Verilog的always块，它仅能终止当前一次的块执行流程，而always块的本质是会无限重复触发执行的。

代码行为分析 #

module xyz;
  
  always
  begin : b1
    $display("I am executing"); // statement 1
    disable b1;
    $display("I am still executing"); // statement 2    
  end  
  
endmodule  

执行流程拆解：

• always块启动，进入b1块，执行statement 1，打印"I am executing"。
• 执行disable b1：终止当前正在运行的b1块，直接跳出到块结束位置，statement 2永远不会被执行。
• 当本次b1块执行结束后，always块的特性会立即触发下一轮执行，回到起始位置重新开始，如此循环往复，导致statement 1被无限打印。

这就是你看到输出中"I am executing"不断重复、statement 2从未出现的原因。

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