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

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

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

Смотрите также

• е ^[1]
• Система C ^[2]
• SystemVerilog ^[3]
• Язык спецификации свойств ^[4]
• Python с cocotb ^[5]
• Scala с ChiselTest ^[6]

Ссылки

1. Иман, Сасан; Джоши, Сунита (8 мая 2007 г.). Язык верификации электронного оборудования (информационные технологии: передача, обработка и хранение) . Springer. ISBN 978-1402080234.{{cite book}}: CS1 maint: дата и год ( ссылка )
2. "systemc.org". systemc.org . Получено 2024-09-10 .
3. IEEE (22 февраля 2018 г.). 1800-2017 — Стандарт IEEE для SystemVerilog — унифицированный язык проектирования, спецификации и верификации оборудования. doi :10.1109/IEEESTD.2018.8299595. ISBN 978-1-5044-4509-2.
4. IEEE (2005). 1850-2005 – Стандарт IEEE для языка спецификации свойств (PSL) . doi :10.1109/IEEESTD.2005.97780. ISBN 0-7381-4780-X.
5. "cocotb". cocotb . Получено 2024-09-10 .
6. "чизельтест".