SV中线程之间的通信可以让验证组件之间更好的传递transaction。
SV对verilog建模方式的扩展:1) fork.....join 必须等到块内的所有线程都执行结束后,才能继续执行块后的语句。(所以使用的很少)
2) fork.....join_none 先执行块后的线程,而后再执行块内的线程。不会产生块后的线程必须等块内线程的情形。
3) fork.....join_any 只要块内的线程有一个执行结束,就执行块之后的线程。
需要说明一下,begin.....end之间的顺序操作,只要先前的进程已经开始执行,那之后的进程就会开始执行。在2例中a = b线程先于c = a线程执行,但俩者都是在
零时刻执行,因为阻塞赋值都是一个仿真时间区域,所以最后的结果是c = b;如果改成a <= b;因为同一个仿真时刻,阻塞赋值在非阻塞赋值之前,所
以最后的结果是c = a; a <= b; (未仿真检测)
在例1中,0时刻a = b线程被#2阻塞,c=a线程因为a = b还未执行结束也阻塞。2个仿真单位之后,a=b线程结束,开始c = a线程,被#3阻塞,又
过3个仿真单位后,执行结束。
begin begin
#2 a = b; a = b;
#3 c = a; c = a;
end end
线程中的自动变量:两种用法,#0会阻塞$display任务,而让for循环在仿真时刻0时,就先于$display执行好。
initial begin initial begin
for(int j=0;j<3;j++) for(int j=0;j<3;j++) begin
fork int k = j;
automatic int k = j; fork
$write(k); $write(k);
join_none join_none end
#0$display; #0$display;
end end
停止一个线程:
task check_trans(Transaction tr);
fork begin
fork:time_out
begin
wait(bus.cb.addr == tr.addr);
$display("@%0t:Address Match", $time);
end
#TIME_OUT $display("@%0t:Error", $time);
join
join_any
disable time_out //进程块名
endtask
事件通信:1)同verilog一样的,@, ->操作符,边沿阻塞。因为event是零脉冲,所以这种方式,当->在@之前时,同一个event不能被发现触发。
->>在nonblocking的区域执行触发
2)SV扩展的电平检测triggered()函数。wait(e1.triggered()),在当前时间的最后执行,保证如果当前时间有触发,则不会引起阻塞
在验证经常将event参数放在类的new的参数列表中,同mailbox一样,之后会说到。这样方便直接在顶层通过event或mailbox连接构件。
旗语互斥访问:semaphore来创建,new函数构建,put获得一个,get得到一个,得不到或放不进时,阻塞进程。try_get(),同get但是不会被阻塞。
邮箱通信:mailbox来创建,new函数来构建,put移出数据,get移入数据,peek对FIFO数据的copy不会移入移出。mailbox内存放的是句柄不会是对象。
mailbox默认都是typeless的,这样在producer和consumer之间,可能会出现类型出错的情况,这样只能在run_time中发现错误;
使用参数化的mailbox,可以在compile的时候,就发现在这个问题;
local static mailbox #(uvm_phase) m_phase_hopper = new(); 只接受phase类型的指针;
mailbox内自定义的函数,num(),put()/try,get/try()
class Generator; class Driver;
Transactin tr; Transactin tr;
mailbox mbx; mailbox mbx;
function new(mailbox mbx) function new(mailbox mbx)
this.mbx = mbx; this.mbx = mbx;
endfunction endfunction
task run(int count); task run(int count);
repeat(count) begin repeat(count) begin
tr = new(); mbx.get(tr);
assert(tr.randomize); ........
mbx.put(tr); ..........
end
endtask
endclass endclass
program automatic mailbox_example(arbif......)
'include "Generator.sv"
'include "Driver.sv"
'include "Transaction.sv"
mailbox mbx;
Generator gen;
Driver drv;
int count;
initial begin
count = $urandom_range(50);
mbx = new();
gen = new(mbx); //gen与drv同一个mailbox来传递transaction
drv = new(mbx);
......................
end