Мы представляем технологию создания генераторов тестовых программ для микропроцессоров и делимся своим 10-летним опытом в этой области. Технология описывается на примере MIPS, однако применима к широкому классу компьютерных архитектур. Полагаем, что наш опыт интересен людям из индустрии разработки микропроцессоров, а также системным программистам.

Александр Камкин

Ведущий научный сотрудник, ИСП РАН

Выпускник ВМиК МГУ (2003), к.ф.-м.н. (ИСП РАН, 2009). В настоящее время в.н.с. ИСП РАН (специализация – верификация микропроцессоров), руководитель проекта MicroTESK.