Публікація: Верифікація HDL-коду на основі механізму ассерцій
Завантаження...
Дата
2009
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Запропоновано технологію тестування й верифікації цифрових систем для діагностування та виправлення похибок HDL-моделей, яка спирається на сумісне використання механізму асерцій та тестопридатного проектування, цифрових систем на кристалах та зменьшити час розробки.
Опис
Ключові слова
тестопридатність, верифікація, HDL-модель
Бібліографічний опис
Верифікація HDL-коду на основі механізму ассерцій / В. І. Хаханов, І. В. Хаханова, Е. І. Литвинова, О. А. Гузь // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2009.