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

上一篇:Python map,reduce,filter,apply


下一篇:python 时间及日期函数