【状态机的实现|Finite State Machine|Lemmings2|HDL bits】

利用有限状态机实现一个小游戏，共四节。本节为第二节，有关题目更多介绍参见上一节。

题目介绍

原题地址：https://hdlbits.01xz.net/wiki/Lemmings2
题目介绍：
除了向左和向右行走之外，如果地面在Lemmings脚下消失，它们还会掉落（并且可能发出“啊！”的声音）。

除了在被碰撞时改变行进方向之外，当地面=0时，Lemming将会掉落并说出“啊！”的声音。当地面重新出现（地面=1）时，Lemming将会继续以掉落前的相同方向行走。在掉落过程中，被碰撞不会影响行进方向，并且在地面消失时（但尚未掉落）或在仍在掉落时地面重新出现时被碰撞也不会影响行进方向。

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

题目解析

根据题目介绍，lemmings多了掉落这个条件，因此包含四种状态，分别为LEFT, RIGHT, LEFT_DOWN, RIGHT_DOWN。

答案解析

首先是输入输出及参数，由于要判断是否掉落，输入应加上地面ground
判断，且掉落过程中会发出声音，输出多加一个aaah，状态为4种;

module top_module(
    input clk,
    input areset,    // Freshly brainwashed Lemmings walk left.
    input bump_left,
    input bump_right,
    input ground,
    output walk_left,
    output walk_right,
    output aaah ); 
    
    parameter LEFT=4'b0001,
    		 RIGHT=4'b0010,
             LEFT_DOWN=4'b0100,
             RIGHT_DOWN=4'b1000;
    reg [3:0]state,next_state;

然后是状态转移逻辑块，在判断条件中加入对地面的判定;

  always@(*)begin
        case(state)
            LEFT:
                if(ground)
                    next_state<=bump_left?RIGHT:LEFT;
            	else
                    next_state<=LEFT_DOWN;
            RIGHT:
                if(ground)
                    next_state<=bump_right?LEFT:RIGHT;
            	else
                    next_state<=RIGHT_DOWN;
            LEFT_DOWN:
                if(ground)
                    next_state<=LEFT;
            	else
                    next_state<=state;
            RIGHT_DOWN:
                if(ground)
                    next_state<=RIGHT;
            	else
                    next_state<=state;
            default:next_state<=LEFT;
        endcase
    end

然后是组合逻辑块，复位时默认LEFT,否则进入下一个状态;

    always@(posedge clk,posedge areset)begin
        if(areset)
            state<=LEFT;
    	else
            state<=next_state;
    end

编译结果是正确的