Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2254
Title: Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели
Authors: Шкиль, А. С.
Сыревич, Е. Е.
Альмадхоун, С.
Keywords: верификация цифровых проектов
ошибка проектирования в HDL-моделях
специализированные САПР
Issue Date: 2012
Publisher: Української державної академії залізничного транспорту
Citation: Шкиль, А. С. Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели / А. С. Шкиль, Е. Е. Сыревич, С. Альмадхоун // Інформаційно-керуючі системи на залізничному транспорті : наук.-техн. журн. – Харків, 2012. – Вып. 5 (96). – С. 42–46.
Abstract: Цель работы: повышение глубины локализации ошибки проектирования в HDL-моделях. Данная цель достигается путем решения двух задач, а именно: · декомпозиции (явной – с выделением структурно и функционально законченного модуля на этапе реализации системы, неявной – с помощью средств анализа в специализирован-ных САПР); доискивания в декомпозированных модулях (применение ad hoc процедур для каждого типа модуля).
URI: http://openarchive.nure.ua/handle/document/2254
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
Шкиль_ІКС_ЗТ_2012_5_09.pdf211.52 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.