Exams/2014 q3c

module top_module (
    input clk,
    input [2:0] y,
    input x,
    output Y0,
    output z
);
    parameter S0=3'b000,S1=3'b001,S2=3'b010,S3=3'b011,S4=3'b100;
    reg [2:0] next_state;
    
    assign Y0=next_state[0];
    
    
    always@(*) begin
        case(y)
            S0: next_state = x?S1:S0;
            S1: next_state = x?S4:S1;
            S2: next_state = x?S1:S2;
            S3: next_state = x?S2:S1;
            S4: next_state = x?S4:S3;
			default: next_state = S0;
        endcase
    end
    
    //Moore型
    always@(*) begin
        case(y)
           S3: z=1;
           S4: z=1;
           default: z=0;
        endcase
    end

    
endmodule