RUS ENG

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

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

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


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


Контактная информация

194021, Санкт-Петербург, ул. Политехническая, д. 21, ауд. 104

Тел./факс: +7-812-2971639

Кафедра расположена на 1 этаже 9 корпуса СПбГПУ.

 Зав. кафедрой проф. Карпов Юрий Глебович


Ближайшие события

в этом списке нет новостей.

Недавние события

27.06.2017 Учебный процесс:
23.06.2017 Учебный процесс:
29.06.2016 Учебный процесс:
22.06.2016 Учебный процесс:
Отображение результатов 1 до 5 из 100
<< Первая < предыдущ. 1-5 6-10 11-15 16-20 21-25 26-30 31-35 следующ. > Последняя>>

Недавние обновления

Aktuell liegen keine neuen Inhalte vor.