hdlbits.01xz.net /Circuits/Sequential Logic/Finite State Machines/Q2a: FSM

module top_module (
    input clk,
    input reset,     // synchronous reset
    input w,
    output z);
    
    parameter A = 6'd1;
    parameter B = 6'd2;
    parameter C = 6'd3;
    parameter D = 6'd4;
    parameter E = 6'd5;
    parameter F = 6'd6;
    
    reg [5:0] state, next;
    
    //ff
    always@(posedge clk) begin
        if(reset)
            state = A;
        else
            state = next;
    end
    
    //trans
    always @(*) begin
        if(reset)
            next = A;
        else begin
            next = A;
            case(state)
                A:
                    next = w? B: A;
                B:
                    next = w? C: D;
                C:
                    next = w? E: D;
                D:
                    next = w? F: A;
                E:
                    next = w? E: D;
                F:
                    next = w? C: D;
                default
                    next = A;
            endcase
        end
    end
    //out
    assign z = ((state==E)||(state==F))?1'b1:1'b0;

endmodule