HDLBits练习 128-131 FSM（3）

最新推荐文章于 2022-12-20 19:25:46 发布

ngany

最新推荐文章于 2022-12-20 19:25:46 发布

阅读量634

点赞数

分类专栏： HDLBits 文章标签： verilog

本文链接：https://blog.csdn.net/ngany/article/details/119884541

版权

HDLBits 专栏收录该内容

8 篇文章 1 订阅

订阅专栏

128 lemmings1

The game Lemmings involves critters with fairly simple brains. So simple that we are going to model it using a finite state machine.

In the Lemmings' 2D world, Lemmings can be in one of two states: walking left or walking right. It will switch directions if it hits an obstacle. In particular, if a Lemming is bumped on the left, it will walk right. If it's bumped on the right, it will walk left. If it's bumped on both sides at the same time, it will still switch directions.

Implement a Moore state machine with two states, two inputs, and one output that models this behaviour.

See also: Lemmings2, Lemmings3, and Lemmings4.

Hint...

module top_module(
    input clk,
    input areset,    // Freshly brainwashed Lemmings walk left.
    input bump_left,
    input bump_right,
    output walk_left,
    output walk_right); //  

    // parameter LEFT=0, RIGHT=1, ...
    parameter LEFT=1'd0, RIGHT=1'd1;
    reg state, next_state;

    always @(*) begin
        // State transition logic
        next_state = state;
        case(state)
            LEFT  :begin
                if(bump_left)begin
                    next_state=RIGHT;
                end
            end
            RIGHT :begin
                if(bump_right)begin
                    next_state=LEFT;
                end
            end
        endcase
    end

    always @(posedge clk, posedge areset) begin
        // State flip-flops with asynchronous reset
        if(areset)begin
            state <= LEFT;
        end
        else begin
            state <= next_state;
        end
    end

    // Output logic
    // assign walk_left = (state == ...);
    // assign walk_right = (state == ...);
    assign walk_left = (state == LEFT);
    assign walk_right = (state == RIGHT);

endmodule

129 lemmings2

130 lemmings3

131 lemmings4

See also: Lemmings1, Lemmings2, and Lemmings3.

Although Lemmings can walk, fall, and dig, Lemmings aren't invulnerable. If a Lemming falls for too long then hits the ground, it can splatter. In particular, if a Lemming falls for more than 20 clock cycles then hits the ground, it will splatter and cease walking, falling, or digging (all 4 outputs become 0), forever (Or until the FSM gets reset). There is no upper limit on how far a Lemming can fall before hitting the ground. Lemmings only splatter when hitting the ground; they do not splatter in mid-air.

Extend your finite state machine to model this behaviour.

Hint...

Use the FSM to control a counter that tracks how long the Lemming has been falling.

module top_module(
    input clk,
    input areset,    // Freshly brainwashed Lemmings walk left.
    input bump_left,
    input bump_right,
    input ground,
    input dig,
    output walk_left,
    output walk_right,
    output aaah,
    output digging ); 
	// parameter LEFT=0, RIGHT=1, ...
    parameter LEFT=3'd0, RIGHT=3'd1,FALL_L=3'd2,FALL_R=3'd3,DIG_L=3'd4,DIG_R=3'd5,SPLAT=3'd6;
    reg [2:0]state, next_state;
    reg [7:0] fall_cnt,fall_cnt_next;

    always @(*) begin
        // State transition logic
        next_state = state;
        fall_cnt_next = fall_cnt;
        case(state)
            LEFT  :begin
                fall_cnt_next = 8'd0;
                if(~ground)begin
                    next_state=FALL_L;
                end
                else if(dig)begin
                    next_state=DIG_L;
                end
                else if(bump_left)begin
                    next_state=RIGHT;
                end
            end
            RIGHT :begin
                fall_cnt_next = 8'd0;
                if(~ground)begin
                    next_state=FALL_R;
                end
                else if(dig)begin
                    next_state=DIG_R;
                end
                else if(bump_right)begin
                    next_state=LEFT;
                end
            end
            FALL_L:begin
                fall_cnt_next = fall_cnt + 1'd1;
                if(ground)begin
                    if(fall_cnt>=8'd20)begin
                        next_state=SPLAT;
                    end
                    else begin
                    	next_state=LEFT;
                    end
                end
            end
            FALL_R:begin
                fall_cnt_next = fall_cnt + 1'd1;
                if(ground)begin
                    if(fall_cnt>=8'd20)begin
                        next_state=SPLAT;
                    end
                    else begin
                    	next_state=RIGHT;
                    end
                end
            end
            DIG_L:begin
                if(!ground)begin
                    next_state=FALL_L;
                end
            end
            DIG_R:begin
                if(!ground)begin
                    next_state=FALL_R;
                end
            end
            SPLAT:begin
                next_state=SPLAT;
            end
        endcase
    end

    always @(posedge clk, posedge areset) begin
        // State flip-flops with asynchronous reset
        if(areset)begin
            state <= LEFT;
            fall_cnt <= 8'd0;
        end
        else begin
            state <= next_state;
            fall_cnt <= fall_cnt_next;
        end
    end

    // Output logic
    // assign walk_left = (state == ...);
    // assign walk_right = (state == ...);
    assign walk_left = (state == LEFT);
    assign walk_right = (state == RIGHT);
    assign aaah = (state == FALL_L)|((state == FALL_R));
    assign digging = (state == DIG_L)|((state == DIG_R));
endmodule