SystemVerilog基础：disable fork语句
相关阅读
SystemVerilog基础
https://blog.csdn.net/weixin_45791458/category_12517449.html?spm=1001.2014.3001.5482
一、进程的概念
在学习disable fork语句之前，首先的了解SystemVerilog中的进程概念：进程是一系列可以独立执行的一个或多个表达式。
SystemVerilog中每个initial语句、always语句（包括always、always_comb、always_latch和always_ff）、final语句和连续赋值语句都定义了一个独立的静态进程，它们的存在由静态层次结构决定，并从仿真开始时开始，并且它们无法在运行时创建。
除此之外SystemVerilog还有动态进程，这些进程可以在运行时创建、停止、重新启动和销毁。
二、子进程的概念
上一小节中定义了进程的概念并说明了创建进程的语句有哪些，但是这些进程是独立且不可嵌套的，也就是说所有的initial语句、always语句、final语句和连续赋值语句在一个模块中都是并列的顶层进程。
fork语句（包括fork-join、fork-join_any、fork-join_none）可以动态创建子进程，其中每条并行的语句都是独立的子进程，当执行到fork语句时子进程创建。
关于这三种fork语句的区别，请参考下面的博客。
SystemVerilog基础：并行块fork-join、join_any、join_none（上）https://chenzhang.blog.csdn.net/article/details/134694526
三、测试
在学习了进程和子进程的概念后，下面通过几个例子来巩固知识。
问题1：例1中存在几个顶层进程？
// 例1
module example1;// 信号声明reg clk, reset;reg [7:0] data_in, data_out;reg [3:0] address;wire [7:0] result;// 连续赋值语句assign result = data_in + data_out;// initial 语句initial begin$display("Simulation started");clk = 0;reset = 1;data_in = 8'h00;data_out = 8'h00;address = 4'b0000;#10 reset = 0;end// always 语句always begin#5 clk = ~clk; // 产生时钟信号end// always_comb 语句always_comb beginif (reset) begindata_out = 8'h00;end else begindata_out = data_in + 1;endend// always_latch 语句always_latch beginif (reset) beginaddress = 4'b0000;end else beginaddress = address + 1;endend// always_ff 语句always_ff @(posedge clk or posedge reset) beginif (reset) begindata_in <= 8'h00;end else begindata_in <= data_in + 1;endend// final 语句final begin$display("Simulation finished");end// function 定义function [7:0] add_two_numbers;input [7:0] a, b;beginadd_two_numbers = a + b;endendfunction// task 定义task print_address;input [3:0] addr;begin$display("Current address: %b", addr);endendtask// 调用function和taskinitial begin#20;$display("Sum: %h", add_two_numbers(8'h10, 8'h20)); // 调用functionprint_address(4'b1010); // 调用taskendendmodule答案1：存在八个顶层进程（需要注意的是，task和function并不属于顶层进程的一种）。
问题2：例2中存在几个子进程？
// 例2
module example2;// 信号声明reg clk, reset;reg [7:0] data_in, data_out;// initial 语句initial begin // begin-end语句$display("Simulation started");fork // fork-join 语句data_in = 8'hAA;begin // begin-end语句#10 data_in = 8'hBB;#10 data_in = 8'hCC;endjoindata_out = data_in + 1;$display("Data out: %h", data_out);endendmodule答案2：存在两个子进程，分别是fork-join语句中的data_in = 8'hAA;语句和begin-end语句。其中begin-end语句作为子进程，又由两条阻塞赋值语句组成。顶层进程initial中只有一条begin-end语句，而其中又有四条语句（两条$display语句、一条阻塞赋值语句和一条fork-join语句）。
四、disable fork语句
disable fork语句终止该语句所在进程创建的所有活跃的子进程，其语法如下所示：
disable fork;disable fork语句不仅终止该语句所在进程创建的所有活跃的子进程，还终止子进程的子进程。换句话说，如果任何子进程有自己的子进程，禁用fork语句也将终止它们（这类似disable语句）。
下面是来自SystemVerilog标准的例子。
task get_first( output int adr );forkwait_device( 1, adr );wait_device( 7, adr );wait_device( 13, adr );join_anydisable fork;
endtask在任务get_first中，fork-join_any语句创建了三个子进程，每个子进程等待特定设备(1、7、13)就绪并返回其地址。当三个子进程中有任意一个完成时，继续执行父进程中的disable fork语句并终止剩下的两个子进程。
下面的例3进一步说明了，调用task并不创建子进程。
// 例3
module example3;// 信号声明reg clk, reset;reg [7:0] data_in, data_out;task disable_task;begindisable fork; endendtasktask fork_task;beginfork$display("Task start");#10 $display("Task stop"); // 该语句永远不会执行join_noneendendtask// initial 语句initial beginfork_task;#5 disable_task;endendmodule在例3中，只有在执行fork-join_none语句时创建了两个子进程，而其他语句都属于顶层进程initial，因此任务disable_task中的disable fork语句终止了另一个任务中的#10 $display("Task stop");语句，因为该语句在执行disable fork语句时是顶层进程的活跃子进程（子进程$display("Task start");语句此时已经结束了）。
问题3：假设将例3中的initial语句中的begin-end语句换成fork-join语句，如例4所示，此时还能与之前有同样的效果吗？
// 例4
module example4;// 信号声明reg clk, reset;reg [7:0] data_in, data_out;task disable_task;begindisable fork; endendtasktask fork_task;beginfork$display("Task start");#10 $display("Task stop"); // 该语句会执行join_noneendendtask// initial 语句initial forkfork_task;#5 disable_task;joinendmodule答案4：不行，因为此时disable fork语句所在的进程已经不是任务fork_task中语句的父进程了，事实上disable fork语句所在的进程只有一条disable-fork语句。
五、写在最后
当disable fork语句终止进程执行时，会有一些其他的副作用，本文将不对此进行详述，具体可参考下面的博客（除其中第三点外）。
Verilog基础：disable语句https://blog.csdn.net/weixin_45791458/article/details/131543670?ops_request_misc=%257B%2522request%255Fid%2522%253A%25220317350431fbd1bf31f233a546d22a2e%2522%252C%2522scm%2522%253A%252220140713.130102334.pc%255Fblog.%2522%257D&request_id=0317350431fbd1bf31f233a546d22a2e&biz_id=0&utm_medium=distribute.pc_search_result.none-task-blog-2~blog~first_rank_ecpm_v1~rank_v31_ecpm-1-131543670-null-null.nonecase&utm_term=disable&spm=1018.2226.3001.4450
相关文章：
SystemVerilog基础：disable fork语句
相关阅读 SystemVerilog基础https://blog.csdn.net/weixin_45791458/category_12517449.html?spm1001.2014.3001.5482 一、进程的概念 在学习disable fork语句之前，首先的了解SystemVerilog中的进程概念：进程是一系列可以独立执行的一个或多个表达式。…...
基于钉钉API的连接器实现：企业数据集成与自动化管理
文章目录 概要背景与需求钉钉API概述连接器实现小结 概要 在当今数字化时代，企业面临着海量数据的管理与整合挑战。钉钉作为国内广泛使用的办公协作平台，提供了丰富的API接口，支持企业进行数据集成与自动化管理。本文将介绍如何通过钉钉API实…...
windows server独立部署Qwen2.5-vl-7B
服务器配置信息 CPU：64G GPU：48G（RTX 4090） 一、使用conda下载模型 Qwen2.5-VL-7B-Instruct conda下载 conda create --name qwen python3.11 conda activate qwen 魔塔社区下载模型 pip install modelscope modelscope downl…...
nginx安装并部署前端项目【包括Linux与Windows系统】
nginx安装并部署前端项目 一、 nginx下载与安装二、 前端项目部署三、 常用命令&注意事项四、 常见问题【持续更新】 一、 nginx下载与安装 ① 下载地址：https://nginx.org/en/download.html ② 下载教程：根据不同操作系统（Linux或者Wi…...
pytest生成报告no tests ran in 0.01s
除了基本的环境配置、用例名要以test_开头，有个地方是我自己忽略了，在执行时没有指定用例文件，所以没有找到。 if __name__ __main__:pytest.main(["testcases/test_demo.py","-svq", __file__, --alluredir./allure-r…...
前后端服务配置
1、安装虚拟机（VirtualBox或者vmware），在虚拟机上配置centos(选择你需要的Linux版本)，配置如nginx服务器等 1.1 VMware 下载路径Sign In注册下载 1.2 VirtualBox 下载路径https://www.virtualbox.org/wiki/Downloads 2、配置服…...
一文学会：用DeepSeek R1/V3 + AnythingLLM + Ollama 打造本地化部署的个人/企业知识库，无须担心数据上传云端的泄露问题
文章目录 前言一、AnythingLLM 简介&基础应用1.主要特性2.下载与安装3.配置 LLM 提供商4.AnythingLLM 工作区&对话 二、AnythingLLM 进阶应用：知识增强使用三、AnythingLLM 的 API 访问四、小结1.聊天模式2.本地存储&向量数据库 前言 如果你不知道Olla…...
[学习笔记] Kotlin Compose-Multiplatform
Compose-Multiplatform 原文：https://github.com/zimoyin/StudyNotes-master/blob/master/compose-multiplatform/compose.md Compose Multiplatform 是 JetBrains 为桌面平台（macOS，Linux，Windows）和Web编写Kotlin UI…...
202406 青少年软件编程等级考试C/C++ 三级真题答案及解析（电子学会）
第 1 题 谷歌的招聘 2004年7月，谷歌在硅谷的101号公路边竖立了一块巨大的广告牌用于招聘。内容超级简单，就是一个以.com 结尾的网址，而前面的网址是一个 10位素数，这个素数是自然常数e中最早出现的 10 位连续数字。能找出这个素数的人，就可以通过访问谷歌的这个网站进入…...
如何在Vue中实现事件处理
在Vue中，事件处理是一个核心概念，它让我们能够响应用户的操作，比如点击按钮、输入文本等。Vue提供了一个简洁而强大的方式来绑定事件和处理事件。本文将介绍如何在Vue中实现事件处理，覆盖事件绑定、事件修饰符以及事件处理函数等内…...
从零到一：基于Rook构建云原生Ceph存储的全面指南（下）
接上篇：《从零到一：基于Rook构建云原生Ceph存储的全面指南（上）》 链接: link 六.Rook部署云原生CephFS文件系统 6.1 部署cephfs storageclass cephfs文件系统与RBD服务类似，要想在kubernetes pod里使用cephfs&#…...
结合实际讲NR系列2—— SIB1
这是在基站抓取的sib1的一条信令 L3MessageContent BCCH-DL-SCH-Messagemessagec1systemInformationBlockType1cellSelectionInfoq-RxLevMin: -64q-QualMin: -19cellAccessRelatedInfoplmn-IdentityListPLMN-IdentityInfoplmn-IdentityListPLMN-IdentitymccMCC-MNC-Digit: 4MC…...
git rebase 和 git merge的区别
Rebase 可使提交树变得很干净, 所有的提交都在一条线上。 Merge 则是包含所有的调试记录，合并之后，父级的所有信息都会合并在一起 Rebase 修改了提交树的历史 比如, 提交 C1 可以被 rebase 到 C3 之后。这看起来 C1 中的工作是在 C3 之后进行的…...
JavaScript字符串类型详解
目录 一、创建字符串 1. 字面量方式 2. 使用 String 构造函数 二、字符串的不可变性 三、字符串的长度与索引 四、字符串的拼接 1. 使用加号 () 2. 使用模板字符串（ES6） 五、字符串的常用方法 1. 获取子串 substring(start, end) slice(start…...
Hdoop之MapReduce的原理
简单版本 AppMaster: 整个Job任务的核心协调工具 MapTask: 主要用于Map任务的执行 ReduceTask: 主要用于Reduce任务的执行 一个任务提交Job --> AppMaster(项目经理)--> 根据切片的数量统计出需要多少个MapTask任务 --> 向ResourceManager(Yarn平台的老大)索要资源 --…...
数据仓库和商务智能：洞察数据，驱动决策
在数据管理的众多领域中，数据仓库和商务智能（BI）是将数据转化为洞察力、支持决策制定的关键环节。它们通过整合、存储和分析数据，帮助组织更好地理解业务运营，预测市场趋势，从而制定出更明智的战略。今天&a…...
可视化工作流编排参数配置完整方案设计文档
一、背景及需求分析 1. 背景 在复杂的工作流程中，后续程序需要动态构造输入参数，这些参数源自多个前序程序的 JSON 数据输出。为了增强系统的灵活性和可扩展性，配置文件需要支持以下功能： 灵活映射前序程序的 JSON 数据。…...
Linux sysfs虚拟文件系统
文章目录 简介sysfs接口sysfs和procfs参考 本文拟对Linux sysfs虚拟文件系统进行简单的介绍和原理分析 简介 测试环境：Linux dev-PC 5.18.17-amd64-desktop-hwe #20.01.00.10 SMP PREEMPT_DYNAMIC Thu Jun 15 16:17:50 CST 2023 x86_64 GNU/Linux sysfs虚拟文件系统…...
C++ 设计模式 - 访问者模式
一：概述 访问者模式将作用于对象层次结构的操作封装为一个对象，并使其能够在不修改对象层次结构的情况下定义新的操作。 《设计模式：可复用面向对象软件的基础》一书中的访问者模式因两个原因而具有传奇色彩：一是因为它的复杂性&a…...
微软编程之C#如何学习，C#学习路线：从入门到精通
引言 C# 是一种由微软开发的面向对象编程语言，广泛应用于 Windows 应用程序开发、游戏开发（Unity）、Web 开发（ASP.NET）等领域。对于初学者来说，掌握 C# 不仅能够打开编程世界的大门，还能为未来…...
PromptSource官方文档翻译
目录 核心概念解析 提示模板（Prompt Template） P3数据集 安装指南 基础安装（仅使用提示） 开发环境安装（需创建提示） API使用详解 基本用法 子数据集处理 批量操作 提示创建流程 Web界面操作 手…...
深入理解QT的View-Model-Delegate机制和用法
文章目录 Model-View-Delegate机制Model(数据模型)设置模型属性访问元素操作元素数据排序封装好的模型View(视图)显示数据数据选择Delegate(代理)数据选择易用封装类QListWidgetQTreeWidgetQTableWidget元素拖拽代理模型参考示例Model-View-Delegate机制 Qt的View/Model/Deleg…...
【JavaScript】JavaScript 运行原理
执行上下文 JavaScript引擎会在执行代码之前，会在堆内存中创建一个全局对像：Global Object(GO) 该对象所有的作用域(scope)都可以访问，在浏览器中这个对象就是window；里面会包含Date、Array、StringNumber、setTimeout、setInte…...
力扣hot100刷题第一天
哈希 1. 两数之和 题目 给定一个整数数组 nums 和一个整数目标值 target，请你在该数组中找出 和为目标值 target 的那 两个 整数，并返回它们的数组下标。 你可以假设每种输入只会对应一个答案，并且你不能使用两次相同的元素。你可以按任意…...
数据结构-find（）-判断字符串s1中是否包含字符串s2
find()库函数 #include <iostream> using namespace std;bool check(string s1,string s2){int n s1.size();int m s2.size();if(n0||m0 || n<m){return false;}if(s1.find(s2) ! string::npos){return true;}else{return false;} }int main () {string a "…...
寒假2.7
题解 web：[HCTF 2018]WarmUp 打开是张表情包 看一下源代码 访问source.php，得到完整代码 代码审计 <?phphighlight_file(__FILE__);class emmm{public static function checkFile(&$page){$whitelist ["source">"source.p…...
【韩顺平linux】部分上课笔记整理
整理一下一些韩顺平老师上课时候的笔记 课程：【小白入门 通俗易懂】韩顺平 一周学会Linux linux环境：使用阿里云服务器 笔记参考 ： [学习笔记]2021韩顺平一周学会Linux 一、自定义函数 基本语法 应用实例： 计算两个参数的和…...
Linux proc虚拟文件系统
文章目录 简介proc常用节点pid节点procfs接口参考 简介 测试环境：Linux dev-PC 5.18.17-amd64-desktop-hwe #20.01.00.10 SMP PREEMPT_DYNAMIC Thu Jun 15 16:17:50 CST 2023 x86_64 GNU/Linux proc虚拟文件系统是linux内核提供的一种让用户和内核内部数据结构进行交…...
IDEA中常见问题汇总
🍓 简介：java系列技术分享(👉持续更新中…🔥) 🍓 初衷:一起学习、一起进步、坚持不懈 🍓 如果文章内容有误与您的想法不一致,欢迎大家在评论区指正🙏 🍓 希望这篇文章对你有所帮助,欢…...
Spring Security 学习大纲
Spring Security 系统学习大纲 一、基础入门 Spring Security 概述 安全框架的核心功能（认证、授权、攻击防护）核心组件：SecurityFilterChain, UserDetailsService, AuthenticationProvider, AccessDecisionManager与 Servlet 容器的集成原理…...
本地部署模型全攻略阶段二_3---Kiln AI
Kiln AI && Ollma && DeepSeek Kil AI：简单介绍与入门教程Kiln AI简介核心功能优势与特点二、Kiln AI安装步骤下载安装创建项目和任务使用界面Fine Tuning三、资源与支持Kil AI：简单介绍与入门教程 Kiln AI简介 简述Kiln AI是什么 Kiln AI是一款开源的AI开发…...
从零开始：使用Jenkins实现高效自动化部署
在这篇文章中我们将深入探讨如何通过Jenkins构建高效的自动化部署流水线，帮助团队实现从代码提交到生产环境部署的全流程自动化。无论你是Jenkins新手还是有一定经验的开发者，这篇文章都会为你提供实用的技巧和最佳实践，助你在项目部署中走得…...
机器学习 - 线性回归（最大后验估计）
最大似然估计的一个缺点是当训练数据比较少时会发生过拟合，估计的参数可能不准确.为了避免过拟合，我们可以给参数加上一些先验知识. 一、先从最大似然估计的一个缺点入手 最大似然估计（MLE）在处理小样本数据时，容易发…...
Web前端开发--HTML
HTML快速入门 1.新建文本文件，后缀名改为.html 2.编写 HTML结构标签 3.在<body>中填写内容 HTML结构标签 特点 1.HTML标签中不区分大小写 2.HTML标签属性值中可以使用单引号也可使用双引号 3.HTML语法结构比较松散（但在编写时要严格一点&…...
Linux | 系统调用
文章目录 Linux | 系统调用open 系统调用功能头文件和函数原型参数解释返回值示例代码 其他常用系统调用read 系统调用write 系统调用close 系统调用lseek 系统调用stat 系统调用 Linux | 系统调用 前言：在Linux系统中，系统调用是用户空间程序与内核进行…...
用easyExcel如何实现？
要使提供的 ExcelModelListener 类来解析 Excel 文件并实现批量存储数据库的功能，需要结合 EasyExcel 库来读取 Excel 数据。具体来说，可以使用 EasyExcel.read() 方法来读取 Excel 文件，并指定 ExcelModelListener 作为事件监听器。 下面是…...
ASP.NET Core SignalR身份验证
在需要登录才能访问的集线器类上或者方法上添加[Authorize]。也支持角色等设置，可以设置到Hub或者方法上。 配置好User、Role、MyDbContext、JWTSettings、IdentityHelper Program.cs using SignaIR的基本使用; using Scalar.AspNetCore; using Identity框架; us…...
查询语句来提取 detail 字段中包含 xxx 的 URL 里的 commodity/ 后面的数字串
您可以使用以下 SQL 查询语句来提取 detail 字段中包含 oss.kxlist.com 的 URL 里的 commodity/ 后面的数字串： <p><img style"max-width:100%;" src"https://oss.kxlist.com//8a989a0c55e4a7900155e7fd7971000b/commodity/20170925/20170…...
linux本地部署deepseek
目录 安装ollama安装open-webui网页客户端界面本地安装open-webui直接安装在裸机上安装在docker中 外部服务器安装open-webui，并链接本地的ollama服务直接安装在外部服务器裸机上配置systemd启动open-webui 安装在docker中 最后更新时间2024-05-24 安装ollama olla…...
ESP32_H2（IDF）学习系列-蓝牙基础学习（上）
一、简介 参考：[乐鑫-蓝牙] Bluetooth LE 的分层架构 Bluetooth LE 协议定义了三层软件结构，自上而下分别是 应用层 (Application Layer) 应用层（Application Layer） 主机层 (Host Layer) 控制器层 (Controller Layer) 应用…...
防御综合实验
需求一 配置vlan [SW2]int g 0/0/2 [SW2-GigabitEthernet0/0/2]port link-type access [SW2-GigabitEthernet0/0/2]port default vlan 10 [SW2-GigabitEthernet0/0/2]int g0/0/3 [SW2-GigabitEthernet0/0/3]port link-type access [SW2-GigabitEthernet0/0/3]port default vl…...
Blazor-＜select＞
今天我们来说说<select>标签的用法，我们还是从一个示例代码开始 page "/demoPage" rendermode InteractiveAuto inject ILogger<InjectPage> logger; <h3>demoPage</h3> <select multiple>foreach (var item in list){<…...
zy.21
PHP(续) PHP代码执行漏洞 1.PHP中代码漏洞的概念 代码执行漏洞就是在代码中若存在eval、assert等能将所接收的参数作为代码去执行,并且拼接的内容可被访问者控制,也就是把传入的参数给拼接进去了,造成了额外的代码执行,也就造成了代码执行漏洞。（大概原理&#x…...
【c++】四种类型转换形式
【c】四种类型转换形式 编译时: static_cast（静态转换） const_cast（去常性转换） reinterpret_cast（重新解释转换，直接转换地址） 运行时: dynamic_cast（动态转换，运行时类…...
在npm上传属于自己的包
最近在整理代码，上传到npm方便使用，所以学习了如何在npm发布一个包，整理写成一篇文章和大家一起交流。 1、注册npm账号 npm | Home 2、确保是登录状态 （在包目录下，终端执行 npm login) 按enter键自动打开页面&…...
关系型数据库主备高可用方案对比笔记
目录标题 数据库高可用性解决方案对比Oracle Data GuardMySQL 主从复制SQL Server AlwaysOnPG Patroni 流复制达梦 DMDataWatch人大金仓 repmgr 备库故障是否影响主库？表格关系型数据库主备高可用方案对比笔记 数据库高可用性解决方案对比 Oracle Data Guard Orac…...
怎么查看电脑显存大小（查看电脑配置）
这里提供一个简单的方法查看 winr打开cmd 终端输入dxdiag进入DirectX 点击显示查看设备的显示内存（VRAM） 用这个方法查看电脑配置和显存是比较方便的 dxdiag功能 Dxdiag是Windows的DirectX诊断工具，其主要作用包括但不限于以下几点&#…...
深入理解指针（二）
深入理解指针（二） 前言：一、const修饰指针1.const修饰变量2.const修饰的指针变量 二、野指针1.野指针的成因(1).指针的未初始化(2).指针的越界访问(3).指针的空间释放 2.如何规避野指针(1).指针初始化(2).小心访问越界(3)指针不再使用的时候&…...
非华为电脑制作一碰传NFC贴纸
前提： 在笔记本上安装好华为电脑管家，可以在 github 上下载，并测试可以正常和手机或平板连接步骤： 1、打开电脑华为电脑管家，点【快捷服务】，记录下序列号，一般安装后会生成16位的序列号 2、…...
Wpf美化按钮，输入框，下拉框，dataGrid
Wpf美化按钮，输入框，下拉框，dataGrid 引用代码后 引用资源 <ControlTemplate x:Key"CustomProgressBarTemplate" TargetType"ProgressBar"><Grid><Border x:Name"PART_Track" CornerRadius&q…...