fork语句遇见for循环语句

一、没有automatic的fork-join_none

通常小白会这么写：

代码如下：

 foreach(a[i]) begin
      fork
        repeat(a[i]) #1ns;
        $display("a[%0d] = %0d, @%0t",i,a[i],$time);
      join_none
    end

结果如图：

由图可知，有两个问题：

• 打印时间全部为0时刻：因为使用的fork-join_none语句，所以延迟语句不会阻塞$display语句的进行，因此在0时刻foreach遍历后直接进行了打印，时间显示为0时刻。
• 打印结果全部为a[5] = 0：因为在0时刻通过foreach的遍历，同时开辟了五个延迟线程和五个/$display线程，接下来需要确定i的值进行打印；而此时i在在最后一次遍历（i =4 ）后由于加1变成了i = 5；因此五个打印线程“寻找”到的i为5，但a[5]并没有赋值，因此默认为0，进行了打印。

二、 有automatic的fork-join_none

先解决打印结果的问题，通过使用automatic语句：

代码如下：

foreach(a[i]) begin
      automatic int j=i;
      fork
       repeat(a[j]) #1ns;
        $display("a[%0d] = %0d, @%0t",j,a[j],$time);
    join_none
    end

结果如图：

由图可知：

• 打印时间全部为0时刻：原因与1一致，不再赘述
• 打印结果为正常遍历输出：通过automatic语句，将每次的i赋值为j，这样相当于把i“暂存”起来，因此可以正确的输出。

三、加上begin-end

再来解决打印时间的问题，通过使用begin-end语句：

代码如下：

 foreach(a[i]) begin
      automatic int j=i;
      fork
        begin
        repeat(a[j]) #1ns;
        $display("a[%0d] = %0d, @%0t",j,a[j],$time);
        end
      join_none
    end

结果如图：

由图可知，打印结果和打印时间全部正常，这是因为用begin-end语句将延时语句和打印语句从并行执行改成串行执行，因此将会在等待延时后再打印。

四、没有automatic的fork-join

代码如下：

 foreach(a[i]) begin
     fork
         repeat(a[i]) #1ns;
         $display("a[%0d] = %0d, @%0t",i,a[i],$time);
    join
    end

结果如下：

由图可知，虽然没有automatic语句但是打印结果和打印时间全部正常，这是因为fork-join会一直阻塞直到延时语句和打印全部执行。