Update fsm.v