[SV]SystemVerilog進程之fork join专题详解及案例分析

元直数字电路验证

已于 2023-04-04 10:53:35 修改

阅读量2.4k

点赞数 5

分类专栏： SystemVerilog 文章标签：前端 SystemVerilog 数字电路验证

于 2019-07-26 19:22:28 首次发布

本文链接：https://blog.csdn.net/gsjthxy/article/details/96186054

版权

SystemVerilog 专栏收录该内容

157 篇文章

订阅专栏

SystemVerilog進程之fork...join专题详解及案例分析

一、fork-join

1.1、fork join example,

二、fork-join_any

2.1、fork join any example,

三、fork-join_none

3.1、fork join_none example,

一、fork-join

Fork-Join will start all the processes inside it parallel and wait for the completion of all the processes.

1.1、fork join example,

In below example,fork block will be blocked until the completion of process-1 and Process-2.
Both process-1 and Process-2 will start at the same time,
Process-1 will finish at 5ns and Process-2 will finish at 20ns.
fork-join will be unblocked at 20ns.

module fork_join;
 
  initial begin
    $display("-----------------------------------------------------------------");
    fork
      //-------------------
      //Process-1
      //-------------------
      begin
        $display($time,"\tProcess-1 Started");
        #5;
        $display($time,"\tProcess-1 Finished");
      end
 
      //-------------------
      //Process-2
      //-------------------
      begin
        $display($time,"\tProcess-2 Started");
        #20;
        $display($time,"\tProcess-2 Finished");
      end
    join
 
    $display($time,"\tOutside Fork-Join");
    $display("-----------------------------------------------------------------");
    $finish;
  end
endmodule

Simulator output:

-----------------------------------------------------------------
0 Process-1 Started
0 Process-2 Startedt
5 Process-1 Finished
20 Process-2 Finished
20 Outside Fork-Join
-----------------------------------------------------------------

二、fork-join_any

Fork-Join_any will be unblocked after the completion of any of the Processes.

2.1、fork join any example,

In the below example,fork block will be blocked until the completion of any of the Process Process-1 or Process-2.
Both Process-1 and Process-2 will start at the same time, Process-1 will finish at 5ns and Process-2 will finish at 20ns.
fork-join_any will be unblocked at 5ns.

module fork_join;
  initial begin
    $display("-----------------------------------------------------------------");
    fork
      //Process-1
      begin
        $display($time,"\tProcess-1 Started");
        #5;
        $display($time,"\tProcess-1 Finished");
      end
 
      //Process-2
      begin
        $display($time,"\tProcess-2 Started");
        #20;
        $display($time,"\tProcess-2 Finished");
      end
    join_any
 
    $display($time,"\tOutside Fork-Join");
    $display("-----------------------------------------------------------------");
  end
endmodule

Simulator output:

--------------------------------------------------------
0 Thread-1 Started
0 Thread-2 Started
5 Thread-1 Finished
5 Outside Fork-Join
-----------------------------------------------------------------
20 Process-2 Finished

三、fork-join_none

Processes inside the fork-join_none block will be started at the same time, fork block will not wait for the completion of the Process inside the fork-join_none.

3.1、fork join_none example,

In the below example, The fork will start Process-1 and Process-2 at the same time, and it will come out of the block. Process-1 and Process-2 will be executed until the completion.

module fork_join_none;
  initial begin
    $display("-----------------------------------------------------------------");
 
    fork
      //Process-1
      begin
        $display($time,"\tProcess-1 Started");
        #5;
        $display($time,"\tProcess-1 Finished");
      end
      //Process-2
      begin
        $display($time,"\tProcess-2 Startedt");
        #20;
        $display($time,"\tProcess-2 Finished");
      end
    join_none
  
    $display($time,"\tOutside Fork-Join_none");
    $display("-----------------------------------------------------------------");
  end
endmodule

Simulator output:

-----------------------------------------------------------------
0 Outside Fork-Join_none
-----------------------------------------------------------------
0 Process-1 Started
0 Process-2 Startedt
5 Process-1 Finished
20 Process-2 Finished