Un lenguaje de verificación de hardware , o HVL , es un lenguaje de programación utilizado para verificar los diseños de circuitos electrónicos escritos en un lenguaje de descripción de hardware . Las HVL suelen incluir características de un lenguaje de programación de alto nivel como C ++ o Java , así como características para una fácil manipulación a nivel de bits similares a las que se encuentran en las HDL . Muchos HVL proporcionarán generación de estímulos aleatorios restringidos y construcciones de cobertura funcional para ayudar con la verificación compleja del hardware.
SystemVerilog , OpenVera , e y SystemC son los HVL más utilizados. SystemVerilog intenta combinar construcciones HDL y HVL en un solo estándar.