Project

General

Profile

Wiki » History » Revision 14

Revision 13 (Alexander Kamkin, 10/11/2013 06:38 AM) → Revision 14/15 (Alexander Kamkin, 10/11/2013 06:39 AM)

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

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

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

 _Требования к слушателям_: знание принципов организации микропроцессоров, умение программировать на языке ассемблера и языках высокого уровня (приветствуется знание скриптовых языков). уровня. 

 h2. Структура курса 

 # Введение. Проектирование микропроцессоров. 
 # Введение.   Верификация микропроцессоров. 
 # Введение. Основы архитектуры MIPS. 
 # Ручное тестирование. Арифметические инструкции. 
 # Ручное тестирование. Инструкции работы с памятью. 
 # Ручное тестирование. Инструкции ветвления. 
 # Автоматизация тестирования.   Скриптовые генераторы. 
 # Автоматизация тестирования. Генерация на основе спецификаций. 
 # Спецификация микропроцессора. Введение в nML. 
 # Спецификация микропроцессора.   Описание инструкций MIPS. 
 # Спецификация микропроцессора. Описание иерархии памяти. 
 # Генерация тестовых программ.   Разработка тестовых шаблонов. 
 # Генерация тестовых программ. Описание тестовых ситуаций. 
 # Генерация тестовых программ.   Создание специализированных генераторов. 
 # Дополнительный материал. Описание конвейеров. 
 # Дополнительный материал.   Тестирование конвейеров. 

 h2. Материалы 

 # "Слайды к лекциям":http://forge.ispras.ru/attachments/download/3018/MicroTESK.Training.Slides.pdf. 

 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.