OVL_ERROR : ASSERT_NO_TRANSITION : VIOLATION : Test expression transitioned from value equal to start_state to a value equal to next_state : severity 1 : time 40 : main.top.assertNoTran.ovl_error_t