Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели
|
|
Creator |
Шкиль, А. С.
Сыревич, Е. Е. Альмадхоун, С. |
|
Subject |
верификация цифровых проектов
ошибка проектирования в HDL-моделях специализированные САПР |
|
Description |
Цель работы: повышение глубины локализации ошибки проектирования в HDL-моделях. Данная цель достигается путем решения двух задач, а именно: · декомпозиции (явной – с выделением структурно и функционально законченного модуля на этапе реализации системы, неявной – с помощью средств анализа в специализирован-ных САПР); доискивания в декомпозированных модулях (применение ad hoc процедур для каждого типа модуля).
|
|
Date |
2016-09-07T11:27:04Z
2016-09-07T11:27:04Z 2012 |
|
Type |
Article
|
|
Identifier |
Шкиль, А. С. Локализация ошибок проектирования в эффективно-декомпозированной HDL-модели / А. С. Шкиль, Е. Е. Сыревич, С. Альмадхоун // Інформаційно-керуючі системи на залізничному транспорті : наук.-техн. журн. – Харків, 2012. – Вып. 5 (96). – С. 42–46.
http://openarchive.nure.ua/handle/document/2254 |
|
Language |
ru
|
|
Publisher |
Української державної академії залізничного транспорту
|
|