關鍵詞:while, for, repeat, forever

Verilog 循環語句有 4 種類型,分別是 while,for,repeat,和 forever 循環。循環語句隻能在 always 或 initial 塊中使用,但可以包含延遲表達式。

while 循環

while 循環語法格式如下:

while (condition) begin
    …
end

while 循環中止條件為 condition 為假。

如果開始執行到 while 循環時 condition 已經為假,那麼循環語句一次也不會執行。

當然,執行語句隻有一條時,關鍵字 begin 與 end 可以省略。

下麵代碼執行時,counter 執行了 11 次。

實例

`timescale 1ns/1ns
 
module test ;
 
    reg [3:0]    counter ;
    initial begin
        counter = 'b0 ;
        while (counter<=10) begin
            #10 ;
            counter = counter + 1'b1 ;
        end
    end
 
   //stop the simulation
    always begin
        #10 ;  if ($time >= 1000) $finish ;
    end
 
endmodule

仿真結果如下:

for 循環

for 循環語法格式如下:

for(initial_assignment; condition ; step_assignment)  begin
    …
end

initial_assignment 為初始條件。

condition 為終止條件,condition 為假時,立即跳出循環。

step_assignment 為改變控製變量的過程賦值語句,通常為增加或減少循環變量計數。

一般來說,因為初始條件和自加操作等過程都已經包含在 for 循環中,所以 for 循環寫法比 while 更為緊湊,但也不是所有的情況下都能使用 for 循環來代替 while 循環。

下麵 for 循環的例子,實現了與 while 循環中例子一樣的效果。需要注意的是,i = i + 1 不能像 C 語言那樣寫成 i++ 的形式,i = i -1 也不能寫成 i -- 的形式。

實例

// for 循環語句
integer      i ;
reg [3:0]    counter2 ;
initial begin
    counter2 = 'b0 ;
    for (i=0; i<=10; i=i+1) begin
        #10 ;
        counter2 = counter2 + 1'b1 ;
    end
end

repeat 循環

repeat 循環語法格式如下:

repeat (loop_times) begin
    …
end

repeat 的功能是執行固定次數的循環,它不能像 while 循環那樣用一個邏輯表達式來確定循環是否繼續執行。repeat 循環的次數必須是一個常量、變量或信號。如果循環次數是變量信號,則循環次數是開始執行 repeat 循環時變量信號的值。即便執行期間,循環次數代表的變量信號值發生了變化,repeat 執行次數也不會改變。

下麵 repeat 循環例子,實現了與 while 循環中的例子一樣的效果。

實例

// repeat 循環語句
reg [3:0]    counter3 ;
initial begin
    counter3 = 'b0 ;
    repeat (11) begin  //重複11次
        #10 ;
        counter3 = counter3 + 1'b1 ;
    end
end

下麵 repeat 循環例子,實現了連續存儲 8 個數據的功能:

實例

always @(posedge clk or negedge rstn) begin
    j = 0  ;
    if (!rstn) begin
        repeat (8) begin
            buffer[j]   <= 'b0 ;      //沒有延遲的賦值,即同時賦值為0
            j = j + 1 ;
        end
    end
    else if (enable) begin
        repeat (8) begin
            @(posedge clk) buffer[j]    <= counter3 ;       //在下一個clk的上升沿賦值
            j = j + 1 ;
        end
     end
end

仿真結果如下圖。

由圖可知,rstn 拉高時,buffer 的 8 個向量同時賦值為 0。

第二個時鍾周期後,buffer 依次被 counter3 賦值,實現了連續存儲 8 個數據的功能。

forever 循環

forever 循環語法格式如下:

forever begin
    …
end

forever 語句表示永久循環,不包含任何條件表達式,一旦執行便無限的執行下去,係統函數 $finish 可退出 forever。

forever 相當於 while(1) 。

通常,forever 循環是和時序控製結構配合使用的。

例如,使用 forever 語句產生一個時鍾:

實例

reg          clk ;
initial begin
    clk       = 0 ;
    forever begin
        clk = ~clk ;
        #5 ;
    end
end

例如,使用 forever 語句實現一個時鍾邊沿控製的寄存器間數據傳輸功能:

實例

reg    clk ;
reg    data_in, data_temp ;
initial begin
    forever @(posedge clk)      data_temp = data_in ;
end

源碼下載

Download