FSM與如何用Verilog語言設計出高效且可綜合的FSM

• Introduction 介紹

1.

• Mealy & Moore FSMs 米莉和摩爾狀態機

1.Mealy FSM 是當前狀態與一個或多個輸入的函數

2.Moore FSM 僅是當前狀態的函數

• Binary Encoding, Gray Encoding or One Hot Encoding

（有限狀態機裏的狀態編碼問題）

每一個狀態都需要一個二進制表示，但是狀態之間的關係如何，有多種解決方案：

1.最簡單的就是“原碼”，就是對於每個狀態依照二進制“自然”的順序依次編碼；

2.“Gray碼”（格雷碼）的兩個順序狀態之間的差別只有一位不同；

3.“獨熱碼”（類似的還有變型的“約翰遜碼”），每個狀態只有一個比特是高電平“1”。

• FSM Coding Goals

(未完待續)