1.编码选择 one-hot (索引)(位宽与状态数相等) 2.最后状态 default('bz) 3.有一个异步或同步复位端 4.用parameter定义状态 3.两段式、三段式(即 状态译码、状态寄存、输出 分开) 4.输出流水线寄存