FPGA学习-例解阻塞赋值与非阻塞赋值

逃离我推掉我的手 2022-05-29 04:40 127阅读 0赞

据说阻塞赋值和非阻塞赋值是 Verilog  语言中最难理解的知识点之一， 我也觉得，从网上翻阅了资料，也看过一些视频。

以下从两个典型的例子以及多个角度去分析得到与验证阻塞赋值与非阻塞赋值的区别，以及各自的特点。

**非阻塞赋值与阻塞赋值特性**

1、非阻塞赋值的特性：

赋值语句的流程：

a)计算右边的表达式得到结果

b)将结果赋值到左边的变量

这个过程中允许来自任何其他Verilog语句的干扰，也就是说其他Verilog语句都可以在这个时候执行。

2、阻塞赋值特性：

赋值语句的流程：

c)计算右边的表达式得到结果

d)将结果赋值到左边的变量

这个过程中不允许有来自任何其他Verilog语句的干扰，这就导致其他的Verilog语句会等待（阻塞）该赋值语句执行完毕后才能被执行，这就是阻塞的含义。

根据小梅哥视频《07\_例解阻塞赋值与非阻塞赋值》去分析

**一、非阻塞赋值分析**

1、非阻塞赋值源程序

/\* 实验名称：非阻塞赋值 \*/

**module** mytest**(**clk**,** rst\_n**,** a**,** b**,** c**,** out**);**

**inp****ut** clk**,** rst\_n**,** a**,** b**,** c**;**

**output** **reg** **\[**1**:**0**\]**    out**;**

**reg****\[**1**:**0**\]** d**;**

**always****@(****posedge** clk **or** **negedge** rst\_n**)**

**if****(!**rst\_n**)**

out **<=** 2'b0**;**

**else** **begin**

d **<=** a **+** b**;**

out **<=** d **+** c**;**

**end**

**endmodule**

从源码中分析，根据非阻塞语句的特性, 假设 a = 0，b = 1, c = 0;

当rst\_n为高时，由于d<=a+b、out<=d+c; 是同时执行，所以：

1、先右边表达式的结果：a + b = 0 + 1 = 1、d + c = 0 + 0 = 0

2、再将结果赋值给左边： d = a + 1就等于 1，out = d + c 就等于 0

2、RTL视图

![631214353345046.jpg][]

其实RTL视图中也能看出来，假设a = 0，b = 1, c = 0; d寄存器为0，out寄存器为0 ;

那么当一个时钟周期到来：（以下两步会同时执行，即d与out寄存器会同时从加法器中取值）

1、Add0寄存器会将a(0) + b(1) = 1的值给d寄存器，d寄存器由0变为1

2、Add1寄存器会将d(0) + c(0) = 0的值给out寄存器，out寄存器仍是0

3、仿真测试源程序

