e/Hardware verification language

Information
has gloss	eng: A Hardware Verification Language, or HVL, is a programming language used to verify the designs of electronic circuits written in a hardware description language. HVLs typically include features of a high-level programming language like C++ or Java as well as features for easy bit-level manipulation similar to those found in HDLs. Many HVLs will provide constrained random stimulus generation, and functional coverage constructs to assist with complex hardware verification.
lexicalization	eng: Hardware verification languages
lexicalization	eng: Hardware verification language
subclass of	(noun) a systematic means of communicating by the use of sounds or conventional symbols; "he taught foreign languages"; "the language introduced is standard throughout the text"; "the speed with which a program can be executed depends on the language in which it is written" language, linguistic communication
has instance	e/E (verification language)
has instance	e/OpenVera
has instance	e/Reference Verification Methodology
has instance	e/Specman