systemverilog中fork..join， join_any， join_none的用法和解析

最新推荐文章于 2025-02-26 00:46:38 发布

brank_z

最新推荐文章于 2025-02-26 00:46:38 发布

阅读量2.5w

点赞数 15

分类专栏： UVM之RTL验证

本文链接：https://blog.csdn.net/a52228254/article/details/106184602

版权

4 篇文章

订阅专栏

本文深入探讨了SystemVerilog中的并发控制结构fork..join, join_any及join_none的使用方法，通过实例解析了如何在多线程操作中正确应用这些结构，并强调了automatic关键字在避免局部变量冲突中的关键作用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

相信所有用systemverilog的验证人员都应该对这几个不陌生，在进行验证的过程中经常会用到fork，自己也踩了一些坑，下面对fork.. join, join_any以及join_none的用法进行总结，以及整理下可能遇到的坑。

简单的说就是：

fork..join: 必须等到ment1，ment2，ment3全部执行完之后，ment4才可以执行。

fork..join_any: 等到ment1，ment2，ment3之中任何一个执行完毕之后，ment4才可以执行

fork..join_none: ment4的执行与否不依赖于ment1，ment2和ment3，他们可以同步执行。

在使用过程中经常需要多线程操作，多线程的正确写法为：

for(int i=0;i<3;i++)begin
    fork
        automatic idx = i
        begin
            `uvm_do(do[i]);
        end        
    join_none
end

这样就完成了一个简单的多线程，这里为什么要用automatic关键字定义idx，可以参考下面的详细解释。

局部数据存储 automatic作用

Verilog中由于任务中局部变量会使静态存储区，当在多个地方调用同一个任务时，不同线程之间会窜用这些局部变量。

Systemverilog中，module和program块中，缺省使用静态存储；如果想使用自动存储，需加入automatic关键词。

这几个fork还是比较常用的，一定要经常看看，熟悉用法。