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