本题链接：

https://hdlbits.01xz.net/wiki/Lemmings2

另见：Lemmings1

除了左右行走之外，如果旅鼠脚下的地面消失，旅鼠还会摔倒（并且可能会发出“aaah!”）。

除了左右行走和碰撞时改变方向，当ground=0时，旅鼠会摔倒并说“aaah!”。 当地面重新出现时（ground=1），旅鼠将继续沿与坠落前相同的方向行走。 跌倒时被撞不影响行走方向，与地面消失（但尚未跌倒）同一个周期被撞，或仍在跌落中重新出现时，也不影响行走方向。

构建模拟这种行为的一个有限状态机。

另见：Lemmings3和Lemmings4

题目

提示:

答案

输出波形

有限状态机（Finite-State Machine，FSM），简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。状态机不仅是一种电路的描述工具，而且也是一种思想方法，在电路设计的系统级和 RTL 级有着广泛的应用。

Verilog 中状态机主要用于同步时序逻辑的设计，能够在有限个状态之间按一定要求和规律切换时序电路的状态。状态的切换方向不但取决于各个输入值，还取决于当前所在状态。状态机可分为 2 类：Moore 状态机和 Mealy 状态机。

参考内容：

百战小旅鼠 | 维基百科

https://zh.wikipedia.org/wiki/百战小旅鼠

6.3 Verilog 状态机 | 菜鸟教程：

https://www.runoob.com/w3cnote/verilog-fsm.html