Публікація: Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели
dc.contributor.author | Шкиль, А. С. | |
dc.contributor.author | Сыревич, Е. Е. | |
dc.contributor.author | Альмадхоун, С. | |
dc.date.accessioned | 2016-09-07T11:27:04Z | |
dc.date.available | 2016-09-07T11:27:04Z | |
dc.date.issued | 2012 | |
dc.description.abstract | Цель работы: повышение глубины локализации ошибки проектирования в HDL-моделях. Данная цель достигается путем решения двух задач, а именно: · декомпозиции (явной – с выделением структурно и функционально законченного модуля на этапе реализации системы, неявной – с помощью средств анализа в специализирован-ных САПР); доискивания в декомпозированных модулях (применение ad hoc процедур для каждого типа модуля). | uk_UA |
dc.identifier.citation | Шкиль, А. С. Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели / А. С. Шкиль, Е. Е. Сыревич, С. Альмадхоун // Інформаційно-керуючі системи на залізничному транспорті : наук.-техн. журн. – Харків, 2012. – Вып. 5 (96). – С. 42–46. | uk_UA |
dc.identifier.uri | http://openarchive.nure.ua/handle/document/2254 | |
dc.language.iso | ru | uk_UA |
dc.publisher | Української державної академії залізничного транспорту | uk_UA |
dc.subject | верификация цифровых проектов | uk_UA |
dc.subject | ошибка проектирования в HDL-моделях | uk_UA |
dc.subject | специализированные САПР | uk_UA |
dc.title | Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели | uk_UA |
dc.type | Article | uk_UA |
dspace.entity.type | Publication |
Файли
Оригінальний пакет
1 - 1 з 1
Завантаження...
- Назва:
- Шкиль_ІКС_ЗТ_2012_5_09.pdf
- Розмір:
- 211.52 KB
- Формат:
- Adobe Portable Document Format
Ліцензійний пакет
1 - 1 з 1
Немає доступних мініатюр
- Назва:
- license.txt
- Розмір:
- 9.42 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: