非阻塞賦值和阻塞賦值

在Verilog HDL語言中，信號有兩種賦值方式：非阻塞(Non_Blocking)賦值方式和阻塞(Blocking)賦值方式。

(1)非阻塞賦值方式。

典型語句：b = a;

① 塊結束后才完成賦值操作。

② b的值并不是立刻就改變的。

③ 這是一種比較常用的賦值方法，特別在編寫可綜合模塊時。

(2)阻塞賦值方式。

典型語句：b = a;

① 賦值語句執行完后，塊才結束。

② b的值在賦值語句執行完后立刻就改變。

③ 可能會產生意想不到的結果。

非阻塞賦值方式和阻塞賦值方式的區別常給設計人員帶來問題。問題主要是給“always”塊內的reg型信號的賦值方式不易把握。到目前為止，前面所舉的例子中的“always”模塊內的reg型信號都是采用下面的這種賦值方式：

b = a;

這種方式的賦值并不是馬上執行的，也就是說“always”塊內的下一條語句執行后，b并不等于a，而是保持原來的值。“always”塊結束后，才進行賦值。而另一種賦值方式阻塞賦值方式，如下所示：

b = a;

這種賦值方式是馬上執行的，也就是說執行下一條語句時，b已等于a。盡管這種方式看起來很直觀，但是可能引起麻煩。下面舉例說明。

例1：非阻塞賦值。

always @（ posedge clk ） begin

b=a;

c=b;

end

例1中的“always”塊中用了非阻塞賦值方式，定義了兩個reg型信號b和c。clk信號的上升沿到來時，b就等于a，c就等于b，這里應該用到了兩個觸發器。需要注意的是賦值是在“always”塊結束后執行的，c應為原來b的值。這個“always”塊實際描述的電路功能如圖1所示。

例2：阻塞型賦值。

always @（posedge clk） begin

b=a;

c=b;

end

例2中的“always”塊用了阻塞賦值方式。clk信號的上升沿到來時，將發生如下的變化：b馬上取a的值，c馬上取b的值（即等于a）。綜合的電路如圖2所示。

圖1 非阻塞賦值綜合電路 圖2 阻塞賦值綜合電路

它只用了一個觸發器來寄存a的值，并同時輸出給b和c。這不是設計者的初衷，如果采用例3.5所示的非阻塞賦值方式就可以避免這種錯誤。

塊語句

塊語句通常用來將兩條或多條語句組合在一起，使其在格式上看更像一條語句。塊語句有兩種：一種是begin_end語句，通常用來標識順序執行的語句，用它來標識的塊稱為順序塊；另一種是fork_join語句，通常用來標識并行執行的語句，用它來標識的塊稱為并行塊。下面進行詳細的介紹。

1．順序塊

順序塊有以下特點。

（1）塊內的語句是按順序執行的，即只有上面一條語句執行完后下面的語句才能執行。

（2）每條語句的延遲時間是相對于前一條語句的仿真時間而言的。

（3）直到最后一條語句執行完，程序流程控制才跳出該語句塊。

順序塊的格式如下：

begin

語句1;

語句2;

......

語句n;

end

或者：

begin:塊名

塊內聲明語句

語句1;

語句2;

......

語句n;

end

其中：

（1）塊名即該塊的名字，是一個標識符，其作用后面再詳細介紹。

（2）塊內聲明語句可以是參數聲明語句，reg型變量聲明語句，integer型變量聲明語句或者real型變量聲明語句。

下面舉例說明。

例3：順序塊。

begin

areg = breg;

creg = areg; //creg的值為breg的值

end

從該例可以看出，第一條賦值語句先執行，areg的值更新為breg的值。然后程序流程控制轉到第二條賦值語句，creg的值更新為areg的值。因為這兩條賦值語句之間沒有任何延遲時間，creg的值實為breg的值。當然可以在順序塊里延遲控制時間來分開兩個賦值語句的執行時間，如例4所示。

例4：加延時順序塊。

begin

areg = breg;

#10 creg = areg; //在兩條賦值語句間延遲10個時間單位

end