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


Методы генерации тестовых программ для микропроцессоров

к.ф.-м.н. А.С. Камкин, А.Д. Татарников. осенний полугодовой курс.

Курс предназначен для студентов 3-6 курсов, специализирующихся в области проектирования и верификации микропроцессоров. Цели курса — познакомить слушателей с методами спецификации микропроцессоров и методами генерации тестовых программ, а также выработать соответствующие практические навыки. Основу курса составляют практичекие занятия, посвященные спецификации инструкций и созданию автоматизированных генераторов тестовых программ для MIPS-совместимого микропроцессора. Практикум основан на языке спецификации nML (Sim-nML) и инструменте создания генераторов тестовых программ MicroTESK.

Более подробную информацию по курсу можно получить здесь.

Курс группы

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

Перейти к учебным курсам ИСП РАН