Язык проверки оборудования

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

SystemVerilog , OpenVera , e и SystemC — наиболее часто используемые HVL. SystemVerilog пытается объединить конструкции HDL и HVL в единый стандарт.

См. также

• ОпенВера
• и
• СистемаC
• СистемаVerilog
• Язык спецификации свойств
• Питон с кокосом
• Скала с ChiselTest