This is an old revision of the document!

• În funcție de stări și intrări, precizăm valorile ce trebuie să apară la ieșirea automatului.
• Putem avea atât ieșiri pe un bit, cât și pe mai multi biți, în funcție de cerințele automatului.

output wire Output1 ,
output wire Output2 ,
output reg [2:0] Status
 
// ieșiri pe 1 bit
assign Output1 = ( CurrentState == STATE_1 ) | ( CurrentState == STATE_2 );
assign Output2 = ( CurrentState == STATE_2 );
 
// ieșiri pe mai multi biți
always@ ( * ) begin
  Status = 3’b000 ;
  case ( CurrentState )
  STATE_2 : begin
    Status = 3’b010 ;
  end
  STATE_3 : begin
    Status = 3’b011 ;
  end
  endcase
end