Публікація:
Тестовая верификация поведенческих языковых моделей цифровых устройств

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

Дата

2006

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

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

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

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

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

Анотація

Предлагается процедура верификации моделей цифровых устройств, описанных с помощью языков описания аппаратуры.

Опис

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

верификация моделей, язык описания аппаратуры

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

Тестовая верификация поведенческих языковых моделей цифровых устройств / А. С. Шкиль, Е. Е. Сыревич, А. Л. Карасев, Д. И. Чегликов // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2006. – Вып. 134. – С. 4–13.

DOI