Хардверски верификационен јазик

Хардверски верификационен јазик, или HVL/ХВЈ, е програмски јазик кој се користи за верифицирање на дизајн на електронски кола опишани на Хардверски описен јазик. ХВЈ вклучува својства на Висок програмски јазик како C++ или Java.

OpenVera, e, и SystemC се најкористени хардвдерски верификациони јазици, додека SystemVerilog комбинира хардверски описен јазик и и ХВЈ конструкции.

 Поврзано 
 OpenVera
 e
 SystemC
 SystemVerilog