Главная страница « Спецсеминары «

Спецсеминар «Корректность программ»

Руководители:
доктор физ.-мат. наук Петренко Александр Константинович,
канд. физ.-мат. наук Хорошилов Алексей Владимирович,
канд. физ.-мат. наук Кулямин Виктор Вячеславович

вернуться на страницу спецсеминара

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

ВЕРИФИКАЦИЯ МОДЕЛЕЙ МИКРОПРОЦЕССОРОВ



Заинтересовались?
Напишите нам:
Камкин Александр
kamkin@ispras.ru



Сейчас нам интересны такие исследования:

Модели микропроцессоров – необходимая часть разработки микропроцессоров. Мы занимаемся задачами анализа, верификации и тестирования этих моделей.

  1. Формальная верификации моделей аппаратуры;

  2. Статический анализ Verilog-кода;

  3. Автоматизированная генерация ассемблерных программ для тестирования ими микропроцессора;

  4. Методы оценки полноты тестирования;

  5. Развитие генераторов тестовых последовательностей;

Присоединяйтесь!

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 11.6.2009