Synchrony hypothesis

• Handling an external event

  DEFINE
  
  Stable := !Initiate_Move & !Move_Finished & !Rod_Updated & !Clock_EventASSIGN
  next(Move_Finished) := case Stable : {0,1}; 1 : 0;
  esac;
  …for other external events…

Previous slide

Next slide

Back to first slide

View graphic version