module (clk, state)

parameter verde = 2'b00;
parameter amarelo = 2'b01;
parameter vermelho = 2'b10;

initial begin
    int Tempo = 100;
    input button = 1'b0;
    input reset = 1'b0;
    input clk;
    output state = 2'b00;




end

always @(posedge clk) begin
    Tempo = Tempo - 1;
    if (reset){
        state <= verde;
    } else {
        case(state)
            verde: begin
                if (button){
                    Tempo = Tempo/2;
                }
                if (Tempo == 0){
                    state <= amarelo;
                    Tempo <= 5;
                }

            end

            amarelo: begin
                if(Tempo == 0) {
                    state <= vermelho;
                    Tempo <= 100;
                }
            end

            vermelho: begin
                if(Tempo == 0) {
                    state <= verde;
                    Tempo <= 100;
                }
            end
        endcase
    }

end