Design of synchronous FSM