Simple FSM 1 (Synchronous Reset)

At each rising edge, reset the machine to idle if reset is high; otherwise set the active state to the sampled value of x. Output y is high in the active state.