Wiki » History » Revision 12
Revision 11 (Alexander Kamkin, 10/10/2013 08:04 PM) → Revision 12/15 (Alexander Kamkin, 10/10/2013 08:07 PM)
h1. Методы генерации тестовых программ для микропроцессоров _Преподаватели_: А.С. Камкин, А.Д. Татарников Курс предназначен для студентов старших курсов, специализирующихся в области проектирования и верификации микропроцессоров. Цели курса — познакомить слушателей с методами спецификации микропроцессоров и методами генерации тестовых программ, а также выработать соответствующие практические навыки. Основу курса составляют практичекие занятия, посвященные спецификации инструкций и созданию автоматизированных генераторов тестовых программ для MIPS-совместимого микропроцессора. Практикум основан на языке спецификации nML (Sim-nML) и инструменте создания генераторов тестовых программ MicroTESK. _Требования к слушателям_: знание принципов основ организации микропроцессоров, умение программировать на языке ассемблера и языках высокого уровня. микропроцессоров. h2. Структура курса # Введение. Проектирование микропроцессоров. # Введение. Верификация микропроцессоров. # Введение. Основы архитектуры MIPS. # Ручное тестирование. Арифметические инструкции. # Ручное тестирование. Инструкции работы с памятью. # Ручное тестирование. Инструкции ветвления. # Автоматизация тестирования. Скриптовые генераторы. # Автоматизация тестирования. Генерация на основе спецификаций. # Спецификация микропроцессора. Введение в nML. # Спецификация микропроцессора. Описание инструкций MIPS. # Спецификация микропроцессора. Описание иерархии памяти. # Генерация тестовых программ. Разработка тестовых шаблонов. # Генерация тестовых программ. Описание тестовых ситуаций. # Генерация тестовых программ. Создание специализированных генераторов. # Дополнительный материал. Описание конвейеров. # Дополнительный материал. Тестирование конвейеров. h2. Материалы # Слайды к лекциям. h2. Литература # Д. Паттерсон, Дж. Хеннесси. _Архитектура компьютера и проектирование компьютерных систем_. Питер, 2012, 784 стр. # MIPS64® _Architecture for Programmers Volume I-IV: Introduction to the MIPS64™ Architecture_. # Eds. P. Mishra, N. Dutt. _Processor Description Languages, Volume 1_. Morgan Kauffman, 2008, 432 pp. # M. Freericks. _nML Machine Description Formalism_. Technischer Bericht 1991-15, Technische Universität Berlin, FB 20, Berlin, 1991. h2. Инструменты # MicroTESK (Microprocessor TEsting and Specification Kit) — http://forge.ispras.ru/projects/microtesk. # MARS (MIPS Assembler and Runtime Simulator) — http://courses.missouristate.edu/KenVollmar/MARS. # SPIM MIPS Simulator — http://sourceforge.net/projects/spimsimulator.