SV中的线程

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