Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/33543| Title: | Диагностирование HDL-моделей конечных автоматов по графу переходов |
| Authors: | Шкиль, Александр Сергеевич Кулак, Эльвира Николаевна Гребенюк, А.С. |
| Issue Date: | 2016 |
| Publisher: | Український державний університет залізничного транспорту |
| Citation: | Шкиль А.С. Диагностирование HDL-моделей конечных автоматов по графу переходов / А. С. Шкиль, Э. Н. Кулак, А. С. Гребенюк // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 29-ї міжнародної науково-практичної конференції (Чорноморськ, 27-29 вересня 2016 р.). – 2016. – № 4 (додаток). – С. 61-62. |
| Abstract: | Верификация HDL-моделей – это один из важных и наиболее затратных по времени этапов автоматизированного проектирования современных цифровых устройств. В процессе верификации идет проверка соответствия полученного кода изначальной спецификации. Одним из способов описания моделей цифровых устройств в форме конечных автоматов на языках описания аппаратуры является автоматный шаблон. |
| URI: | http://lib.kart.edu.ua/handle/123456789/33543 |
| ISSN: | 1681-4886 (рrint); 2413-3833 (online) |
| Appears in Collections: | № 4 (додаток) |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.