OVL_ERROR : ASSERT_TRANSITION : VIOLATION : Test expression transitioned from value start_state to a value other than next_state : severity 1 : time 40 : main.top.assertTran.ovl_error_t