Verification of the state machine

1.) apply stimulus to detect whole sequence.
2.) apply reset in parallel to stimulus for state machine, it should get reset to initial state.
3.) check every state transition using testcases.