RUS ENG

< Верификация контекстных требований программных систем логического управления
13.02.2015 12:00 Давность: 4 yrs
Категория: Семинар

Реинжиниринг цифровых устройств и встраивание средств тестирования на базе многоуровневых моделей

Олег Ненашев (каф. КСПТ)


Доклад посвящен проблемам реинжиниринга сложных систем на кристалле (СнК), для проведения которого требуются специализированные модели, методы и средств. Разработаны и обоснованы новая гибридная модель устройств, а также методики построения модели из исходных описаний устройств и её последующего применения в задачах анализа, трансформации и верификации устройств. Применимость подходов подтверждена на примерах задач внутрисхемного тестирования СнК и прототипирования инструментальных средств.