Wiki » History » Revision 14
« Previous |
Revision 14/15
(diff)
| Next »
Alexander Kamkin, 10/11/2013 06:39 AM
Методы генерации тестовых программ для микропроцессоров¶
Преподаватели: А.С. Камкин, А.Д. Татарников
Курс предназначен для студентов старших курсов, специализирующихся в области проектирования и верификации микропроцессоров. Цели курса — познакомить слушателей с методами спецификации микропроцессоров и методами генерации тестовых программ, а также выработать соответствующие практические навыки. Основу курса составляют практичекие занятия, посвященные спецификации инструкций и созданию автоматизированных генераторов тестовых программ для MIPS-совместимого микропроцессора. Практикум основан на языке спецификации nML (Sim-nML) и инструменте создания генераторов тестовых программ MicroTESK.
Требования к слушателям: знание принципов организации микропроцессоров, умение программировать на языке ассемблера и языках высокого уровня (приветствуется знание скриптовых языков).
Структура курса¶
- Введение. Проектирование микропроцессоров.
- Введение. Верификация микропроцессоров.
- Введение. Основы архитектуры MIPS.
- Ручное тестирование. Арифметические инструкции.
- Ручное тестирование. Инструкции работы с памятью.
- Ручное тестирование. Инструкции ветвления.
- Автоматизация тестирования. Скриптовые генераторы.
- Автоматизация тестирования. Генерация на основе спецификаций.
- Спецификация микропроцессора. Введение в nML.
- Спецификация микропроцессора. Описание инструкций MIPS.
- Спецификация микропроцессора. Описание иерархии памяти.
- Генерация тестовых программ. Разработка тестовых шаблонов.
- Генерация тестовых программ. Описание тестовых ситуаций.
- Генерация тестовых программ. Создание специализированных генераторов.
- Дополнительный материал. Описание конвейеров.
- Дополнительный материал. Тестирование конвейеров.
Материалы¶
Литература¶
- Д. Паттерсон, Дж. Хеннесси. Архитектура компьютера и проектирование компьютерных систем. Питер, 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.
Инструменты¶
- 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.
Updated by Alexander Kamkin about 11 years ago · 15 revisions