fork...join能够从它的每一个并行语句中产生并发进程。 \\
fork...join块的声明语法如下：\\
<code verilog>
par_block ::=         
    fork [: block_identifier] {block_item_declaration} {statement_or_null}
    join_keyword [: block_identifier]

join_keyword ::= join | join_any | join_none
</code>
fork...join块可以指定一条或多条语句，每一条语句都应该作为并发进程执行。Verilog中fork...join块总是引起执行fork语句的进程阻塞直到所有分支进程中止。通过加入join_any和join_none关键字，SystemVerilog提供了三种选择来指定父进程何时恢复执行。 \\
join \\
父进程会阻塞直到这个分支产生的所有进程结束。 \\
join_any \\
父进程会阻塞直到这个分支产生的任意一个进程结束。 \\
join_none \\
父进程会继续与这个分支产生的所有进程并发执行。在父线程执行一条阻塞语句之前，产生的进程不会启动执行。\\
在定义一个fork...join块的时候，将整个分叉封装在一个begin...end块中会引起整个块作为单个进程执行，其中每条语句顺序地执行。\\
<code verilog>
fork
    begin
        statement1; // 一个带有2条语句的进程
        statement2;
    end
join
在下面的例子中，包含两个进程分支，第一个等待20ns，第二个等待命名事件eventA被触发。因为指定了join关键字，父进程应该阻塞直到这两个进程结束；也就是说，直到过了20ns并且eventA被触发。
fork
    begin
        $display("First Block\n");
        #20ns;
    end
    begin
        $display("Second Block\n");
        @eventA;
    end
join
在一个fork...join语句的关联文中使用return语句是非法的，并且会导致一个编译错误。例如：
task wait_20;
    fork
        #20;
        return; // 非法的：不能返回；任务位于另外一个进程中
    join_none
endtask
只要fork...join块作用范围内声明的自动变量进入它们的作用范围，在产生任何进程之前，这些自动变量应该被初始化成它们的初始值。这些变量对于循环结构产生的进程存储唯一的、每次都交互的数据非常有用。例如：
initial
    for(int j = 1; j <= 3; ++j)
        fork
            automatic int k = j;     // 对每一个j值的本地拷贝
            #k $write("%0d", k);
            begin
                automatic int m = j; // m的值是不确定的
                ...
            end
        join_none
上面的例子的输出为：123。 
</code>