
 -- Process to hold synchronous elements (flip-flops)
SYNCH: process(clock,reset)
        begin  -- asynchronous condition to go back to S0
                if (RESET = T1U) then
                        CURRENT_STATE <= S0;  -- else normal synchronous operation
                elsif (CLOCKUevent and CLOCK = T1U) then
                        CURRENT_STATE <= NEXT_STATE;
                end if;
        end process;



