SV学习笔记（十二）-线程控制

最新推荐文章于 2024-04-14 19:14:44 发布
最新推荐文章于 2024-04-14 19:14:44 发布
阅读量345 收藏 1
点赞数
分类专栏： SV 文章标签： 学习 笔记
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/maopao_TT/article/details/132355855
版权

线程控制

并行线程

  • fork…join 需要所有并行的线程都结束以后才会继续执行

  • fork…join_any 等到任何一个线程结束后继续执行

  • fork…join_none 不会等待子线程，直接继续往下执行

    fork
    begin
        $display("First Block\n");
        # 20ns;
    end
    begin
        $display("Second Block\n");
        @eventA;
    end
join

  • Verilog中与顺序线程begin…end相同的是并行线程fork…join

  • SV引入了两种新的创建线程的方式，fork…join_any和fork…join_none

    在这里插入图片描述

  • 示例

    task automatic my_func_fork(int id, int t);
		$display("func_id is %0d, start.....", id);
		#(t*10ns);
		$display("func_id is %0d, end.....", id);
	endtask

    不加线程

    $display("start......");
my_func_fork(1, 10);
my_func_fork(2, 20);
my_func_fork(3, 30);
my_func_fork(4, 40);
$display("end......");
// 输出结果
# start......
# func_id is 1, start.....
# func_id is 1, end.....
# func_id is 2, start.....
# func_id is 2, end.....
# func_id is 3, start.....
# func_id is 3, end.....
# func_id is 4, start.....
# func_id is 4, end.....
# end......

    fork…join

    $display("start......");
fork
    my_func_fork(1, 10);
    my_func_fork(2, 20);
    my_func_fork(3, 30);
    my_func_fork(4, 40);
join
$display("end......");
// 输出结果
# start......
# func_id is 1, start.....
# func_id is 2, start.....
# func_id is 3, start.....
# func_id is 4, start.....
# func_id is 1, end.....
# func_id is 2, end.....
# func_id is 3, end.....
# func_id is 4, end.....
# end......

    fork…join_any

    $display("start......");
fork
    my_func_fork(1, 10);
    my_func_fork(2, 20);
    my_func_fork(3, 30);
    my_func_fork(4, 40);
join_any
$display("end......");
// 输出结果
# start......
# func_id is 1, start.....
# func_id is 2, start.....
# func_id is 3, start.....
# func_id is 4, start.....
# func_id is 1, end.....
# end......
# func_id is 2, end.....
# func_id is 3, end.....
# func_id is 4, end.....

    fork…join_none

    $display("start......");
fork
    my_func_fork(1, 10);
    my_func_fork(2, 20);
    my_func_fork(3, 30);
    my_func_fork(4, 40);
join_none
$display("end......");
// 输出结果
# start......
# end......
# func_id is 1, start.....
# func_id is 2, start.....
# func_id is 3, start.....
# func_id is 4, start.....
# func_id is 1, end.....
# func_id is 2, end.....
# func_id is 3, end.....
# func_id is 4, end.....

  • fork…join_any和fork…join_none，会有未完成的子线程仍在后台运行

  • wait fork等待子线程全部完成

  • disable fork停止未完成的子线程

时序控制

  • SV可以通过延时控制或者事件等待来对过程块完成时序控制

  • 延迟控制即通过#来完成

    #10;

  • 事件（event）控制即通过@来完成

    @（posedge clock）；

  • wait语句也可以与时间或者表达式结合来完成

    real AOR[];
initial wait(AOR.size() > 0) ......;

进程间的同步和通信

  • 测试平台中的所有线程都需要同步并交换数据
  • 一个线程等待另一个，例如验证环境需要等待所有激励结束，比较结束才可以结束仿真
  • 比如监测器需要监测到的数据发送至比较器，比较器又需要从不同的缓存获取数据进行比较

