在Quartus II的Assignment Editor里可以指定任意一个FSM的状态编码方式；在编译报告里可以看到FSM的最终状态编码。即使选用User-Encoded的方式，也有可能状 态寄存器的个别位的逻辑会发生翻转。

Quartus II可以通过复位信号识别IDLE状态，并且针对这一状态进行“全零”编码，以保证FPGA上电配置完成后，状态寄存器缺省清零，FSM无需复位就进入 IDLE这一缺省状态。

Synplify也有类似的状态编码功能。状态编码是否考虑了上电复位问题还需要试验一下。

所以，手工给FSM状态编码是不必要的，只需约束一下，交给综合工具完成即可。