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 (A & B) 
      NextState = STATE_2 ;
  end
  STATE_2 : begin
    if (A) 
      NextState = STATE_3 ;
  end
  STATE_3 : begin
    if (!A & B) 
      NextState = STATE_Initial ;
    else 
      if (A & !B) 
        NextState = STATE_4 ;
  end
  STATE_4 : begin 
  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