对于非阻塞语句，begin end和fork join有什么区别？

问题描述

我们知道阻塞语句和非阻塞语句之间的区别是：阻塞语句按顺序执行（下一条语句的执行被阻塞，直到当前一个语句完成为止）并用于组合电路中。

示例：

always@(*) begin

c = A & B;

D = C/A;

end

这里所有语句都按顺序执行（阻塞语句）

非阻塞语句并行执行（不阻塞下一条语句的执行），并在顺序电路中执行。

示例：以移位寄存器为例

always@posedge(clk) begin

A<=B;

B<=C;

C<=D;

end

这里所有语句都是并行执行的，因为它是非阻塞的，我们使用了posedge clk

现在，如果您看到begin end和fork join之间的区别，则区别是：在begin end中，语句按照列出的顺序（即顺序）执行，而在{ {1}}，语句并行执行。

我的问题是，在上面的非阻塞语句示例中，我们使用了fork join，但这些语句不是按顺序并行执行的，但是如果您发现begin end与begin end表示fork join一个接一个地执行语句。

有人可以解释清楚吗？

解决方法

在上面的非阻塞语句示例中，我们使用了begin end 但是语句不是按顺序并行执行的

那是不对的。在上面的非阻塞语句示例中，我们使用了begin-end ，并且这些语句被顺序执行。但是，尽管如此，执行的顺序并不重要。细微但重要的区别。

当执行包含 non-blocking分配的代码行时，将立即执行该行，但是该分配的左侧（ target ）不会立即获得其新值。因此，在同一begin-end块中的任何其他语句，如果使用非阻塞分配读取分配给该变量的变量，则将使用该变量的旧值。因此，在begin-end块中使用非阻塞分配的语句顺序通常无关紧要。您的示例就是这种情况。

那么，非阻塞分配的左侧何时更新？

System-Verilog有9个所谓的调度程序区域：

from prev time step
        |
     PREPONED
        |
      ACTIVE
        |
     INACTIVE
        |
       NBA
        |
     OBSERVED
        |
    RE-ACTIVE
        |
   RE-INACTIVE
        |
      RE-NBA
        |
    POSTPONED
        |
        V  to next time step

Verilog有4个：

from prev time step
        |
      ACTIVE
        |
     INACTIVE
        |
       NBA
        |
    POSTPONED
        |
        V  to next time step

将其视为流程图，该流程图在每个时间步长中执行。 （ timestep 是一个特定的模拟时间-12345ns或任何其他时间。）begin-end块中的代码行在 ACTIVE 中执行>区域（即较早），但是直到 NBA 区域（即较晚），您的非阻塞任务的左侧才会更新。

,

您对非阻塞分配的描述不正确。程序块中的所有语句（始终，初始，最终）始终（按顺序）执行 ，包括具有非阻塞分配的语句。在开始/结束对中包含多个语句。

阻塞分配和非阻塞分配之间的区别是，将值分配给左侧变量时。非阻塞分配导致延迟分配。它也是顺序执行的，但是在延迟的调度区域中。这是一个模拟工件。

fork / join 对使其中的所有语句并行执行。它们属于测试平台，并且不能综合。通常，它们用于在仿真中并行运行多个测试平台 任务。

,

同步正确。您可以将fork..join视为将每个表达式拆分为自己的动作块。因此，如果您重新编码示例：

always@posedge(clk) begin
   A<=B;
   B<=C;
   C<=D;
end

为

always@posedge(clk) fork
   A<=B;
   B<=C;
   C<=D;
join

模拟器会将上面的内容解释为：

always@posedge(clk) A<=B;
always@posedge(clk) B<=C;
always@posedge(clk) C<=D;

在这种情况下，它的行为恰好就像在开始..结束对中一样。

正如其他人所指出的那样，综合工具通常会拒绝fork..join构造，因为当您在此处不使用它们时，fork join提供了旨在进行有效测试平台编码的其他功能。例如，代码执行在连接处停止，直到每个分叉的块完成执行为止。