A язык проверки аппаратного обеспечения или HVL - это язык программирования, используемый для проверки конструкций электронных схем, написанных на язык описания оборудования. HVL обычно включают в себя функции языка программирования высокого уровня, например C ++ или Java, а также функции для простых манипуляций на битовом уровне, аналогичные тем, что можно найти в HDL. Многие HVL будут предоставлять ограниченную генерацию случайных стимулов и конструкции функционального покрытия для помощи при сложной проверке оборудования.
SystemVerilog, OpenVera, e и SystemC - это наиболее часто используемые HVL. SystemVerilog пытается объединить конструкции HDL и HVL в единый стандарт.