数字验证学习笔记——SystemVerilog芯片验证19 ——线程的控制

news2024/11/17 11:23:28

一、线程的控制

1.1 fork并行线程语句块

在这里插入图片描述
fork join_any 当T3结束时,退出fork join_any 后,T1和T2还会执行。

1.1.1 fork … join

在这里插入图片描述
在这里插入图片描述
上述代码中,在fork join中开辟了4个子线程,当4个子线程执行完之后,才能执行下面的$dispaly语句。

1.1.2 fork … join_any

在这里插入图片描述
在这里插入图片描述

1.1.3 fork … join_none

在这里插入图片描述
在这里插入图片描述
fork join_none 与 fork join_any 不同的是先执行after join_none 在执行 parallel start。

如果上述三行代码最后都没有“… finish after”那句代码,只有fork join在仿真结束之前,可以将之前打印的句子都打印完全。

1.2 等待所有衍生线程

  • 在SV中,当程序中的initial块全部执行完毕,仿真器就退出了。
  • 如果我们希望等待fork块中的所有线程执行完毕再退出结束initial块,我们可以使用wait fork语句来等待所有子线程结束。
    在这里插入图片描述

1.3 停止线程

1.3.1 停止单个线程

  • 在使用了fork join_any 或者 fork join_none以后,我们可以使用disable来指定需要停止的线程。
    在这里插入图片描述

1.3.2 停止多个线程

  • disable fork 可以停止从当前线程中衍生出来的所有子线程。
    在这里插入图片描述

1.3.3 停止被多次调用的任务

  • 如果你给某一个任务或者线程指明标号,那么当这个线程被调用多次以后,如果通过disable去禁止这个线程标号,所有衍生的同名线程都将被禁止
    在这里插入图片描述
    在这里插入图片描述
    在initial begin end 调用了三次wait_for_time_out()任务,因为wait_for_time_out()里面是fork join_none 相当于并行执行。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/133893.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

《垃圾回收算法手册 自动内存管理的艺术》——并发算法预备知识(笔记)

文章目录十二、特定语言相关内容12.1 终结12.1.1何时调用终结方法12.1.2 终结方法应由哪个线程调用12.1.3 是否允许终结方法彼此之间的并发12.1.4 是否允许终结方法访问不可达对象12.1.5 何时回收已终结对象12.1.6 终结方法执行出错时应当如何处理12.1.7 终结操作是否需要遵从某…

指针进阶之字符指针(超详细)

文章目录一、回顾二、字符指针1.基本用法2.误区(1)字符指针存放字符串首元素地址(2)输出问题3.内存布局三、字符指针与字符串数组1.字符指针2.字符串数组四、面试题1.One2.Two3.探究4.补充五、地址问题六、字符数组与字符串数组1.…

普通索引和唯一索引,应该怎么选择?

在前面的基础篇文章中,我给你介绍过索引的基本概念,相信你已经了解了唯一索引和普通索引的区别。今天我们就继续来谈谈,在不同的业务场景下,应该选择普通索引,还是唯一索引? 假设你在维护一个市民系统&…

基于springboot+mybatis+mysql+html实现在线教育平台系统

基于springbootmybatismysqlhtml实现在线教育平台系统1. 技术介绍2.功能介绍3. 前端3.1 首页3.2 课程3.3 登入3.4 商品兑换3.5 课程发布4. 后端4.1 登录4.2 系统管理4.3 课程管理4.4 教师管理4.5 导航菜单4.6 轮播管理4.7 通知管理4.8 礼品管理1. 技术介绍 核心技术&#xff1…

【电工技术】期末复习题

1.电路是为实现人们的某种需求,由 电源 、中间环节和负载三部分按一定方式组合起来,使电流流通的整体。 2.在使用叠加定理对电路进行分析时,通常要对电源作除源处理,处理方法是将各个理想电压源 短接 …

ArcGIS基础实验操作100例--实验33计算栅格统计参数