事件event

  • 可以通过event来声明一个命名event变量并且去触发它

  • 这个命名event可以用来控制进程的执行

  • 可以通过->来触发事件

  • 其他等待该事件的进程可以通过@操作符或者wait()来检查event触发状态来完成

    • @边沿触发
    • wait()电频触发
    `timescale 1ns/1ps
module tb;
    event e1,e2,e3;	// 声明三个事件
    task automatic wait_event(event e, string name);
        $display("@%t start waiting event %s", $time, name);
        @e;	// 等待事件  方式一
        wait(e.triggered);	// 等待事件  方式二
        $display("@%t end waiting event %s", $time, name);
    endtask
    
    initial begin
    	fork
            wait_event(e1, "e1");	// 	调用任务
            wait_event(e2, "e2");
            wait_event(e3, "e3");
        join
    end
    
    initial begin
        fork
            begin #10ns -> e1; end	// 触发事件
            begin #20ns -> e2; end
            begin #40ns -> e3; end
        join
    end
endmodule
// 执行结果
# @                   0 start waiting event e1
# @                   0 start waiting event e2
# @                   0 start waiting event e3
# @               10000 end waiting event e1
# @               20000 end waiting event e2
# @               40000 end waiting event e3

    如果等待的是信号而非事件

    `timescale 1ns/1ps
module tb;
    bit e1,e2,e3;	// 声明三个比特信号
    task automatic wait_event(ref bit e, input string name);	// 这里要监控e的变化，因此要用ref
        $display("@%t start waiting event %s", $time, name);
        @e;	// 监测变化
        $display("@%t end waiting event %s", $time, name);
    endtask
    
    initial begin
    	fork
            wait_event(e1, "e1");	// 	调用任务
            wait_event(e2, "e2");
            wait_event(e3, "e3");
        join
    end
    
    initial begin
        fork
            begin #10ns e1 = !e1; end	// bit是二值逻辑，初值为0，取反变为1
            begin #20ns e2 = !e2; end
            begin #40ns e3 = !e3; end
        join
    end
endmodule

  • wait_order()可以是的进程保持等待，直到再参数列表中的事件event按照顺序从左到右依次完成

  • 如果参数列表中的事件被触发但是没有按照要求的顺序，那么会使得等待操作失败

    wait_order(a, b, c);

wait_order(a, b, c) else $display("Error: event out of order");

bit success;
wait_order(a, b, c) success = 1; else success = 0;

旗语（semaphore）

  • 旗语从概念上讲，是一个容器

  • 在创建旗语的时候，会为其分配固定的钥匙数量

  • 使用旗语的进程必须先获得其钥匙，才可以继续执行

  • 旗语的钥匙数量可以有多个，等待旗语钥匙的进程也可同时有多个

  • 旗语通常用于互斥，对共享资源的访问控制，以及基本的同步

  • 创建旗语并为其分配钥匙的方式如下：

    • 创建旗语，并为其分配钥匙

      semaphore sm;
sm = new(x);	// 有多少钥匙x就给多少

    • 创建一个有固定钥匙数量的旗语：new(N)

    • 从旗语那里获取一个或多个钥匙（阻塞型）：sm.get(N)

    • 将一个或多个钥匙返回到旗语中：sm.put(N)

    • 尝试获取一个或多个钥匙不会阻塞（非阻塞型）：sm.try_get(N)

信箱（mailbox）

  • 信箱mailbox可以使得进程之间的信息得以交换，数据可以由一个进程写入信箱，再由另一个进程获取

  • 信箱在创建时可以限制容量，也可以不限制

  • 当信箱容量写满时，后续再写入的动作会被挂起，直到信箱中数据被读取，使得信箱有空间以后才可以继续写入

  • 不限制容量的信箱则不会挂起写入信箱的动作

  • 创建信箱

    在这里插入图片描述

  • 信箱的内建方法

    • 创建信箱：new()

    • 将信息写入信箱，信箱满了会阻塞：put(data)，将data写到信箱中

    • 试着写入信箱，不会阻塞：try_put()

    • 从信箱中取出数据：get(data)，从信箱中取出数据赋值给data

    • 信箱数据快照，能拿到信箱内的数据，但信箱内的数据不会减少：peek()

    • 试着读取数据：try_get()、try_peek()

    • 获取信箱信息的数据数目：num()

    • 可以结合num()与get()或者put()，防止信箱为空或者为满的时候阻塞

      mailbox #(int) mb;	// 定义一个信箱，#(int)表示只能存储int类型的数据
