1800.2-2020 - IEEE Standard for Universal Verification Methodology Language Reference Manual | IEEE Standard | IEEE Xplore