(HLS) optimize FSM