• Starea se va modifica doar pe frontul pozitiv al impulsului de ceas.
• NextState este determinat de logica combinaționala a automatului. Rolul acestui block always este strict de a realiza tranziția după ceas.

always@ ( posedge i_w_clk ) begin
  if ( Reset ) 
    l_r_currentState <= STATE_Initial ;
  else 
    l_r_currentState <= l_r_nextState ;
end