Exams/ece241 2013 q4:水位问题

module top_module (
    input clk,
    input reset,
    input [3:1] s,
    output fr3,
    output fr2,
    output fr1,
    output dfr
); 
parameter A=3'd0,B0=3'd1,B1=3'd2,C0=3'd3,C1=3'd4,D=3'd5;//6种状态，B0，B1分别代表从低水位往高水位和从高水外往低水位。
    reg [2:0] state;
    reg [2:0] next_state;
    
    always@(*)
        begin
            case(state)
                A:next_state=s[1]?B0:A;
                B0:begin
                    if(s[2])
                        next_state=C0;
                    else 
                        begin
                      &n