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

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

Файли

Шкиль_АСУ_2006_134.pdf (205.56 KB)

Дата

2006

Автори

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

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

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

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

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

Анотація

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

Опис

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

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

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

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

DOI

URI

http://openarchive.nure.ua/handle/document/2487

Колекції

Кафедра автоматизації проектування обчислювальної техніки (АПОТ)