Публікація: Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели
Завантаження...
Дата
2012
Назва журналу
ISSN журналу
Назва тома
Видавництво
Української державної академії залізничного транспорту
Анотація
Цель работы: повышение глубины локализации ошибки проектирования в HDL-моделях. Данная цель достигается путем решения двух задач, а именно: · декомпозиции (явной – с выделением структурно и функционально законченного модуля на этапе реализации системы, неявной – с помощью средств анализа в специализирован-ных САПР); доискивания в декомпозированных модулях (применение ad hoc процедур для каждого типа модуля).
Опис
Ключові слова
верификация цифровых проектов, ошибка проектирования в HDL-моделях, специализированные САПР
Бібліографічний опис
Шкиль, А. С. Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели / А. С. Шкиль, Е. Е. Сыревич, С. Альмадхоун // Інформаційно-керуючі системи на залізничному транспорті : наук.-техн. журн. – Харків, 2012. – Вып. 5 (96). – С. 42–46.