本实验专栏参考自汤国安教授《地理信息系统基础实验操作100例》一书 实验平台:ArcGIS 10.6 实验数据:请访问实验1(传送门) 高级编辑篇--实验33 计算栅格统计参数 目录 一、实验背景 二、实验数据 三、实验步骤 (1&…

2022年终总结与展望

2022年终总结 自2019年3月13日入驻CSDN,已经三年零九个月了。截至2022年12月31日,CSDN博客已发原创博文112篇,粉丝3616个,访问量超过157万次。 2019年12月31日数据情况: 2020年12月31日数据情况: 2021年1…

7-9 包装机

一种自动包装机的结构如图 1 所示。首先机器中有 N 条轨道,放置了一些物品。轨道下面有一个筐。当某条轨道的按钮被按下时,活塞向左推动,将轨道尽头的一件物品推落筐中。当 0 号按钮被按下时,机械手将抓取筐顶部的一件物品&#x…

尚医通- Nacos服务注册 医院列表接口(二十一)

目录: (1)后台系统-医院管理-需求和Nacos启动 (2)医院列表-Nacos注册服务 (3)医院列表接口-初步实现 .(1)后台系统-医院管理-需求和Nacos启动 之前我们完成了数据相…

基于Java+Swing实现捕鱼达人游戏(含课程报告)

基于JavaSwing实现捕鱼达人游戏(含课程报告)一、系统介绍1、开发背景2、基本内容、实现方法及主要技术实现目标3实现目标二、功能展示三、其他系统一、系统介绍 1、开发背景 捕鱼达人这个项目是一个娱乐性的游戏开发,本次游戏的程序设计包含…

Spring6笔记4

十四、GoF之代理模式 14.1 对代理模式的理解 代理模式中有一个非常重要的特点:对于客户端程序来说,使用代理对象时就像在使用目标对象一样。【在程序中,目标需要被保护时】 业务场景:系统中有A、B、C三个模块,使用这…

移动Web【Flex布局模型构成 主轴对齐方式 侧轴对齐方式 伸缩比】

文章目录Flex布局Flex布局模型构成主轴对齐方式侧轴对齐方式伸缩比Flex布局 思考 多个盒子横向排列使用什么属性? 浮动 设置盒子间的间距使用什么属性? margin 需要注意什么问题? 浮动的盒子脱标 Flex布局/弹性布局: 是一种浏览…

06-07-SpringAop

介绍下AspectJ和AOP和关系 AspectJ是java编程语言的无缝的面向方面的扩展,可以在java代码的字节码中植入切面代码。 AspectJ 是静态代理的增强,所谓的静态代理就是 AOP 框架会在编译阶段生成 AOP 代理类,因此也称为编译时增强。 AspectJ 是…

手把手代码实现五级流水线CPU——第一篇:初级顺序流水线

文章目录指令系统编码格式一、基础:顺序结构1.取值阶段:2.译码阶段3.执行阶段4.访存阶段5.写回阶段6.更新PC阶段详细硬件结构指令在各个阶段完成的操作C代码实现指令系统 编码格式 一、基础:顺序结构 1.取值阶段: 根据icode还可以…

【FPGA开发】Verilog 基础

写在前面:本章将对 Verilog 进行简要介绍,并对其基本特性进行讲解说明。之后,我们将按步骤演示如何使用 Vivado 创建简单项目。手动实践部分将根据我们提供的 .v 和 .tb 代码,跟着步骤跑出 Simulation 结果即可。 Ⅰ. Verilog 基础…

Odoo 16 企业版手册 - 库存管理之产品追溯

产品追溯 Odoo提供的产品可追溯性功能将有助于跟踪和跟踪产品的每个组件。在库存移动的每个阶段跟踪产品对于控制所有操作是必要的。为了确保有效监控库存的走势,批号和序列号发挥着重要作用。从制造过程到交付操作,产品可追溯性将保持适当的跟踪&#x…

Mixlab 的自我介绍

‍‍‍‍2022在探索元宇宙落地过程中,走过不少弯路,本着 “孵化” 的初心,我们将继续探索面向未来的社区模式。1 / Mixlab 无界社区社区即服务,以此作为基础,孵化各种形态的产品/服务。在2022的白皮书记录了我们做社区…

数据结构与算法—链表之单链表

文章目录链表单链表结构和特点创建添加修改删除2023年的第一篇文章在开发过程中,选择合适的数据结构是很重要的,可以快速处理数据的存储及使用问题。计划有时间慢慢系统的学习《数据结构与算法》,看看视频,练习实践,最…

国产FPGA应用--易灵思Programming Mode完全解析

本文介绍易灵思的几种配置模式,方便大家参考。 一、易灵思下载模式: 二、下载模式选择: 1、SPI Active mode 时序图如下: 2、SPI Passive Mode 时序图如下: SPI Active using JTAG Bridge 实际项目中,SPI…

锥度张力控制(收卷应用)

收卷、放卷应用系列文章可以参看下面的文章链接: 变频器简单张力控制(线缆收放卷应用)_RXXW_Dor的博客-CSDN博客_收放卷应用张力控制的开闭环算法,可以查看专栏的其它文章,链接地址如下:PLC张力控制(开环闭环算法分析)_RXXW_Dor的博客-CSDN博客。https://blog.csdn.ne…