This is an old revision of the document!

• 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 Clock ) begin
  if ( Reset ) 
    CurrentState <= STATE_Initial ;
  else 
    CurrentState <= NextState ;
end