循环内非阻塞语句之前和之后的延迟有什么区别？

Question

这两个代码片段有什么区别？

    always @(posedge clk) begin
            r3 <= @(posedge clk) 1;
            r2 <= @(posedge clk) 1;
            ready = 0;
            while (r2 <= n) begin
                r2 <= @(posedge clk) r2 + 1;     <--- never stops executing
            end
    end


    always @(posedge clk) begin
            r3 <= @(posedge clk) 1;
            r2 <= @(posedge clk) 1;
            ready = 0;
            while (r2 <= n) begin
                @(posedge clk) r2 <= r2 + 1;     <--- normally executes
            end
    end

Answer 1

当模拟器执行r2 <= @(thoughtge clk) r2 + 1时，它执行以下步骤：

• 评估r2 + 1
• 安排非阻塞分配（NBA）更新下一个 posege clk 执行的事件

当模拟器执行 @(thoughtge clk) r2 <= r2 + 1 时，它会执行以下步骤：

• 挂起always 处理并安排其
• 在进程恢复时在下一个 posege clk 处恢复，执行 r2 <= r2 + 1 NBA，执行以下操作：
  • 评估r2 + 1
  • 安排当前时间的 NBA 更新活动

第一种形式解析为非阻塞分配，并在零时间内执行。延迟仅适用于 NBA 执行时生成的更新事件。第二种形式解析为语句延迟控制，后跟 NBA。它不会在零时间内执行，因为延迟适用于语句的执行而不仅仅是更新事件。

第一种形式是无限循环，因为 while 循环体在零时间内执行，并且将增加 r2 的事件安排在未来的时间。

对于第二种形式，当循环终止时，您仍然需要注意边界条件。在安排将 r2 设置为 n + 1 的更新后，在应用该更新之前，条件将再次评估为 true。