SV--线程（一）

最新推荐文章于 2024-09-08 15:54:42 发布

创芯人

最新推荐文章于 2024-09-08 15:54:42 发布

阅读量1.1k

点赞数 2

分类专栏： SV 文章标签： SV System Verilog

本文链接：https://blog.csdn.net/weixin_45680021/article/details/126003463

版权

SV 专栏收录该内容

18 篇文章 34 订阅

订阅专栏

本文详细介绍了Verilog中模块如何作为独立线程进行通信和同步，探讨了fork...join、fork...join_any、fork...join_none等控制结构在硬件仿真的应用，包括线程启动、控制、等待及终止策略。

摘要由CSDN通过智能技术生成

1线程的使用

1.1程序和模块

•   module (模块）作为SV从Verilog继承过来的概念，自然地保持了它的特点除了作为RTL模型的外壳包装和实现硬件行为，在更高层的集成层面，模块之间也需要通信和同步。
•   对于硬件的过程块，它们之间的通信可理解为不同逻辑／时序块之间的通信或者同步，是通过信号的变化来完成的。
•   从硬件实现的角度来看，Verilog通过always,initial过程语句块和信号数据连接实现进程间通信。
•   我们可以将不同的module作为独立的程序块，他们之间的同步通过信号的变化(event触发）、等待特定事件（时钟周期）或者时间（固定延时）来完成。

如果按照软件的思维理解硬件仿真，仿真中的各个模块首先是独立运行的线程(thread)。

模块（线程）在仿真一开始便并行执行，除了每个线程会依照自身内部产生的事件来触发过程语句块之外，也同时依靠相邻模块间的信号变化来完成模块之间的线程同步。

•   线程即独立运行的程序。
•   线程需要被触发，可以结束或者不结束。
•   在module中的initial和always,都可以看做独立的线程，它们会在仿真0时刻开始，而选择结束或者不结束。
•   硬件模型中由于都是always语句块，所以可以看成是多个独立运行的线程，而这些线程会一直占用仿真资源，因为它们并不会结束。
•   软件测试平台中的验证环境都需要由initial语句块去创建，而在仿真过程中，验证环境中的对象可以创建和销毁，因此软件测试端的资源占用是动态的。

软件环境中的initial块对语句有两种分组方式，使用begin ... end或fork... join。

begin ... end的语句以顺序的方式执行，而fork...join中的语句则以并发方式执行。

与fork... join类似的并行方式语句还包括fork...join_any,fork...join_none.

•   线程的执行轨迹是呈树状结构的，即任何的线程都应该有父线程。
•   父线程可以开辟若干个子线程，父线程可以暂停或者终止子线程。
•   当子线程终止时，父线程可以继续执行。
•   当父线程终止时，其所开辟的所有子线程都应当会终止。

2.线程的控制

2.1 fork.... join

//fork...join
initial 
begin 
	$display("@%0t： start fork... join example", $time); 
	#10 $display("@%0t： sequential after #10", $time);
fork
	$display("@%Ot: parallel start", $time); 
	#50 $display("@%0t：parallel after #50", $time); 
	#10 $display("@%0t: parallel after #lO", $time);
begin
	#30 $display("@%0t： sequential after #30", $time); 
	#10 $display("@%0t： sequential after #10", $time);
end 
join 
	$display ("@%0t： after join", $time);
	#80 $display("@%0t: finish after #80", $time);
end

打印代码：

@0: start fork... join example
@10: sequential after #10
@10: parallel start
@20: parallel after #10
@40: sequential after #30
@50: sequential after #10
@60: parallel after #50
@60: after join
@140: finish after #80

2.2 fork...join_any

//fork...join_any
initial 
begin 
	$display("@%0t： start fork... join_any example", $time); 
	#10 $display("@%0t： sequential after #10", $time);
fork
	$display("@%Ot: parallel start", $time); 
	#50 $display("@%0t：parallel after #50", $time); 
	#10 $display("@%0t: parallel after #lO", $time);
begin
	#30 $display("@%0t： sequential after #30", $time); 
	#10 $display("@%0t： sequential after #10", $time);
end 
join_any
	$display ("@%0t： after join", $time);
	#80 $display("@%0t: finish after #80", $time);
end

打印代码：

@0: start fork... join_any example
@10: sequential after #10
@10: parallel start
@10: after join_any
@20: parallel after #10
@40: sequential after #30
@50: sequential after #10
@60: parallel after #50
@90: finish after #80

2.3 fork...join_none

//fork...join_none
initial 
begin 
	$display("@%0t： start fork... none example", $time); 
	#10 $display("@%0t： sequential after #10", $time);
fork
	$display("@%Ot: parallel start", $time); 
	#50 $display("@%0t：parallel after #50", $time); 
	#10 $display("@%0t: parallel after #lO", $time);
begin
	#30 $display("@%0t： sequential after #30", $time); 
	#10 $display("@%0t： sequential after #10", $time);
end 
join_none
	$display ("@%0t： after join_none", $time);
	#80 $display("@%0t: finish after #80", $time);
end

打印代码：

@0: start fork... join_none example
@10: sequential after #10
@10: after join_none

@10: parallel start
@20: parallel after #10
@40: sequential after #30
@50: sequential after #10
@60: parallel after #50
@90: finish after #80

2.4 等待所有衍生线程

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

task run_threads;
...
fork
check_trans(trl); //线程1 
check_trans(tr2); //线程2 
check_trans(tr3); //线程3
join_none
...
／／等待所有fork中的线程结束再退出task 
wait fork;
endtask

2.5 停止单个线程

在使用了fork.. join_any或者fork... join_none以后，我们可以使用disable来指定需要停止的线程。

parameter TIME_OUT = 1000; 
task check_trans{Transaction tr);
fork
begin
//等待回应，或者达到某个最大时延
fork: timeout_block
begin
wait(bus.cb.addr == tr.addr);
$display("@%0t: Addr match %d", $time, tr.addr);
end 
#TIME_ OUT $display ("@%0t： Error: timeout， $time);
join_any 
disable timeout_block;
end
join_none
endtask

2.6 停止多个线程

disable fork可以停止从当前线程中衍生出来的所有子线程。

initial begin 
check_trans(trO); //线程0
//创建一个线程来限制disable fork的作用范围 
fork//线程1
begin
check_trans(trl); //线程2 
fork//线程3
check_trans(tr2); / /线程4
join 
//停止线程1-4, 单独保留线程0 
#(TIME_OUT/2) disable fork
end
join
end

2.7 停止被多次调用的任务

如果你给某—个任务或者线程指明标号，那么当这个线程被调用多次以后，如果通过disable去禁止这个线程标号，所有衍生的同名线程都将被禁止。

task wait_for_time_out(int id);
if (id == 0)
fork
begin
#2; 
$display("@%0t： disable wait_for_time_out"' $time); 
disable wait_for_time_out;
end 
join_none 
fork : just_a_little
begin
$display ("@%0t： %m: %0d entering thread", $time, id); 
#TIME_OUT; 
$display("@%0t： %m: %0d done", $0ime, id); 
end
join_none
endtask

initial begin
wait_for_time_out(0); // Spawn thread 0 
wait_for_time_out(1); // Spawn thread 1  
wait_for_time_out(2); // Spawn thread 2 
#(TIME_OUT*2) $display("@%0t： All done", $time); 
end

• 任务wait_for_time_out被调用了三次，从而衍生了三个线程。
• 线程0在#2延时之后禁止了该任务，而由于三个线程均是“ 同名”线程，因此这些线程都被禁止了，最终也都没有完成。