Шкиль, А. С.Сыревич, Е. Е.Альмадхоун, С.2016-09-072016-09-072012Шкиль, А. С. Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели / А. С. Шкиль, Е. Е. Сыревич, С. Альмадхоун // Інформаційно-керуючі системи на залізничному транспорті : наук.-техн. журн. – Харків, 2012. – Вып. 5 (96). – С. 42–46.http://openarchive.nure.ua/handle/document/2254Цель работы: повышение глубины локализации ошибки проектирования в HDL-моделях. Данная цель достигается путем решения двух задач, а именно: · декомпозиции (явной – с выделением структурно и функционально законченного модуля на этапе реализации системы, неявной – с помощью средств анализа в специализирован-ных САПР); доискивания в декомпозированных модулях (применение ad hoc процедур для каждого типа модуля).ruверификация цифровых проектовошибка проектирования в HDL-моделяхспециализированные САПРArticle