本文描述了有限狀態(tài)機的基礎(chǔ)知識，并展示了在 Verilog 硬件描述語言中實現(xiàn)它們的實用方法。

有限狀態(tài)機，簡稱 FSM，是硬件和軟件系統(tǒng)中最普遍的操作模型之一。幾乎每個有用的數(shù)字系統(tǒng)都可以定義為有限狀態(tài)機，因此最好盡可能多地了解這種有用的系統(tǒng)模式。

數(shù)字電路中的有限狀態(tài)機

有限狀態(tài)機有多種描述方式，但最流行的兩種是狀態(tài)圖和狀態(tài)表。兩種表示的示例如圖 1 所示。

圖 1.顯示為狀態(tài)圖和狀態(tài)表的 FSM。左上角的圖例顯示了狀態(tài)變量 A 和 B，以及輸入 x 和輸出 y。

請注意，這個 FSM 有一個輸入信號 x 和一個輸出信號 y，這使它成為一個Mealy 狀態(tài)機。此 FSM 可以通過數(shù)字設(shè)計課程中教授的傳統(tǒng)方法來實現(xiàn)，該方法圍繞為實現(xiàn)狀態(tài)變量的觸發(fā)器生成激勵邏輯。該邏輯是根據(jù)所選觸發(fā)器類型的激勵表設(shè)計的，即 SR、D、JK 或 T。

當(dāng)我們將此技術(shù)應(yīng)用于圖 1 中的 FSM 時，我們會得到以下實現(xiàn)的某個版本。

圖 2.使用 JK 觸發(fā)器的示例 FSM 的實現(xiàn)。

有關(guān)狀態(tài)機的更多信息，您可能需要閱讀 David Williams的文章在 VHDL 中實現(xiàn)有限狀態(tài)機。

Verilog 如何提供幫助

那么，如果您想在 Verilog 中實現(xiàn)如圖 1 所示的狀態(tài)機，該怎么做呢？Verilog 應(yīng)該在設(shè)計過程的哪個階段接管？

雖然可以 手動設(shè)計整個系統(tǒng)，一直到圖 2 中的示意圖，然后用 Verilog 編寫代碼，但這并不是解決問題的最流行的方法。更糟糕的方法是描述原理圖中的每個門，包括構(gòu)成觸發(fā)器的門！如果您在門級別描述所有內(nèi)容，您的系統(tǒng)可能會 以某種方式工作，但這沒有給編譯器留下空間來優(yōu)化您的設(shè)計以滿足您的實際 需求，這可能更關(guān)注時序和功率，而不僅僅是正確性。

請記?。菏褂糜布枋稣Z言的原因是為了利用您將使用的綜合編譯器，并且像任何編譯器一樣，您給予它的自由度越大，您就越有可能產(chǎn)生最佳實現(xiàn)。

所以一個聰明的起點是狀態(tài)表。您只需指示 Verilog 機器在每個狀態(tài)下應(yīng)該做什么，而不是使用哪個門或觸發(fā)器。

在 Verilog 中，狀態(tài)機的一個出色構(gòu)造是Case 語句。每個案例的主體都應(yīng)該檢查狀態(tài)變量及其期望的行為。下面的一段代碼展示了這個結(jié)構(gòu)。

case (state)

STATE_0: // Code for State 0

STATE_1: // Code for State 1

// ...

STATE_N: // Code for State N

endcase

因此，通過我們的示例，這是圖 1 所示狀態(tài)機的實現(xiàn)。請注意，輸出 y 是一個組合函數(shù)。

module MyFSM(

input clk,

input x,

output y);

reg [1:0] state;

assign y = state[1] & state[0] & x;

always @ (negedge clk)

case (state)

2'b00: state <= x?2'b01:2'b00;

2'b01: state <= x?2'b10:2'b00;

2'b10: state <= x?2'b11:2'b00;

2'b11: state <= 2'b00;

endcase

endmodule