This is an old revision of the document!

• aici implementăm algoritmul/logica de tranziție a automatului.
• tranzițiile între stări se fac în funcție de starea curentă și de intrări.

    always@ ( * ) begin
        NextState = CurrentState ;
 
        case ( CurrentState )
            STATE_Initial : begin
                NextState = STATE_1 ;
            end
            STATE_1 : begin
                if (!Input)
                    NextState = STATE_2 ;
            end
            STATE_2 : begin
                if (Input)
                    NextState = STATE_3 ;
            end
            STATE_3 : begin
                if (Input)
                    NextState = STATE_4 ;
                else
                    NextState = STATE_1 ;
            end
            STATE_4 : begin
                if (Input)
                    NextState = STATE_1 ;
                else
                    NextState = STATE_2 ;
            end
            //Stări pentru tratarea erorilor
            //Dacă automatul ajunge în aceste stări se va reseta.
            STATE_5_PlaceHolder : begin
                NextState = STATE_Initial ;
            end
            STATE_6_PlaceHolder : begin
                NextState = STATE_Initial ;
            end
            STATE_7_PlaceHolder : begin
                NextState = STATE_Initial ;
            end
        endcase
    end