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

Преподаватели: А.С. Камкин, А.Д. Татарников

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

Требования к слушателям: знание основ организации микропроцессоров.

Структура курса¶

1. Введение: Проектирование микропроцессоров
2. Введение: Верификация микропроцессоров
3. Введение: Основы MIPS
4. Ручное тестирование: Арифметические операции
5. Ручное тестирование: Операции с памятью
6. Ручное тестирование: Ветвления
7. Автоматизация: Скриптовые генераторы
8. Автоматизация: Генерация на основе спецификаций
9. Спецификация: Введение в nML
10. Спецификация: Описание операций микропроцессора MIPS
11. Спецификация: Описание иерархии памяти
12. Генерация: Разработка тестовых шаблонов
13. Генерация: Описание тестовых ситуаций
14. Генерация: Создание специализированных генераторов
15. Углублённый материал: Описание конвейеров
16. Углублённый материал: Тестирование конвейеров

Материалы¶

1. Слайды к лекциям.

Литература¶

1. Д. Паттерсон, Дж. Хеннесси. Архитектура компьютера и проектирование компьютерных систем. Питер, 2012, 784 стр.
2. MIPS64® Architecture for Programmers Volume I-IV: Introduction to the MIPS64™ Architecture.
3. Eds. P. Mishra, N. Dutt. Processor Description Languages, Volume 1. Morgan Kauffman, 2008, 432 pp.
4. M. Freericks. nML Machine Description Formalism. Technischer Bericht 1991-15, Technische Universität Berlin, FB 20, Berlin, 1991.

Инструменты¶

1. MicroTESK (Microprocessor TEsting and Specification Kit) — http://forge.ispras.ru/projects/microtesk.
2. MARS (MIPS Assembler and Runtime Simulator) — http://courses.missouristate.edu/KenVollmar/MARS.
3. SPIM MIPS Simulator — http://sourceforge.net/projects/spimsimulator.