首页 > 代码库 > 用一个例子来学习阻塞赋值和非阻塞赋值

用一个例子来学习阻塞赋值和非阻塞赋值

阻塞赋值与非阻塞赋值

阻塞赋值的一般表达式为:目标变量名=驱动表达式  阻塞赋值是一种理想化的数据传输,赋值立即发生,不存在延时行为

非阻塞赋值一般表达式为:目标变量名<=驱动表达式   非阻塞赋值比较接近真实的电路工作状态,应为他从综合的角度考虑到了延时和并行性。

 

在过程启动中,非阻塞赋值使三条语句同时运行,而阻塞赋值是按顺序方式完成更新的数据的。

 

 

 

 

新建工程,编写示例代码

技术分享

 

module block_nonblock(clk,rst_n,a,b,c,out );
input clk,rst_n,a,b,c;


output reg [1:0]out;//out=a+b+c>2,所以out应该为2位

reg [1:0] d;//定义一个中间变量
//d=a+b;
//out=d+c
always@(posedge clk or negedge rst_n)
if(!rst_n)

out=2‘b0;

else begin
d=a+b;
out=d+c;
end

endmodule

 

技术分享

 

 从RTL 视图可以看出整个运行过程是顺序执行的。技术分享

改变

d=a+b;
out=d+c;的赋值顺序,再观察RTL视图,会发现两者之间是有区别的,这说明顺序决定着输出的结果。

技术分享

 

 

 

将赋值语句改为非阻塞赋值。

 技术分享

观察RTL视图,会发现两者是有明显不同。技术分享

 

同样的改变

d<=a+b;
out<=d+c;的赋值顺序,再观察RTL视图,会发现两者之间是没有区别的,这说明顺序并没有决定输出的结果。

 技术分享

由RTL图理论上可以看出两种赋值语句的不同,下面编写testbench进行仿真。

技术分享

module block_nonblock_tb;
`define clock_period 20

reg clock,rst_n,a,b,c;
wire [1:0] out ;
block_nonblock block_nonblock0(clock,
rst_n,
a,
b,
c,
out );//这里采用一一对应的调用方式

initial clock=1‘b0;
always#(`clock_period/2) clock=~clock;//产生时钟信号
initial begin
rst_n=1‘b0;
a=0;b=0;c=0; //赋值激励信号
#(`clock_period*200+1)

rst_n=1‘b1;
a=0;b=0;c=1;
#(`clock_period*200)
a=0;b=1;c=0;
#(`clock_period*200)
a=0;b=1;c=1;
#(`clock_period*200)
a=1;b=0;c=0;
#(`clock_period*200)
a=1;b=0;c=1;
#(`clock_period*200)
a=1;b=1;c=0;
#(`clock_period*200)
a=1;b=1;c=1;
#(`clock_period*200)
#(`clock_period*200)
$stop;
end

endmodule

 设定文件路径后按前面的四个程序进行前仿。

 

 

d=a+b;
out=d+c;

技术分享

 

out=d+c;
d=a+b;

技术分享

 


d<=a+b;
out<=d+c;

技术分享

 

out<=d+c;
d<=a+b;

技术分享

 


通过仿真可以看出四种情况的异同,至此阻塞赋值和非阻塞赋值就可以通过实际例子来理解了。

用一个例子来学习阻塞赋值和非阻塞赋值