SystemVerilog数字集成电路功能验证课件 (8).pdf

SystemVerilog芯片验证

第7章进程间通信

2024年2月7日

SystemVerilog芯片验证2024年2月7日1/46

块语句和进程块语句

块语句

块语句（blockstatement）可以将一些语句组合在一起，使它们在语法上就像一

条语句一样，块语句包含如下两种类型。

1顺序块（sequentialblock），也被称为begin-end块，它由关键字begin和

end分隔。顺序块不启动新的子进程，块中的过程语句按前后顺序逐条被

执行。

2并行块（parallelblock），也被称为fork-join块，它由关键字fork和join、

join_any或join_none分隔。并行块可以包含顺序块，并行块中的顺序块

和过程语句都会各自启动一个新的子进程，这些子进程同时被执行。

SystemVerilog芯片验证2024年2月7日2/46

块语句和进程块语句

并行块

1fork-join块：阻塞主进程，启动所有子进程，当最慢的子进程执行完成后，

主进程才恢复运行。

2fork-join_any块：阻塞主进程，启动所有子进程，当最快的子进程执行完

成后，主进程才与剩余的子进程同时运行。

3fork-join_none块：不阻塞主进程，主进程和所有子进程同时运行，这是最

常用的一种并行块。

fork-join块主进程暂停

子进程1

子进程2

fork-join_any块主进程暂停

子进程1

子进程2

fork-join_none块主进程始终执行

子进程1

子进程2

SystemVerilog芯片验证2024年2月7日3/46

块语句和进程块语句

并行块中的顺序块和过程语句都会各自启动一个新的子进程。

4moduleautomatictest;

5initialbegin

6$display(@%0t:Line%0d,proc,$time,`__LINE__);

7#10$display(@%0t:Line%0d,proc,$time,`__LINE__);

8fork

9$display(@%0t:Line%0d,subproc1,$time,`__LINE__);//第一个子进程

10#30$display(@%0t:Line%0d,subproc2,$time,`__LINE__);//第二个

子进程

11begin//第三个子进程

12#20$display(@%0t:Line%0d,subproc3-1,$time,`__LINE__);

13#20$display(@%0t:Line%