• Î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 mulți biți, în funcție de cerințele automatului.

output wire o_w_out ,
 
// ieșire pe 1 bit
assign o_w_out = ( l_r_currentState == STATE_4 );