测试平台通过已有的结构如事件、@事件控制、wait和disable语句、以及新的语言元素(如旗语和信箱),来实现线程间的通信、同步以及线程的控制。
标准的Verilog对语句有两种分组方式,使用begin...end或fork...join。
begin...end中的语句以顺序方式执行,而fork..join中的语句则以并发的方式执行。
后者的不足必须等fork...join内所有语句都执行完后才能继续块内后续的处理。因此verilog测试平台中很少用法它。
SystemVerilog引入了两种新的创建线程的方法,使用fork...join_none和fork..join_any语句,如下所示:
fork...join
父进程会阻塞直到这个分支产生的所有进程结束。
fork...join_any
父进程会阻塞直到这个分支产生的任意一个进程结束。
fork...join_none
父进程会继续与这个分支产生的所有进程并发执行。在父线程执行一条阻塞语句之前,产生的进程不会启动执行。