Публікація:
Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов

Проста сторінка документа
dc.contributor.authorШкиль, А. С.
dc.contributor.authorФастовец, Г. П.
dc.contributor.authorСерокурова, А. С.
dc.date.accessioned2017-06-13T15:26:14Z
dc.date.available2017-06-13T15:26:14Z
dc.date.issued2014
dc.descriptionПредлагается автоматизация диагностирования HDL-моделей конечных автоматов с использованием программы ASFTEST. Рассматривается вариант восстановления графа переходов по HDL-модели автомата в форме автоматного шаблона и анализ обхода всех дуг графа для поиска ошибок проектирования.uk_UA
dc.identifier.citationШкиль А. С. Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов / А. С. Шкиль, Г. П, Фастовец, А. С. Серокурвоа // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2014. – Вып. 168. – С. 43–52.uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/3870
dc.language.isoruuk_UA
dc.publisherНаучно-технический журнал : Автоматизированные системы управления и приборы автоматикиuk_UA
dc.subjectэкспериментuk_UA
dc.subjectэквивалентностьuk_UA
dc.titleАвтоматизация поиска ошибок проектирования в HDL-моделях конечных автоматовuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакунок

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
shkil.pdf
Розмір:
752.86 KB
Формат:
Adobe Portable Document Format
Завантажити

Пакунок ліцензії

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

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