如果使用的是system verilog，一定要使用枚舉型來描述狀態機。

使用參數（parameters）來對狀態機進行分配，因為參數會使得狀態機易讀以及減少編碼過程中的錯誤。

盡管Quartus II能夠識別出整數，盡量不要直接使用整數來定義狀態值。

在狀態轉換邏輯中，不要使用狀態寄存器進行算術運算，例如：next_state <=state+1'b1;

如果將狀態變量作為輸出，那么Quartus II將無法識別狀態機。

狀態機中使用有符號變量，那么Quartuss II將無法識別狀態機。