comment for where SVSTATE FSM should go