Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/33543Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Шкиль, Александр Сергеевич | - |
| dc.contributor.author | Кулак, Эльвира Николаевна | - |
| dc.contributor.author | Гребенюк, А.С. | - |
| dc.date.accessioned | 2026-09-27T07:39:40Z | - |
| dc.date.available | 2026-09-27T07:39:40Z | - |
| dc.date.issued | 2016 | - |
| dc.identifier.citation | Шкиль А.С. Диагностирование HDL-моделей конечных автоматов по графу переходов / А. С. Шкиль, Э. Н. Кулак, А. С. Гребенюк // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 29-ї міжнародної науково-практичної конференції (Чорноморськ, 27-29 вересня 2016 р.). – 2016. – № 4 (додаток). – С. 61-62. | uk_UA |
| dc.identifier.issn | 1681-4886 (рrint); 2413-3833 (online) | - |
| dc.identifier.uri | http://lib.kart.edu.ua/handle/123456789/33543 | - |
| dc.description.abstract | Верификация HDL-моделей – это один из важных и наиболее затратных по времени этапов автоматизированного проектирования современных цифровых устройств. В процессе верификации идет проверка соответствия полученного кода изначальной спецификации. Одним из способов описания моделей цифровых устройств в форме конечных автоматов на языках описания аппаратуры является автоматный шаблон. | uk_UA |
| dc.publisher | Український державний університет залізничного транспорту | uk_UA |
| dc.title | Диагностирование HDL-моделей конечных автоматов по графу переходов | uk_UA |
| dc.type | Thesis | uk_UA |
| Appears in Collections: | № 4 (додаток) | |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.