Институт системного программирования Роcсийской академии наук


Диагностика ошибочного поведения аппаратуры при динамической верификации на основе моделей

Александр Проценко. Начало семинара - 12 марта 2013 г.

<p>При верификации различных аппаратных средств значительное количество усилий тратится на интерпретацию полученных в ходе верификации ошибочных результатов и поиск причин, породивших их. Сложность ситуации обуславливается значительным параллелизмом аппаратуры, большим количеством входных и выходных интерфейсов. На семинаре будет рассказано о подходе к автоматическому анализу и интерпретации результатов тестирования, полученных в рамках динамической модульной верификации на основе моделей с использованием инструмента C++TESK.</p>

С презентацией доклада можно ознакомиться здесь.

Семинар группы

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

Перейти к списку семинаров ИСП РАН