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