當(dāng)需要定義一個狀態(tài)機時，首先要繪制一張狀態(tài)圖。狀態(tài)圖可用來顯示狀態(tài)、狀態(tài)間的轉(zhuǎn)換和狀態(tài)機的輸出。圖1 顯示了Moore 狀態(tài)機的狀態(tài)圖（左）和Mealy 狀態(tài)機的狀態(tài)圖（右）。
雖然有許多狀態(tài)機是使用圖1 所示的狀態(tài)圖方法進(jìn)行設(shè)計的，但另外還有一種描述狀態(tài)機行為的方法，這就是算法狀態(tài)圖法。ASM 圖（圖2）在外觀上更加接近軟件工程流程圖。它由三個基本部分構(gòu)成：
1. 狀態(tài)框。它與狀態(tài)名稱有關(guān)，并包含Moore 狀態(tài)輸出列表。
2. 決策框。如果檢驗?zāi)硹l件為真，則進(jìn)行下一狀態(tài)的判斷。
3. 條件輸出框。讓狀態(tài)機根據(jù)當(dāng)前狀態(tài)和輸入描述Mealy輸出。
實現(xiàn)Moore 狀態(tài)機還是Mealy 狀態(tài)機，取決于狀態(tài)機需要實現(xiàn)的功能，以及特定的反應(yīng)次數(shù)要求。兩種狀態(tài)機之間的最大差別在于狀態(tài)機如何對輸入做出反應(yīng)。在輸入和設(shè)置的適當(dāng)輸出之間，Moore 狀態(tài)機一般有一個時鐘周期的延遲。這就意味著Moore 狀態(tài)機無法對輸入變化立即做出反應(yīng)，這點在圖3中可以清楚地看到。而Mealy 狀態(tài)機則能夠立即對輸入做出反應(yīng)，這通常意味著：實現(xiàn)相同的函數(shù)，Mealy 狀態(tài)機比Moore狀態(tài)機需要更少的狀態(tài)。Mealy 狀態(tài)機的不足之處就是在與另一個狀態(tài)機進(jìn)行通信時，如果輸出出乎意料地嚴(yán)重依賴于其它事件的序列或時序，就可能會發(fā)生紊亂情況。
使用VHDL 這樣的高級語言，可以輕松地直接從狀態(tài)圖實現(xiàn)狀態(tài)機。VHDL 支持多種枚舉類型，方便您定義實際的狀態(tài)名稱。舉例如下：
• 可以避免組合過程中信號覆蓋不完全造成的閉鎖風(fēng)險。
• 狀態(tài)機的輸出與時鐘保持同步。
• 通常比雙進(jìn)程實現(xiàn)方案更容易調(diào)試。
狀態(tài)機編碼
狀態(tài)變量存儲在觸發(fā)器中，使用下一時鐘邊緣上的下一狀態(tài)進(jìn)行更新（即使沒有狀態(tài)變化也是如此）。如何使用觸發(fā)器來表示狀態(tài)值具體取決于狀態(tài)的數(shù)量和是否選擇用某種特定的方法來管理綜合工具。狀態(tài)編碼最常見的三種類型是：
• 順序碼——狀態(tài)編碼遵循傳統(tǒng)的狀態(tài)二進(jìn)制序列。
• 格雷碼——除了狀態(tài)編碼使用格雷碼，且狀態(tài)編碼串之間只有一個位變化外，其它基本與順序編碼方法類似。
• 獨熱碼——這種方法在狀態(tài)機中為每一種狀態(tài)分配一個觸發(fā)器。只有一個觸發(fā)器當(dāng)前設(shè)置為高位，其余均設(shè)置為低位。故稱為“獨熱”。
順序編碼和格雷編碼都需要一定數(shù)量的觸發(fā)器，可以通過下列等式來確定：
• 順序：少于5 種狀態(tài)。
• 獨熱：5-50 種狀態(tài)。
• 格雷：多于50 種狀態(tài)。
TYPE state IS（idle,led_on,led_off）;
SIGNAL current_state:state:=idle;
ATTRIBUTE syn_encoding STRING;
ATTRIBUTE syn_encoding OF current_state:
SIGNAL IS “sequential”;
其中“sequential”也可以是“gray”和“onehot”。您還可以通過結(jié)合使用“safe”屬性來確保在狀態(tài)機進(jìn)入非法狀態(tài)時能夠恢復(fù)到有效狀態(tài)。
另外，您也可以使用syn_encoding 屬性直接定義狀態(tài)編碼的值。例如，假設(shè)您想要使用下列狀態(tài)編碼法來對三態(tài)狀態(tài)機進(jìn)行編碼：Idle = “11,” led_on = “10,” led_off = “01（與較傳統(tǒng)的順序“00”、“01”和“10”不同）。
前面給出的等式可確定狀態(tài)機實現(xiàn)方案所需的觸發(fā)器數(shù)量。由于不是所有的狀態(tài)機都是2 的冪次方，因此某些狀態(tài)在設(shè)計中將不會用到。實現(xiàn)狀態(tài)機的工程師必須負(fù)責(zé)確保未使用的狀態(tài)在設(shè)計中得到妥善處理。可以采用幾種適用于多種設(shè)計的基本技巧來實現(xiàn)這一目標(biāo)。對于高度可靠的安全關(guān)鍵型設(shè)計，則需要采用其它更高級的技巧。
不過對于大多數(shù)應(yīng)用來說，只需要確保狀態(tài)機能夠妥善地處理未使用的狀態(tài)并在進(jìn)入非法狀態(tài)時能夠正確地恢復(fù)。要做到這一點有兩種主要的方法。第一種方法是使用綜合工具實現(xiàn)一個安全的狀態(tài)機。綜合工具通常會插入額外的邏輯，用于檢測非法狀態(tài)并將狀態(tài)機返回到有效狀態(tài)。第二種方法是加強對實現(xiàn)邏輯的控制，聲明所有2 的冪次方狀態(tài)機的狀態(tài)，并使用另一屬性來確保即便是在沒有入口條件下，2 的冪次方狀態(tài)機的狀態(tài)也不會被優(yōu)化掉。這意味著除非出錯（單粒子翻轉(zhuǎn)等），狀態(tài)機內(nèi)部的任何條件都不會進(jìn)入狀態(tài)。下面的代碼顯示了通過使用屬性以防止清除未使用的狀態(tài)。
SIGNAL IS “TURE”;
安全高效的狀態(tài)機設(shè)計對于任何使用FPGA的工程師而言都是一項重要技能。選擇Moore 狀態(tài)機、Mealy狀態(tài)機還是混合機取決于整個系統(tǒng)的需求。無論選擇哪種類型的狀態(tài)機，充分掌握實現(xiàn)方案所需的工具和技巧，將確保您實現(xiàn)最佳解決方案。