Публікація:
Верифікація HDL-коду на основі механізму ассерцій

Завантаження...
Зображення мініатюри

Дата

2009

Назва журналу

ISSN журналу

Назва тома

Видавництво

Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Запропоновано технологію тестування й верифікації цифрових систем для діагностування та виправлення похибок HDL-моделей, яка спирається на сумісне використання механізму асерцій та тестопридатного проектування, цифрових систем на кристалах та зменьшити час розробки.

Опис

Ключові слова

тестування, тестопридатність, верифікація, HDL-модель

Бібліографічний опис

Хаханов В. І. Верифікація HDL-коду на основі механізму ассерцій / В. І. Хаханов, І. В. Хаханова, Е. І. Литвинова, О. А. Гузь // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2009

DOI