两种赋值方法:连续赋值(Continuous Assignment), 过程赋值(Procedural Assignment)。

过程赋值:阻塞赋值(Blocking Assignment),非阻塞赋值(Nonblocking Assignment)。

连续赋值常用于数据流行为建模。

连续赋值语句，位于过程块语句外，常以assign为关键字。

它只能为 线网型变量赋值 ，并且线网型变量也必须用连续赋值的方法赋值。

注意：只有当变量声明为线网型变量后，才能使用连续赋值语句进行赋值。

语句格式： assign 赋值目标线网变量 = 表达式

1
2
3
4
5
6
7
8
9

//第一种
wire adder_out;
assign adder_out = mult_out + out;
//第二种
wire adder_out = mult_out+out;　
　//隐含了连续赋值语句
//第三种带函数调用的连续赋值语句：
　　assign c = max( a,b );    
//调用了函数max,将函数返回值赋给c

连续赋值语句中“=”的左边必须是线网型变量，右边可以是线网型、寄存器型变量或者是函数调用语句。

连续赋值语属即刻赋值，即赋值号右边的运算值一旦变化，被赋值变量立刻随之变化。

assign可以使用条件运算符进行条件判断后赋值。

1
2
3
4
5
6

//例如：连续赋值方式描述一个比较器
 module compare2 ( equal,a,b );
   input [1:0] a,b;
   output  equal;
   assign  equal=（a==b）？1：0; 
endmodule

多用于对reg型变量进行赋值，这类型变量在被赋值后，其值保持不变，直到赋值进程又被触发，变量才被赋予新值。

过程赋值主要出现在过程块always和initial语句内。

分为阻塞赋值和非阻塞赋值两种，它们在功能和特点上有佷大不同。

非阻塞赋值

（1）非阻塞(Non_Blocking)赋值方式

操作符: “<=”；非阻塞赋值符“<=”与小于等于符“<=”看起来是一样的，但意义完全不同。

其基本语法格式如下：

​ 寄存器变量(reg) <= 表达式/变量;

​ 如 b <= a;

非阻塞赋值在整个过程块结束后才完成赋值操作。即在语句块中，上面语句所赋的变量值不能立即就为下面的语句所用;

在语句块中，连续的非阻塞赋值操作是同时完成的，即在同一个顺序块 中，非阻塞赋值表达式的书写顺序，不影响赋值的结果。

1
2
3
4
5
6
7
8
9
10
11

//连续的非阻塞赋值实例：
	module non_blocking(reg_c,reg_d,data,clk);
 		 output reg_c,reg_d;
 		 input clk,data;
 		 reg reg_c, reg_d;
  		always @( posedge clk )
   		 begin
    	     reg_c <= data;
      		 reg_d <= reg_c;
    		end
    endmodule

在clk的上升沿，将data的值赋给reg_c，同时将reg_c原来的值（不是data）赋值给reg_d。即：上面语句所赋的变量值不能立即就为下面的语句所用，要等到过程块结束，同时并行赋值。

（2）阻塞(Blocking)赋值方式

 操作符:  “ = ” 

基本语法格式如下：

         `寄存器变量(reg) = 表达式/变量;` 
              如 `b = a;`

阻塞赋值在该语句结束时就立即完成赋值操作，即b的值在该条语句结束后立刻改变。
如果在一个块语句中有多条阻塞赋值语句，那么写在前面的赋值语句没有完成之前，后面的语句就不能被执行，仿佛被阻塞了（blocking）一样，因而被称为阻塞赋值。
连续的阻塞赋值操作是顺序完成的。

1
2
3
4
5
6
7
8
9
10
11

//例如：连续的阻塞赋值
  	 module blocking(reg_c,reg_d,data,clk);
    	   output reg_c,reg_d;
       input clk,data;
       reg reg_c, reg_d;
       always @( posedge clk )
         begin
            reg_c = data;
            reg_d = reg_c;
        end
    endmodule

为了避免出错，在同一个always块内，最好不要将输出再作为输入使用，为了用阻塞赋值方式完成与上述非阻塞赋值同样的功能，可采用两个always块来实现，如下所示。

在下面的例子中，两个always过程块是并发执行的。

1
2
3
4
5
6
7
8
9
10
11
12
13
14

 module non_blocking(reg_c,reg_d,data,clk);
    output reg_c,reg_d;
    input clk,data;
    reg reg_c, reg_d;
    always @( posedge clk )
      begin
         reg_c = data;
     end

   always @( posedge clk )
     begin
       reg_d = reg_c;
    end
endmodule

总的来说，多条阻塞赋值语句是顺序执行的，而多条非阻塞语句是并行执行的.