OVL_ERROR : ASSERT_NO_UNDERFLOW : VIOLATION : Test expression changed value from allowed minimum value min to a value in the range min-1 to max : severity 1 : time 30 : main.top.assertNoUnder.ovl_error_t