关于四位计数器的设计，阻塞式与非阻塞式赋值引发的问题

89 阅读 0 评论 59 点赞

我是靠谱客的博主追寻电脑，最近开发中收集的这篇文章主要介绍关于四位计数器的设计，阻塞式与非阻塞式赋值引发的问题，觉得挺不错的，现在分享给大家，希望可以做个参考。

概述

1、今天，从教材中学了两种可综合的四位计术器的设计方法，先附上代码吧。

（1）、建模：

方法一：

module counter1(out,cout,data,load,cin,clk);
input [3:0]data;
input load,cin,clk;
output cout;
output [3:0]out;
reg [3:0]out;

always @(posedge clk)
if(load)
out<=data;
else
out<=out+cin;

assign cout=&out&cin;

endmodule

方法二：

module counter2(preout,out,cout,data,load,cin,clk);
input [3:0]data;
input load,cin,clk;
output cout;
output [3:0]out,preout;
reg [3:0]out;
reg cout;
reg [3:0]preout;

//preout起到一种监控作用，是我自己添加的。

always @(posedge clk)
begin
out<=preout;
end

always @(out,data,load,cin)
begin
{cout,preout}=out+cin;
if(load)
preout=data;


end


endmodule

（2）、testbench：

`include "counter2.v"

module counter_stimulus;
reg load,cin,clk;
reg [3:0]data;
wire [3:0] out;
wire cout;

counter2 ct(out,cout,data,load,cin,clk);

initial
begin
clk=1;
forever #5 clk=~clk;
end

initial
begin
data=4'd5;
cin=0;
load=1;
#5 load=0;
#10 cin=1;
end

endmodule

（3）、仿真效果图：

2、下面我来说说，出现的问题，第一次仿真时，仿真结果如下图（1）：其中，out和cout的值都是红线，不确定值，于是我在counter2的代码中，添加了preout作为输出变量，仿真便出现了图（2）的仿真效果：

图（1）

图（2）

由图（2）可知，当上升沿到来前，load变成0，preout变成了未知值，除都非，我在仿真模块中把load前10ns的值设置为1，让preout一直为1，才能保证后面时刻仿真正确。

后来分析，发现问题就出现在阻塞和非阻塞的赋值方式上，因为在错误代码中，我对preout使用了非阻塞式赋值，如下图，而在正确代码中，我采取的是阻塞式。具体，阻塞式和非阻塞式的区别，还要在后面的学习中，继续巩固学习。在此，我只明白，问题出在这，但不能说出个所以然来。

3、此部分是后续添加的，在学习过阻塞式及非阻塞式赋值后来解决第二部分所出现的问题。看上面图片的代码，第一个always过程块表示一个时序电路，采用非阻塞式赋值肯定没有问题。但第二个always过程表示一个组合逻辑，不适合采用非阻塞式赋值，这是因为当load值变化为1时，preout置为data,即为0101，这个没错，但当load为0时，就只执行{count,preout}<=out+cin;而这个非阻塞赋值等号右边参与运算的是out的初始值，而out的初始值为未知值x，因此，cout和preout保持为未知值x。采用阻塞式的仿真图如下：值得特别注意的是，当always过程块表示一个时序电路时，过程块中的赋值必须为非阻塞式赋值，而当always过程块表示一个组合逻辑时，过程块中的赋值必须为阻塞式赋值。