Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://lib.kart.edu.ua/handle/123456789/33543| Назва: | Диагностирование HDL-моделей конечных автоматов по графу переходов |
| Автори: | Шкиль, Александр Сергеевич Кулак, Эльвира Николаевна Гребенюк, А.С. |
| Дата публікації: | 2016 |
| Видавництво: | Український державний університет залізничного транспорту |
| Бібліографічний опис: | Шкиль А.С. Диагностирование HDL-моделей конечных автоматов по графу переходов / А. С. Шкиль, Э. Н. Кулак, А. С. Гребенюк // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 29-ї міжнародної науково-практичної конференції (Чорноморськ, 27-29 вересня 2016 р.). – 2016. – № 4 (додаток). – С. 61-62. |
| Короткий огляд (реферат): | Верификация HDL-моделей – это один из важных и наиболее затратных по времени этапов автоматизированного проектирования современных цифровых устройств. В процессе верификации идет проверка соответствия полученного кода изначальной спецификации. Одним из способов описания моделей цифровых устройств в форме конечных автоматов на языках описания аппаратуры является автоматный шаблон. |
| URI (Уніфікований ідентифікатор ресурсу): | http://lib.kart.edu.ua/handle/123456789/33543 |
| ISSN: | 1681-4886 (рrint); 2413-3833 (online) |
| Розташовується у зібраннях: | № 4 (додаток) |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Шкиль.pdf | 162.85 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.