\`timescale 1ns**/**1ns

\`define clock\_period 20

**module** mytest\_tb**;**

**reg** clk**,** rst\_n**,** a**,** b**,** c**;**

**wire** **\[**1**:**0**\]** out**;**

mytest u1**(**clk**,** rst\_n**,** a**,** b**,** c**,** out**);**

**initial** clk **=** 1**;**

**always****\#(**\`clock\_period **/** 2**)** clk **=** **~**clk**;**

**initial** **begin**

rst\_n **=** 1'b0**;**

a **=** 0**;**

b **=** 0**;**

c **=** 0**;**

**\#(**\`clock\_period **\*** 200 **+** 1**);**

rst\_n **=** 1'b1**;**

**\#(**\`clock\_period **\*** 20**);**

a **=** 0**;** b **=** 0**;** c **=** 0**;**

**\#(**\`clock\_period **\*** 200**);**

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**

4、波形图

![631214363364295.jpg][]

5、波形分析  
 ![631214363323539.jpg][]

这是 out 从 0 变成 1 前一个时钟周期的情况，由上图可以看到，当时钟上升沿，采样得到的 a、b、d、c都是等于0，而c是在时钟上升沿之后才被拉高，所以要在下一个时钟周期的上升沿才能采样到c的状态，

如下图：

![631214363371715.jpg][]

然后我们再往后看看。

![631214363337336.jpg][]

首先我们看到 01 与 01 直接夹着 0，那么01对应的应该是如下几行的测试代码，从代码可以看到不应该有00的存在。

a = 0; b = 0; c = 1;

\#(\`clock\_period \* 200);

a = 0; b = 1; c = 0;

\#(\`clock\_period \* 200);

因为c变为0，b变为1是在时钟周期的上升沿之后才变化，这里暂时不考虑是在上升沿或下降沿时变化。

而out和d的状态因为过程中需要采样和赋值操作，会有一个逻辑延迟的现象，也就是说也是在时钟上升沿之后才会变化。以下为后仿真的波形图，根据接近实际状况。

![631214363335286.jpg][]

即图中A上升沿时：（以下两步的采样是在同一个时钟上升沿同时进行）

1、d的状态：旧状态是0，经过以下操作新的状态是0

同时采样a的状态得到是0，b的状态得到的是0。所以d的状态变为0

2、out的状态：旧状态是1，经过以下操作新的状态变为1

同时到d是0，c的状态得到的是1，所以导致out变为1。

3、在时钟为稳定电平期间c变为0，b变为1，即在上升沿之后。

那么到了B上升沿时：（以下两步的采样是在同一个时钟上升沿同时进行）

1、d的状态：旧状态是0，经过以下操作新的状态是1

同时采样a的状态得到是0， b的状态得到的是1。所以d的状态变为1

2、out的状态：旧状态是1，经过以下操作新的状态变为0

同时采样到d是0，c的状态得到的是0，所以导致out变为0。

当到C上升沿的时：（以下两步的采样是在同一个时钟上升沿同时进行）

1、d的状态：旧状态是1，经过以下操作新的状态是1

同时采样a的状态得到是0，b的状态得到的是1。所以d的状态变为1

2、out的状态：旧状态是0，经过以下操作新的状态变为1

同时采样到d是1，c的状态得到的是0，所以导致out变为0。

6、解决出现0的情况。

分析原因：

从RTL视图中可以看到是因为多了几个d寄存器导致out寄存器慢了一个时钟。

从波形视图中可以看到也是因为多了d，导致out寄存器出现了0状态。

结论：

将d去掉即可，以后写程序过程中尽量不要采用中间变量，避免出现多余的寄存器出现，导致不同步。

源程序如下：

\`timescale 1ns**/**1ns

/\* 实验名称：非阻塞赋值 \*/

**module** mytest**(**clk**,** rst\_n**,** a**,** b**,** c**,** out**);**

**input** clk**,** rst\_n**,** a**,** b**,** c**;**

**output** **reg** **\[**1**:**0**\]**    out**;**

//reg\[1:0\] d;

**always****@(****posedge** clk **or** **negedge** rst\_n**)**

**if****(!**rst\_n**)**

out **<=** 2'b0**;**

**else** **begin**

//d <= a + b;

//out <= d + c;

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

**end**

**endmodule**

** **

RTL视图：（从下图可以看到，来一个时钟周期，那么out直接就取Add0和Add1的值）

![631214373314952.jpg][]

波形图：（下图比较小，可以对比上面的波形图）

![631214373343881.jpg][]

**二、阻塞赋值分析**

1、源程序（为了更加清晰的理解，我修改了视频作者的源码）

\`timescale 1ns**/**1ns

/\* 实验名称：非阻塞赋值 \*/

**module** mytest**(**clk**,** rst\_n**,** a**,** b**,** c**,** out**);**

**input** clk**,** rst\_n**,** a**,** b**,** c**;**

**output** **reg** **\[**1**:**0**\]**    out**;**

**reg****\[**1**:**0**\]** d**;**

**reg** run**;**        // 这个是用来指示当前执行的位置

**always****@(****posedge** clk **or** **negedge** rst\_n**)**

**if****(!**rst\_n**)**

out **=** 2'b0**;**

**else** **begin**

d **=** a **+** b**;**

run **=****\#1** 1**;**    // 准备执行out赋值时

out **=** d **+** c**;**

run **=****\#1** 0**;**    // 执行out赋值后

**end**

**endmodule**

从源码中分析，根据阻塞语句的特性, 假设 a = 0，b = 1, c = 0;

当rst\_n为高时，由于d=a+b、out=d+c; 是顺序执行，所以：

1、先执行：d = a + b = 0 + 1 = 1

2、在执行：out = d + c = 1 + 0 = 1;

2、RTL视图（没看错，就和去掉了d寄存器的非阻塞赋值代码生成的电路一样）

![631214373372165.jpg][]

从这里就能看出与非阻塞赋值的不同之处，此处不再解释。

3、仿真测试程序

与非阻塞仿真测试程序一样，略。

4、波形图

![631214373378547.jpg][]

5、波形图分析

![631214373357608.jpg][]

根据代码我们知道run信号是执行完d = a + b 之后为高电平，执行完 out = d + c 为低电平。

通过run信号知道，每次都是在out变化之后才出现低电平。因为如果是同时执行的话，速度非常快，由于run原先就是低电平，变为高电平和变为低电平都是延时1ns，也就是说同时执行1ns之后run依然会是低电平，如下图，同样的延时，改为非阻塞的方式，out一直为低。

![631214373341098.jpg][]

A时钟上升沿到来：（以下三个步骤为顺序执行）

1、d的状态：当前状态0，经过采样，新的状态更新为0

同时采样a的状态为0、 b的状态为0，d = a + b = 0 + 0 = 0;

2、run信号：

被拉高

3、out的状态：当前状态0，经过采样，新的状态更新为0

同时采样d的状态0、c的状态为0，out = d + c = 0 + 0 = 0;

4、run信号：

被拉低

B时钟上升沿到来：（以下三个步骤为顺序执行）

1、d的状态：当前状态0，经过采样，新的状态更新为0

同时采样a的状态为0、 b的状态为0，d = a + b = 0 + 0 = 0;

2、run信号：

被拉高

3、out的状态：当前状态0，经过采样，新的状态更新为1

同时采样d的状态0、c的状态为1，out = d + c = 0 + 1 = 1;

4、run信号：

被拉低

C时钟上升沿到来：（以下三个步骤为顺序执行）

1、d的状态：当前状态0，经过采样，新的状态更新为0

同时采样a的状态为0、 b的状态为0，d = a + b = 0 + 0 = 0;

2、run信号：

被拉高

3、out的状态：当前状态1，经过采样，新的状态更新为1

同时采样d的状态0、c的状态为1，out = d + c = 0 + 1 = 1;

4、run信号：

被拉低

通过以上步骤可以发现，执行的时间、采样的时间不一样，会导致不一样的结果。

另外一个实验：根据网上的一篇文章的例子，然后再通过看波形的方式去验证。

http://blog.163.com/xiaoting\_hu/blog/static/50464772201361162838112/

**一、****非阻塞赋值****分析**

1、非阻塞赋值例程

/\* 实验名称：阻塞与非阻塞赋值差异实验

\* 程序功能：非阻塞赋值 - 观看 RTL-View 以及波形 \*/

**module** mytest**(**o\_y1**,** o\_y2**,** i\_clk**,** i\_rst**);**

**output** **reg** o\_y1**,** o\_y2**;**

**input** **wire** i\_clk**,** i\_rst**;**

//异步复位 **always****A**

**always****@(****posedge** i\_clk **or** **negedge** i\_rst**)**

**if****(!**i\_rst**)**

o\_y1 **<=** 0**;**        // 低电平复位

**else**

o\_y1 **<=** o\_y2**;**

//异步复位 **always****B**

**always****@(****posedge** i\_clk **or** **negedge** i\_rst**)**

**if****(!**i\_rst**)**

o\_y2 **<=** 1**;**        // 低电平复位

**else**

o\_y2 **<=** o\_y1**;**

**endmodule**

** **

2、RTL 视图

![631214373383446.jpg][]

** **

3、仿真源程序

\`timescale 1ns**/**1ns

\`define clock\_period 20

**module** mytest\_tb**;**

**reg** clk**,** rst**;**

**wire** y1**,** y2**;**

mytest u1**(**y1**,** y2**,** clk**,** rst**);**

**initial** clk **=** 1'b1**;**

**always** **\#(**\`clock\_period **/** 2**)** clk **=** **~**clk**;**

**initial** **begin**

rst **=** 1'b0**;**                    // 复位

**\#(**\`clock\_period **\*** 5**);**

rst **=** 1'b1**;**                    // 开始执行

**\#(**\`clock\_period **\*** 20**);**

rst **=** 1'b0**;**

**\#(**\`clock\_period **\*** 5**);**

rst **=** 1'b1**;**

**\#(**\`clock\_period **\*** 20**);**

rst **=** 1'b0**;**

**\#(**\`clock\_period **\*** 5**);**

rst **=** 1'b1**;**

**\#(**\`clock\_period **\*** 20**);**

$stop**;**

**end**

**endmodule**

4、波形图

![631214373325243.jpg][]

5、波形分析

![631214373349368.jpg][]

//异步复位 alwaysA

**always****@(****posedge** i\_clk **or** **negedge** i\_rst**)**

**if****(!**i\_rst**)**

o\_y1 **<=** 0**;**        // 低电平复位

**else**

o\_y1 **<=** o\_y2**;**

//异步复位 alwaysB

**always****@(****posedge** i\_clk **or** **negedge** i\_rst**)**

**if****(!**i\_rst**)**

o\_y2 **<=** 1**;**        // 低电平复位

**else**

o\_y2 **<=** o\_y1**;**

** **

当 i\_rst **==** 0 ：o\_y1 被赋值为 0**,** o\_y2 被赋值为 1，由于非阻塞赋值特性，所以无先后顺序

当 i\_rst **==** 1 ：由于两**个** **always** 块会被同时执行。即 fpga 会在同一个时钟上升沿进行采样，

第一个时钟周期：

**alwaysA** 会对 o\_y2 采样得到为高电平，所以给 o\_y1 赋值为高电平。

**alwaysB** 会对 o\_y1 采样得到为低电平，所以给 o\_y2 赋值为低电平。

第二个时钟周期：

**alwaysA** 会对 o\_y2 采样，因为在第一个周期中 o\_y2 因 o\_y1 而赋值为低电平，所以采样得到为低电平，所以给 o\_y1 赋值为低电平。

**always****B** 会对 o\_y1 采样，因为在第一个周期中 o\_y1 因 o\_y2 而赋值为高电平，所以采样得到为高电平，所以给 o\_y2 赋值为高电平。

之后的时钟周期都是根据这样的规律进行变化，所以我们看到的波形 o\_y1、o\_y2 是相反状态。

**二****、****阻塞赋值分析**

1、阻塞赋值源程序

/\* 实验名称：阻塞与非阻塞赋值差异实验

\* 程序功能：阻塞赋值 - 观看 RTL-View 以及波形

\*/

**module** mytest**(**o\_y1**,** o\_y2**,** i\_clk**,** i\_rst**);**

**output** **reg** o\_y1**,** o\_y2**;**

**input** **wire** i\_clk**,** i\_rst**;**

//异步复位

**always****@(****posedge** i\_clk **or** **negedge** i\_rst**)**

**if****(!**i\_rst**)**

o\_y1 **=** 0**;**        // 低电平复位

**else**

o\_y1 **=** o\_y2**;**

//异步复位

**always****@(****posedge** i\_clk **or** **negedge** i\_rst**)**

**if****(!**i\_rst**)**

o\_y2 **=** 1**;**        // 低电平复位

**else**

o\_y2 **=** o\_y1**;**

**endmodule**

2、RTL 视图（居然和阻塞一样的 RTL 视图）

![631214383342899.jpg][]

3、仿真源程序

和非阻塞仿真源程序一样。略

3、波形图

![631214383382380.jpg][]

4、波形分析

![63121438337978.jpg][]

//异步复位**always****A**

**always****@(****posedge** i\_clk **or** **negedge** i\_rst**)**

**if****(!**i\_rst**)**

o\_y1 **=** 0**;**        // 低电平复位

**else**

o\_y1 **=** o\_y2**;**

//异步复位 **always****B**

**always****@(****posedge** i\_clk **or** **negedge** i\_rst**)**

**if****(!**i\_rst**)**

o\_y2 **=** 1**;**        // 低电平复位

**else**

o\_y2 **=** o\_y1**;**

当 i\_rst **==** 0 ：o\_y1 被赋值为 0**,** o\_y2 被赋值为 1, 由于阻塞赋值特性，所以有先后顺序，但无法确定谁先谁后。

当 i\_rst **==** 1 ：由于阻塞赋值的特性，在执行阻塞赋值语句时其他语句均不能得到执行。由于两**个** **always** 块会被同时执行，而且 o\_y1 和 o\_y2 的取值是互相影响，所以 o\_y1、o\_y2 值取决于那个 **always** 块的赋值语句先执行。从波形来看，明显是 **always****A**** **最新得到执行。

第一个时钟周期：

**alwaysA** 会对 o\_y2 采样得到为高电平，所以给 o\_y1 赋值为高电平。

**alwaysB** 会对 o\_y1 采样，因在 **alwaysA**** **程序块 o\_y1 因 o\_y2 而赋值为高电平,所以给 o\_y2 赋值为高电平。

第二个时钟周期：

**alwaysA** 会对 o\_y2 采样，因为在第一个周期中 o\_y2 因 o\_y1 而赋值为高电平，所以采样得到为高电平，所以给 o\_y1 赋值为高电平。

**alwaysB** 会对 o\_y1 采样，因在 **alwaysA**** **程序块 o\_y1 因 o\_y2 而赋值为高电平,所以给 o\_y2 赋值为高电平。

也就是说 o\_y1 = o\_y2; o\_y2 = o\_y1; 是顺序执行的，所以我们看到的波形 o\_y1、o\_y2 都是高电平状态.  
  
  
最后附上非阻塞赋值的一个很有意思的例子。  
  
![631214383398328.jpg][]

[631214353345046.jpg]: /images/20220529/5f6dac268bed4e41b4428a03e3192418.png
[631214363364295.jpg]: /images/20220529/48ae040a8fb34c6cb08ad9ba668b44a1.png
[631214363323539.jpg]: /images/20220529/6c6dfb6087aa4b2d8c0835e61e683a37.png
[631214363371715.jpg]: /images/20220529/a411ebc4c9864097b3f2aa08f3f81f86.png
[631214363337336.jpg]: /images/20220529/3f0d869585474123bf2608de91cc9152.png
[631214363335286.jpg]: /images/20220529/91775cd843dd4e8f9cbfd1888641b333.png
[631214373314952.jpg]: /images/20220529/99642d758df549189c1016196650e029.png
[631214373343881.jpg]: /images/20220529/be2a01e580fa4fd88cdec13c6457ade4.png
[631214373372165.jpg]: /images/20220529/d9237543a3574f99a24d35da61a9c5a4.png
[631214373378547.jpg]: /images/20220529/96c102e42f3f40dabbcbf3444b36718d.png
[631214373357608.jpg]: /images/20220529/36cba078880041108bfb4a57f4e76b8a.png
[631214373341098.jpg]: /images/20220529/1dbb5ac8f21043bd8fd78511fc3ba540.png
[631214373383446.jpg]: /images/20220529/b054ca492ded49ae9555aac8a69aa3ad.png
[631214373325243.jpg]: /images/20220529/73552fc8daa248ffbf88252a24c3da68.png
[631214373349368.jpg]: /images/20220529/74cbabea1b934e9bb35077953ecbe5b1.png
[631214383342899.jpg]: /images/20220529/4b22bb32eae740ef8b06b2a34ce2753f.png
[631214383382380.jpg]: /images/20220529/62ff5a17eeaa456dbae5a4842a611e79.png
[63121438337978.jpg]: /images/20220529/dbd9a47e60f64f41bb5949a61aeded85.png
[631214383398328.jpg]: /images/20220529/058bd4fdaced47cfae977be895b9c3c2.png

发表评论取消回复

表情：

评论列表（有 0 条评论，127人围观）

还没有评论，来说两句吧...

相关阅读

相关同步阻塞与异步非阻塞

同步阻塞消息处理 <table> <thead> <tr> <th align="left">假如有这样一个系统功能，客户端<code>提交Even

àì夳堔傛蜴生んèń/ 2024年03月16日 07:29/ 0 赞/ 170 阅读

相关 Verilog中阻塞赋值与非阻塞赋值的区别

内容简介： IEEE Verilog标准中提供了阻塞赋值和非阻塞赋值两种赋值方式，二者的执行过程如下： 1.阻塞赋值(=)：阻塞赋值操作实质上是一次性连续完成的，即计算

Dear 丶/ 2023年06月07日 03:29/ 0 赞/ 22 阅读

相关 FPGA 32 专题阻塞和非阻塞状态的理解

![\[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-t93Mpr2Y-1627401356069)(FPGA 09 阻塞和非阻塞状态的理解.as

男娘i/ 2022年12月12日 02:29/ 0 赞/ 218 阅读

相关同步/异步/阻塞/非阻塞解析

同步/异步/阻塞/非阻塞什么事同步异步，什么事阻塞非阻塞呢：举个例子中午吃饭，两个宝宝，我两只手一起喂饭，他们同时吃下就叫做同步；什么叫异步呢，我喂他俩吃饭，

青旅半醒/ 2022年11月11日 06:17/ 0 赞/ 120 阅读

相关阻塞与非阻塞

原文出处：http://www.cnblogs.com/orez88/articles/2513460.html 简单点说: 阻塞就是干不完不准回来，非阻塞就是

分手后的思念是犯贱/ 2022年09月24日 08:28/ 0 赞/ 300 阅读

相关同步、异步、阻塞与非阻塞

[聊聊同步、异步、阻塞与非阻塞][Link 1] 原文出处： [ 陶邦仁][Link 1] 系列目录聊聊远程通信 [Java远

落日映苍穹つ/ 2022年09月22日 15:59/ 0 赞/ 313 阅读

相关同步异步与阻塞非阻塞

故事出场人物：老张，水壶两把（普通水壶，简称水壶；会响的水壶，简称响水壶）。 1 老张把水壶放到火上，立等水开。（同步阻塞）老张觉得自己有点傻 2 老张把

冷不防/ 2022年06月09日 07:12/ 0 赞/ 351 阅读

相关阻塞与非阻塞的区别

简单点说: 阻塞就是干不完不准回来，非阻塞就是你先干，我现看看有其他事没有，完了告诉我一声我们拿最常用的send和recv两个函数来说吧... 比如你调

妖狐艹你老母/ 2022年06月03日 07:21/ 0 赞/ 267 阅读

相关 FPGA学习-例解阻塞赋值与非阻塞赋值

据说阻塞赋值和非阻塞赋值是 Verilog 语言中最难理解的知识点之一，我也觉得，从网上翻阅了资料，也看过一些视频。以下从两个典型的例子以及多个角度去分析得到与验

逃离我推掉我的手/ 2022年05月29日 04:40/ 0 赞/ 128 阅读

相关阻塞IO与非阻塞IO

学习地址：[https://www.cnblogs.com/xiaoxi/p/6525396.html][https_www.cnblogs.com_xiaoxi_p_6525

向右看齐/ 2022年03月17日 04:56/ 0 赞/ 371 阅读