数字验证学习笔记——SystemVerilog芯片验证20 ——线程间的通信
创始人
2024-05-04 06:07:08
0次
一、线程间的通信
- 测试平台中的所有线程都需要同步并交换数据。
- 一个线程需要等待另一个。
- 多个线程可能同时访问同一个资源。
- 线程之间可能需要交换数据。
- 所有这些数据交换和同步称之为线程间的通信（IPC）。
1.1 event 事件
- Verilog 中，一个线程总是要等待一个带@操作符的事件。这个操作符是边沿敏感的，所以它总是阻塞着、等待事件的变化。
- 其他线程可以通过 **->**操作符来触发事件，结束对第一个线程的阻塞。
- 这就像在打电话时，一个人等待另一个人的呼叫。
1.1.1 event的边沿阻塞
event e1,e2; 创建对象，不需要new();
——>e1，相当于在这个时刻打出电话，如果此时对方没有@e1，就是及时接电话，将会错失这次电话。
@检测现在事件有没有触发过，wait就是检测事件现在有没有触发过 以及 之前有没有触发过。
1.1.2 通知的需求
此时display中@e_speedup不可以替换成wait（e_speedup.triggered）,因为wait（e_speedup.triggered）是电平触发，只要触发一次之后，使用wait（e_speedup.triggered），都满足要求。
1.2 semphore旗语
下一篇：Vue3详细讲解
相关内容
热门资讯
喜欢穿一身黑的男生性格（喜欢穿...
今天百科达人给各位分享喜欢穿一身黑的男生性格的知识，其中也会对喜欢穿一身黑衣服的男人人好相处吗进行解...
发春是什么意思（思春和发春是什...
本篇文章极速百科给大家谈谈发春是什么意思，以及思春和发春是什么意思对应的知识点，希望对各位有所帮助，...
网络用语zl是什么意思（zl是...
今天给各位分享网络用语zl是什么意思的知识，其中也会对zl是啥意思是什么网络用语进行解释，如果能碰巧...
为什么酷狗音乐自己唱的歌不能下...
本篇文章极速百科小编给大家谈谈为什么酷狗音乐自己唱的歌不能下载到本地?，以及为什么酷狗下载的歌曲不是...
家里可以做假山养金鱼吗（假山能...
今天百科达人给各位分享家里可以做假山养金鱼吗的知识，其中也会对假山能放鱼缸里吗进行解释，如果能碰巧解...
华为下载未安装的文件去哪找（华...
今天百科达人给各位分享华为下载未安装的文件去哪找的知识，其中也会对华为下载未安装的文件去哪找到进行解...
四分五裂是什么生肖什么动物（四...
本篇文章极速百科小编给大家谈谈四分五裂是什么生肖什么动物，以及四分五裂打一生肖是什么对应的知识点，希...
怎么往应用助手里添加应用（应用...
今天百科达人给各位分享怎么往应用助手里添加应用的知识，其中也会对应用助手怎么添加微信进行解释，如果能...
客厅放八骏马摆件可以吗（家里摆...
今天给各位分享客厅放八骏马摆件可以吗的知识，其中也会对家里摆八骏马摆件好吗进行解释，如果能碰巧解决你...
苏州离哪个飞机场近（苏州离哪个...
本篇文章极速百科小编给大家谈谈苏州离哪个飞机场近，以及苏州离哪个飞机场近点对应的知识点，希望对各位有...