首页 > 代码库 > 关于verilog阻塞赋值与非阻塞赋值的一些浅见

关于verilog阻塞赋值与非阻塞赋值的一些浅见

最近学到了关于verilog的阻塞赋值与非阻塞赋值的一些区别,经过网上查阅与仿真实验,有了一些理解。希望能够记下来。

说到verilog的阻塞与非阻塞赋值,不得不说的就是verilog的事件表,如下:

阻塞赋值,属于活跃事件,计算完RHS(Right Hand Side)立即更新左值。期间同一块内其他语句不能执行,即阻塞其他语句执行。

而非阻塞右值计算属于活跃事件,非阻塞左值更新属于非活跃事件,即计算完RHS,不能立即更新左值,而要等所有活跃事件完成,才能完成左值更新,出事件队列。

 

然后说说$display$strobe

显示任务($display)在执行到该语句时立即执行显示

选通任务($strobe)要推迟到事件列表当前时阶结束时进行。

 

$strobe:
当该时刻的所有事件处理完后,在这个时间步的结尾打印一行格式化的文本,
规则
这些系统任务的变量的语法几乎和$display 任务一样

但是$strobe 被调用时,在该块中所有活动都完成了,$strobe 才打印文本,这包括所有阻塞性和非阻塞性赋值的作用

提示
在写仿真结果时请尽量使用$strobe 少用$display 或$write 
举例
initial
begin
x = 1‘b0;
$display("x1=%d",x);        
$strobe("x2=%d",x);           
x = 1‘b1;                   
end

最后显示 x1=0;x2=1;

 

(1)

(若无延时,计算完所有RHS,同步更新到RLS,加了延时,

并且此时延时在最前边,表示计算右值与赋值都被延时)

#50延时,clk上升沿,

#100延时,RHS_a ->a

#50 RHS_b -> b 

#50 RHS_c ,$display, RHS_c -> c;

 

打印结果:

 

波形结果:

 

(2)

(此时延时,指的是输入与输出间的延时)

#50延时,clk上升沿RHS_a,RHS_b,RHS_c, $display

#50延时,RHS_b->b,RHS_c->c

 

#50延时,(另一个clk上升沿)$display  RHS_a->a

 

打印结果:

 

波形结果:

 

(3)

#50延时,clk上升沿

#100延时,RHS_a->a

#50延时,RHS_b->b

#50延时,RHS_c->c,$display

 

打印结果:

 

波形结果:

 

(4)

#50 lk上升沿

RHS_a  #100延时  RHS_a->a

RHS_b  #50延时  RHS_b->b

RHS_c  #50延时  RHS_c->c,$display

 

打印结果:

 

波形结果:

 

因此,将begin-end改为fork-join,系统运行结果如下;

 

(1)

打印结果:

 

波形结果:

 

(2)

打印结果:


波形结果:

 

(3)

打印结果:


波形结果:

 

(4)

打印结果:


波形结果:

 

其实$display的执行时间与仿真器有关,硬件上,$display的运行时间与并行的程序的相对时间是不确定的,而仿真器则设置了固定的开始时间。

 

本文只是个人的一点薄见,希望能够抛砖引玉,愿各位高手不吝赐教。转载请说明。