Systemverilog 第十二课 线程

最新推荐文章于 2023-12-16 22:59:26 发布
最新推荐文章于 2023-12-16 22:59:26 发布
阅读量252 收藏 1
点赞数
分类专栏： System Verilog
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_38453556/article/details/108149308
版权
本文介绍了Systemverilog中的线程概念，包括join、join_none、join_any的使用，阐述了它们的区别以及在并发执行中的行为。此外，还详细讲解了事件(Event)的触发与等待，如Semaphore和Mailbox在多线程同步中的应用。
摘要由CSDN通过智能技术生成

线程

两种分组语句：
begin/end：串行执行
fork/jion：并行执行

join,join_none,join_any

在这里插入图片描述

  • join
    必须要执行完程序段内所有的进程才会跳出

在这里插入图片描述
在上述程序中理论上两个$display没有先后关系，但是仿真器会先后输出两句话（输出顺序无参考价值），因此应当尽量避免这种写法。整个程序段在至少经过20ns并且eventA执行完毕后才会跳出。

  • ** join_any**
    等到任何一个进程执行完毕即可跳出，但是剩下的进程会继续执行
    在这里插入图片描述

  • join_none
    程序段内的进程不会影响后续的语句，相当于和后面的程序完全并行。

  • 实例

最低0.47元/天 解锁文章
qq_38453556
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
SystemVerilog学习-09-进程间同步、通信和虚方法
Vuko_Coding Zone
06-30 1508
测试平台中的所有线程都需要同步并交换数据。—个线程等待另外一个，例如验证环境需要等待所有激励结束、比较结束才可以结束仿真。比如监测器需要将监测到的数据发送至比较器，比较器又需要从不同的缓存获取数据进行比较。...
SystemVerilog中的Events事件
hh199203的博客
07-26 4467
文章目录前言一、事件（Events）二、@操作符和wait()操作的区别三、wait_order总结 前言 本文首先介绍SystemVerilog中的Events；其次记录了@操作符和wait()操作的区别；最后介绍了wait_order的用法。 一、事件（Events） 事件（Events）是进程之间同步的静态对象。 事件发挥作用的过程分为两个阶段，即： 一个进程触发（trigger ）事件，另一个进程等待事件被触发（triggered）。可以使用->操作符触发事件，使用@操作符或者wait(
SV中关键字用法学习笔记
Whistle0602的博客
08-02 5092
本文章是CSDN博客上收集信息集合 1. event event事件是静态的同步对象句柄（可以像参数一样在子程序中传递），它用来同步多个并发的进程，比如某个进程等待着事件，而另一个进程则触发这个事件。 几个特征： 可以被赋值成null 可以传给队列，函数和任务 可以被赋值给其它事件，这样两个事件变量（句柄）会指向同一个同步化对象，触发任意一个变量就触发这个事件, 如下所示 event eve; event tmp; initial begin tmp = eve; ...
SystemVerilog基础：并行块fork-join、join_any、join_none（二）
前进，才知道自己的渺小
12-16 844
在第一节中，我们讨论了并行块中的fork-join块和fork-join_any块，了解了它们的差异，本文将继续讨论fork-join_none块的使用。 fork-join_none并行块拥有和普通的fork_join并行块一样的语句并行性质，即块内的语句在同一仿真时间执行，但它拥有一个特性，即完全不阻碍父线程的执行，下面是SystemVerilog标准中的解释。
SV学习笔记—线程之间的通信（事件event、信箱mailbox、旗语semaphore）
不定期分享IC验证学习笔记
01-28 1万+
0.前言 若多个线程之间想要进行数据交换或者知道彼此的状态以决定执行什么线程，SV中通过event、mailbox、semaphore来进行线程通信。其中event是2个线程之间的通信，semaphore是≥2个线程之间的通信。 1.事件event 当我们需要一个进程在另一个进程触发事件的时候运行该怎么办？SV中引入了event来解决这个问题。其语法如下： 触发：-> （非阻塞）（类比于接电话） 等待：@ or wait（阻塞）（类比于打电话） 注意：若用->和@搭配，一定要先@再-
SystemVerilog多线程
m0_55429241的博客
05-11 628
* 作者：JK ZHAN，本文首发于微信公众号“IC Talking”（ID：HelloICTalking），芯片技术文章分享平台。 多线程、并发、并行计算等这些概念我们在很多计算机相关的领域都会听到。具体去看，并行计算是一个非常广泛的课题，涵盖了计算机体系结构各个层面的众多计算机技术，包括了成熟的、先进的。而本文将展开介绍的SV多线程，只是在软件应用层面去看多线程，不必也不会去深挖仿真细节。 01 多线程概念 在介绍SystemVerilog语言支持的多线程开发之前，有必要先来看看一..
systemverilog assertion handbook
10-23
SystemVerilog断言手册 SystemVerilog Assertions Handbook 是一本专注于SystemVerilog断言的书籍，主要涉及用于形式验证和动态验证的技术。这本书由VhdlCohen Publishing出版，作者对SystemVerilog断言在设计验证...
systemverilog for verification 绿皮书第三版（最新）课后习题答案.pdf
01-14
Solutions Manual v1.2 是SystemVerilog for Verification绿皮书第三版的习题答案，涵盖了verification的各个方面，包括verification guidelines、数据类型、过程语句和ROUTINES、测试台和设计连接、基本面向对象...
linux ctags systemverilog 配置文件 language
08-09
linux环境中ctags的配置文件，ctags默认不支持systemverilog，有大神开发了相关language配置，使的ctags可以通过用户配置支持生成sv的ctags，在linux环境中，~/目录下新建.ctags文件，把此文件内容贴入即可完成 ...
IEEE 1800-2023 SystemVerilog新版本
最新发布
03-21
### IEEE 1800-2023 SystemVerilog新版本详解 #### 一、标准概述 2024年3月初，在美国硅谷举办的DVCon2024上，IEEE-SA（IEEE标准协会）与Accellera组织联合宣布：IEEE 1800-2023 SystemVerilog语言参考手册可以...
systemverilog-lrm.pdf
04-13
SystemVerilog语言的语法和语义定义提供在IEEE Std 1800-2012标准中，该标准是2009年版的修订版，并于2012年12月5日获得IEEE-SA标准委员会批准。 SystemVerilog语言为硬件设计、规范和验证提供统一的框架，支持从...
【路科V0】systemVerilog基础16——线程的同步
weixin_41788560的博客
04-11 1219
概述 测试平台中的所有线程都需要同步并交换数据。（在测试平台中，不但设计层次的各个硬件模块实例在依靠信号做同步和数据交换，验证环境中的各个组件也需要做同步和数据交换。） 一个线程等待另外一个线程结束。验证环境中的同步和数据交换依靠的是软件方式 示例： 例如验证环境需要等待所有激励结束、比较结束才可以结束仿真。 比如监测器需要将监测到的数据发送至检查器，检查器又需要从不同的缓存获取数据进行比较。 线程同步类型1——事件（event...
六、 进程
baidu_38317135的博客
07-29 1178
进程
[SystemVerilog] fork join_none
lbt_dvshare的博客
07-27 4003
SV中用的比较多的是fork…join_none,以及disable fork,wait fork; 其中，wait_fork会阻止当前线程，直到所有子线程完成； disable fork会kill disable fork 所在的当前线程以及所有子线程； The parent process continues to execute concurrently with all the...
【从零开始学习 SystemVerilog】4.1.3、SystemVerilog 进程—— fork join_none
努力，加油每一天鸭~
09-10 405
【从零开始学习 SystemVerilog】4.1.3、SystemVerilog 进程—— fork join_none
systemverilog中fork..join， join_any， join_none的用法和解析
qq_33300585的博客
08-02 1511
systemverilog中fork..join， join_any， join_none的用法和解析
System Verilog中fork...join、join_none和join_none的用法和解析
热门推荐
强迫症高级患者的博客
09-02 2万+
标准的Verilog对语句有两种分组方式——使用begin…end或fork…join，begin…end中的语句以顺序方式执行，而fork…join中的语句则以并发方式执行。后者的不足是必须等fork…join内的所有语句都执行完以后才能继续块内后续的处理。因此，在Verilog的测试平台中很少用到它。 System Verilog引入了两种新的创建线程的方法——使用fork…join_none...
Systemverilog 第六课 Array/Queue/Method
qq_38453556的博客
08-24 1673
第六课 Dynamic array 1.动态数组在定义时不需要确定数组的大小，用空括号[]声明，但是在仿真时需要声明，完成仿真后即可释放。 2.当元素个数以及元素基本类型相同时，固定长度的数组可以被assign给动态数组 3.$size函数可以用于返回固定长度/动态数组的长度。 data_type name_of_dynamic_array[]; name_of_dynamic_array = new[number of elements]; 图中new[20] (dyn)在重新定义动态数组元素宽度的同
systemverilog线程
04-24
在SystemVerilog中，线程可以通过fork-join机制创建，并且可以通过事件或者条件语句控制线程的执行。线程可以用来实现硬件逻辑中的状态机、控制信号生成和变换等功能。同时，SystemVerilog还提供了多种线程同步和...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值