Институт системного программирования им. В.П. Иванникова РАН


Анализатор результатов динамической верификации аппаратуры: Диагностика.

Авторы

М. Чупилко, А. Проценко.

Аннотация

Процессы проектирования аппаратуры включают верификацию как одну из наиболее важных частей. Верификация очень часто проводится динамическим образом. После сравнения поведения проекта аппаратуры и поведения его эталонной модели выносится вердикт об их соответствии. Очень полезно иметь некоторые средства анализа потенциальной несовместности их выходных данных. Предметом данной работы как раз и является предоставление инженерам-верификаторам метода и инструмента для диагностики некорректного поведения, использующих временные диаграммы и анализ трасс реакций, основанный на переупорядочивании таких трасс реакций.

Полный текст статьи в формате pdf (на английском)

Издание

Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2014.

DOI: 10.15514/SYRCOSE-2014-8-18

Научная группа

Технологии программирования

Все публикации за 2014 год Все публикации