initial begin
    int val;	// 定义一个int类型变量
    mb = new(8);	// 例化信箱，指定可存储数据8个
    forever begin
        case($urandom() % 2)
            0: begin
                val = $urandom_range(0,10);
                mb.try_put(val);
                $display("mb put value is %0d", val);
            end
            1: begin
                mb.try_get(val);
                $display("mb get value is %0d", val);
            end
        endcase
    end
end
maopao_TT
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
专栏目录
System Verilog学习笔记—fork...join_xxx的三种用法及wait fork和disable fork
不定期分享IC验证学习笔记
01-27 4993
目录 0.前言 1.fork...join 2.fork...join_any 3.fork...join_none 4.其它线程执行语句 4.1wait fork 4.2 disable fork 0.前言 可以用以下图来表示三者的区别： 1.fork...join fork...join使内部所有线程同时开始运行，直到内部所有线程运行完毕后才跳出fork...join块儿。 下面我们以代码详细理解： module test(); initial be...
SV绿皮书笔记（七）
weixin_44590534的博客
07-31 2653
SV线程控制及线程间通信
【IC验证】SV中语句的执行顺序
最新发布
m0_58427556的博客
04-14 258
在begin-end语句块中，begin-end和fork-join块可以相互嵌套，也可以自我嵌套。当遇到disable时，或者时间延迟最长的语句执行完时，跳出该语句块。多个initial块之间是并行执行的，initial块内部是按照顺序执行的。包内的各个类的执行顺序是动态确定的，取决于代码中的实际使用情况和依赖关系。多个begin...end块之间是并行执行的，内部是顺序执行的。直到最后一条语句执行完，程序流程控制才跳出该语句块。
线程使用、控制、通信
qq_44455456的博客
08-08 663
通信
fork join_any
weixin_42916702的博客
10-13 1099
今天写代码有一个地方理解有点问题，fork join_any的意思是如果内部任何一个线程完成，程序往下执行，但是没有完成的线程还会继续执行，并不是停止，例如我想写一个行为，信号A持续为高1ms，状态跳转st0->st1，如果A持续时间不足1ms，那么状态不跳转，今天写的时候忘记了加disable fork，导致fork join_any内部的两个先后都执行了，结果状态判断就出错了,我期望的是一个begin end执行完成后另一个就不继续执行了，所以需要加上disable fork
SV中线程分析（fork..join，fork...join_any，fork...join_none）
llxxyy507的博客
07-26 1万+
发现了一点新的东西，加深了我对这几个线程的理解，写点东西记录一下。 1，并行的实际执行顺序 大家都知道fork...join里面是并行执行的，但计算机执行语句肯定是有先后顺序的，具体那些并行的语句是怎么执行的呢？ 这要看具体使用的SV 仿真器是怎么操作的。虽然fork...join里面是并行的，但VCS会先执行并行的写在前面的语句。 这个program中f...
systemverilog在for循环中使用fork_join和fork_join_none的区别
热门推荐
XtremeDV
03-12 2万+
我想在一个for循环中fork_join或者fork_join_none语句实现多线程， 假如我使用经典的方法：for(int index=0;index<14;index++)begin automatic int idx=index; fork begin `uvm_do_on(sequence_inst,p_sequencer.m...
SV-TVP-SVAR模型代码
01-19
本压缩包文件“SV-TVP-SVAR模型代码”提供了一套用于此类分析的工具，尤其适用于研究时间序列数据的动态变化。以下是对该模型及其应用的详细解释： 1. **SV-TVP-SVAR模型**： - **SV（Stochastic Volatility）**：...
MI-TVP-SV-VAR_sv_tvp-var-sv_SV模型_tvpsvvar_TVP-SV_
10-04
Koop大神写出来的时变向量自回归模型的进化版，希望对大神写作有帮助。
SV1-H611A-B
10-17
标题“SV1-H611A-B”暗示我们正在讨论一款特定的工控机主板的固件，该主板型号为SV1-H611A-B。固件是控制硬件设备运行的基础软件，它驻留在硬件内部，负责初始化、管理和协调硬件资源。在工控机领域，固件的重要性...
信步主板SV1-H812C支持nvme启动的原厂bios
04-07
SV1-H812C 支持nvme启动的原厂bios ，刷成功后，系统需要用uefi引导，pcie不支持传统模式启动 Intel 4代Core i3/i5/i7处理器, H81芯片, 12*COM, 10*USB, 2*LAN, 1*PCIe x16
信步科技SV1-H611A-B嵌入式主板优势介绍.docx
03-08
信步科技SV1-H611A-B嵌入式主板是一款基于Intel H61芯片组的高性能嵌入式主板，旨在为工业控制、自动化、医疗设备、交通控制等领域提供可靠的计算解决方案。下面是该主板的详细技术特点和优势： 一、处理器支持 SV...
第三章：并发进程&进程同步
carrotbanana的博客
05-15 1756
硬件设计可以看成是由很多并发或者并行的进程组成，在验证平台中，每一个逻辑独立的并行操作都是采用独立的进程来实现的。SV提供了如下处理并发进程的能力： fork...join并发结构 通过mailbox实现进程间的通信 通过semaphore实现进程互斥或仲裁 通过event实现进程间的同步 fork...join: fork...join代码称为父进程，fork...join内的语句块称为子进程，子进程并行执行 ①并发方式： 在fork...join中，父进程会被阻塞，知道所有子进..
你的 disable fork 用的对吗？
zyj0oo0的博客
09-06 1832
我们先来看一段代码： timescale 1ns/1ps; task jobs（）; fork begin #10; $display("delay 10ns"); end begin #20; $display("delay 20ns"); end join_any disable_fork endtask
关于SV的一些知识5
m0_67743934的博客
08-24 698
关于SV的一些知识5
SV(2)-过程块与连接设计
qq_44943193的博客
06-28 464
测试平台
SV学习笔记（14）
yuyi111c的博客
04-16 561
学习目标： SV绿皮书第七章：线程以及线程间的通信 学习内容： 1.线程中的自动变量 initial begin for(int j=0;j<3;j++) fork automatic int k=j; //创建索引的拷贝 $write(k); //打印拷贝值 join_none #0 $display; end 问题： 学习时间： 下：15-17 ...
SV线程及线程间通信
loading_up的博客
08-25 1486
1、 在测试平台环境里，大多数语句块被模拟成事务处理器（transaction），运行在各自并发执行的线程里。 2、 线程间通信：event、事件控制、wait语句、mailbox、旗语 3、join none块后语句的执行早于块内的任何语句 4、 构造函数new只对数值进行初始化，并不启动任何线程，二者分开允许在执行transaction之前修改任何变量。 5、线程中的automatic变量。 如果在for循环语句中使用了fork join none，程序program回使用tr来匹配即将到来的
sudo nmap -sV -sC -p-
05-17
- `-sV` 参数表示开启版本探测功能，尝试通过各种手段获取目标主机上运行的服务及其版本信息。 - `-sC` 参数表示开启默认脚本扫描功能，使用一些常见的Nmap脚本探测目标主机上的漏洞或服务配置错误。 - `-p-` 参数...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值