FSM各种描述方式比较（仿真＿综合＿布局布线）

zhang1998

这几天读了几篇关于FSM的论文，尤其是看了Westor的大作《如何写好有限状态机FSM》，深有感触。想自己实践一下，不过，我可没有Westor那么高的理论功底，我只是通过一个状态机的实例，把几种FSM的描述方法实现一下，然后在modelsim，synplify和Quartusii5.0中进行定量的比较。相信大家也可以通过这个平台加深对FSM的理解！
       附件中有4个文件夹。Src存放源文件，Sim用于仿真，syn用于synplify综合，PR用于quartusii5.0。
      其中：
      ASM1.v：一段式的FSM描述方法。状态产生逻辑，状态迁移逻辑和输出逻辑都在一个always块中描述。
      ASM2.v：两段式的FSM描述方法。状态产生逻辑和输出逻辑用一个always块描述成组合逻辑。用另一个always块描述状态迁移的时序逻辑。
      ASM3.v：三段式的FSM描述方法。状态产生逻辑，输出逻辑和状态迁移分别在三个always块中描述。其中状态产生逻辑是组合逻辑，而输出逻辑和状态迁移逻辑描述成时序逻辑。
      ASM4.v：one-hot编码的三段式FSM描述方法。
      ASM5.v：另一种one-hot编码的三段式FSM描述方法。
      Testbench.v：ASM的测试平台。用于各种描述方式FSM的测试和比较。