Exams/2014 q3c

Given the state-assigned table shown below, implement the logic functions Y[0] and z.

Present state y[2:0]	Next state Y[2:0]		Output z
	x=0	x=1
000	000	001	0
001	001	100	0
010	010	001	0
011	001	010	1
100	011	100	1

module top_module (
    input clk,
    input [2:0] y,
    input x,
    output Y0,
    output z
);
    reg [2:0] next;
    always@(*) begin
        case(y)
            3'b000:next<=x?001:000;
            3'b001:next<=x?100:001;
            3'b010:next<=x?001:010;
            3'b011:next<=x?010:001;
            3'b100:next<=x?100:011;
        endcase
    end
    assign z=(y==3'b011||y==3'b100)?1:0;
    assign Y0=next[0];
endmodule