阻塞赋值“=”与非阻塞赋值“<=”你懂了吗？

Taio

阻塞赋值“=”与非阻塞赋值“<=”你懂了吗？

' [* f% G# F. \  O, `7 d初学Verilog HDL被那个“=”与“<=”整迷糊啦,然后找度娘，一篇文章写得不错嘛，不迷糊啦。如下，还迷糊的小伙伴凑个热闹吧，undefined，另外，感谢作者喽。

4 A7 q. V% u# d

& x" _2 g( U8 G' ?5 ?. J! A首先我们要理解两种变量类型 Net Type（连线型）和 Register Type （寄存器型）。（有些参考书上有分为3种类型，这个无关紧要）Net Type（连线型），从名字上理解就是“导线”呗，导线的这头和导线的另一头始终是直接连通的，这头是什么值，那头就是什么值，所以输出随着输入随时变化的。连线型中 wire 最常见。
    Register Type（寄存器型），寄存器就不像普通导线了，它可以把值给存住，你只要给它赋一次值，它都会存住那个值，直到你给它赋一个新的值它才会改变。寄存器型中 reg 最常见。
    最常用到的是 wire 和 reg 这两种类型，其他的对我们初学者来说一般很少用到，可以暂时跳过，以后慢慢学下去自然会理解。
    注意：wire型变量如果没有赋予初始值，默认初始值为高阻态“Z”。
           reg  型变量如果没有赋予初始值，默认初始值为不定态“X”。
$ c$ B4 J. T% c/ L+ }& H: |, ^
    在理解这两种基本的数据类型之后，我们来看看verilog语言中的赋值语句。verilog语言中的赋值语句有两种，一种是持续赋值语句（assign语句），另一种是过程赋值语句（always语句）。
/ L2 X$ ~0 y: ]0 F! ?" |     持续赋值语句（assign语句）主要用于对wire型变量的赋值，因为wire（线型）的值不能存住，需要一直给值，所以需要用持续赋值。
* U9 }5 ?" J* e0 s- r. t          例如：assign c = a + b;    只要a和b有任意变化，都可以立即反映到c上，也就是说c的值是根据a，b的值随时变化的。
+ G1 J% B8 s& K/ l     过程赋值语句（always语句）主要用于reg 型变量的赋值 ，因为always语句被执行是需要满足触发条件的，所以always过程块里面的内容不是每时每刻都被执行，因此需要将被赋值的对象定义成寄存器类型，以便这个值能被保持住。
$ d% `1 b7 V+ l/ @    过程赋值又分为 阻塞赋值 “=”  和 非阻塞赋值 “<=” 两种。这里的非阻塞赋值符号 “<=” 与 “小于等于” 符号相同，他们在不同的语境下表示不同含义，要注意区分，例如在“if-else”等判断语句中，一般都表示为“小于等于”。

    接下来对这两种赋值作具体讲解...
     ① 阻塞赋值 “=“ 。 阻塞赋值和我们平时理解的赋值差不多，不用太多解释，就是按照语句的顺序，一句句往下顺序执行。一个赋值语句执行完，然后执行下一个赋值语句。
( w& [% |' p" M1 \' a3 ^8 ~     ② 非阻塞赋值 “<=” 。非阻塞赋值就比较特别了，在同一个always过程块中，非阻塞赋值语句都是同时并发执行的，并且在过程块结束时才执行赋值操作。也就是说，在同一个always过程块中，非阻塞赋值语句被执行没有先后顺序，在过程快结束时，大家一起被赋值。
) Z. I6 E# l: P
     给大家举一个具体的例子：
module test (clk, a1, a2, b1, b2, c1, c2); // test为module名称，括号内的是端口列表，包含所有输入输出的变量名称
1 `! {5 ^2 Q- H, E0 hinput clk, a1, a2;          // 定义输入变量，这里没有定义位宽，默认为1位宽度
output b1, b2, c1, c2;    // 定义输出变量，这里没有定义位宽，默认为1位宽度
reg b1 = 0 , b2 = 0, c1 = 0 , c2 = 0;   // 注意！因为这些变量将会在always过程块中被赋值，所以必须定义成 reg 型   
( T+ O" T. Z% |- b6 `( @3 }// 注意！这里省略了对输入信号clk, a1, a2 的类型定义，它们默认为1位的wire 型（因为输入信号是随时要变化，所以必须用wire型）              
always @ (posedge clk)   // always 用 clk 上升沿触发
    begin
        b1 = a1;       // 这里采用的是阻塞赋值
1 [' o, |. E% {' O0 p  c) J; G' G        c1 = b1;
$ _$ k* @' u1 u( |/ g' L% P    end
3 D, K6 T( c! n+ u9 @  U7 x4 [
4 [# M% _& q  l* Jalways @ (posedge clk)  // always 用 clk 上升沿触发
. T3 [  h" p: z) Y, i. r5 Y( c    begin
        b2 <= a2;    // 这里采用的是非阻塞赋值
5 N2 z. P1 O% S5 |4 ]% h' F        c2 <= b2;
    end   
endmodule     // endmodule 别忘了，与 module 成对使用

仿真输入值设置图如下：
* ^- R" n7 n# z: I* r我们只需给输入信号赋值，输出信号根据输入信号的变化而变化。
* K6 F4 v1 L6 |1 v3 U) G; |# G, C下面请看用quartus 2 软件仿真的波形图
4 l' @1 Y! ~( d2 R
- G  M- z. Q+ B( A
首先请看这两张图的区别，第一张是时序仿真波形图（timing），黄色标记部分因为延时而产生，第二张图为功能仿真波形图（function），不考虑器件的延时。
# l+ u5 T0 b- X: L7 d! [  在①时刻，第一个时钟上升沿到来（posedge clk）, 两个always过程块同时被触发（这就是PFGA器件强大的一点，可以并发执行）
    a1,b1,c1采用的是阻塞赋值。阻塞赋值语句顺序执行，先执行 b1 = a1； 由于 a1 此刻的值为 1，所以b1 变为 1，然后执行 c1 = b1；由于b1的值刚才已经变成 1 了，所以c1也变成了 1 。
- W$ V) b2 F+ m; v     a2,b2,c2采用的是非阻塞赋值。非阻塞赋值语句并发执行， 也就是说 b2 <= a2; c2 <= b2; 这两句同时执行。由于a2 此刻的值为1，所以 b2 变为1，与此同时，b2  的当前值也将赋值给 c2 , b2 的当前值是是多少呢？ 这里一定要分清楚了，b2 的当前值是 0，并不是 1 ，因为在 b2 还没有变为 1  之前，b2 的值就要赋值给 c2 了，所以 c2 的值仍然是 0 。
   直到在②时刻，第二个时钟上升沿到来，两个always再一次被同时触发，这次在执行 c2 <= b2; 这条赋值语句时，b2 的当前值为 1 ，所以 c2 才被赋值为 1 。

   大家可以根据上面的分析方法，自己分析一下在③、④时刻 b1，b2，c1，c2 应该分别为什么值，与波形图对照着理解一下。
其实verilog语言和 c语言大同小异，比较着来学习，会比较容易......
1 o3 @) Y% @8 C, S. @5 p

wu68aq

很棒的文章 谢谢分享