A hardware verification language, or HVL, is a programming language used to verify the designs of electronic circuits written in a hardware description language. Wikipedia