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 o_w_out ,
 
// ieșire pe 1 bit
assign o_w_out = ( CurrentState == STATE_4 );