Шкиль, А. С.Сыревич, Е. Е.Кучеренко, Д. Е.2016-09-082016-09-082008Методы поиска ошибок проектирования в HDL-коде / А. С. Шкиль, Е. Е. Сыревич, Д. Е. Кучеренко, Г. Ф. Фастовец // Радиоэлектроника и информатика : науч.-техн. журн. – Харьков : Изд-во ХНУРЭ, 2008. – Вып. 3 (42). – С. 47–54.http://openarchive.nure.ua/handle/document/2330Рассматриваются методы поиска ошибок проектирования в неструктурированном HDL-коде. Разрабатываются структурные методы поиска и метод обратного прослеживания. Проводятся эксперименты над HDL-моделью цифрового устройства с использованием разработанных методов.ruпоиск ошибок в HDL-кодеметод обратного прослеживанияверификация цифровых проектовArticle