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

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

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

Поврзано

• OpenVera
• e
• SystemC
• SystemVerilog