Wiki » History » Version 12
Alexander Kamkin, 10/10/2013 08:07 PM
| 1 | 4 | Alexander Kamkin | h1. Методы генерации тестовых программ для микропроцессоров |
|---|---|---|---|
| 2 | 1 | Alexander Kamkin | |
| 3 | 6 | Alexander Kamkin | _Преподаватели_: А.С. Камкин, А.Д. Татарников |
| 4 | 1 | Alexander Kamkin | |
| 5 | 7 | Alexander Kamkin | Курс предназначен для студентов старших курсов, специализирующихся в области проектирования и верификации микропроцессоров. Цели курса — познакомить слушателей с методами спецификации микропроцессоров и методами генерации тестовых программ, а также выработать соответствующие практические навыки. Основу курса составляют практичекие занятия, посвященные спецификации инструкций и созданию автоматизированных генераторов тестовых программ для MIPS-совместимого микропроцессора. Практикум основан на языке спецификации nML (Sim-nML) и инструменте создания генераторов тестовых программ MicroTESK. |
| 6 | 6 | Alexander Kamkin | |
| 7 | 12 | Alexander Kamkin | _Требования к слушателям_: знание принципов организации микропроцессоров, умение программировать на языке ассемблера и языках высокого уровня. |
| 8 | 4 | Alexander Kamkin | |
| 9 | h2. Структура курса |
||
| 10 | |||
| 11 | 11 | Alexander Kamkin | # Введение. Проектирование микропроцессоров. |
| 12 | # Введение. Верификация микропроцессоров. |
||
| 13 | # Введение. Основы архитектуры MIPS. |
||
| 14 | # Ручное тестирование. Арифметические инструкции. |
||
| 15 | # Ручное тестирование. Инструкции работы с памятью. |
||
| 16 | # Ручное тестирование. Инструкции ветвления. |
||
| 17 | # Автоматизация тестирования. Скриптовые генераторы. |
||
| 18 | # Автоматизация тестирования. Генерация на основе спецификаций. |
||
| 19 | # Спецификация микропроцессора. Введение в nML. |
||
| 20 | # Спецификация микропроцессора. Описание инструкций MIPS. |
||
| 21 | # Спецификация микропроцессора. Описание иерархии памяти. |
||
| 22 | # Генерация тестовых программ. Разработка тестовых шаблонов. |
||
| 23 | # Генерация тестовых программ. Описание тестовых ситуаций. |
||
| 24 | # Генерация тестовых программ. Создание специализированных генераторов. |
||
| 25 | # Дополнительный материал. Описание конвейеров. |
||
| 26 | # Дополнительный материал. Тестирование конвейеров. |
||
| 27 | 4 | Alexander Kamkin | |
| 28 | h2. Материалы |
||
| 29 | |||
| 30 | 1 | Alexander Kamkin | # Слайды к лекциям. |
| 31 | |||
| 32 | 4 | Alexander Kamkin | h2. Литература |
| 33 | 3 | Alexander Kamkin | |
| 34 | # Д. Паттерсон, Дж. Хеннесси. _Архитектура компьютера и проектирование компьютерных систем_. Питер, 2012, 784 стр. |
||
| 35 | # MIPS64® _Architecture for Programmers Volume I-IV: Introduction to the MIPS64™ Architecture_. |
||
| 36 | 1 | Alexander Kamkin | # Eds. P. Mishra, N. Dutt. _Processor Description Languages, Volume 1_. Morgan Kauffman, 2008, 432 pp. |
| 37 | 3 | Alexander Kamkin | # M. Freericks. _nML Machine Description Formalism_. Technischer Bericht 1991-15, Technische Universität Berlin, FB 20, Berlin, 1991. |
| 38 | 1 | Alexander Kamkin | |
| 39 | 4 | Alexander Kamkin | h2. Инструменты |
| 40 | 1 | Alexander Kamkin | |
| 41 | 8 | Alexander Kamkin | # MicroTESK (Microprocessor TEsting and Specification Kit) — http://forge.ispras.ru/projects/microtesk. |
| 42 | # MARS (MIPS Assembler and Runtime Simulator) — http://courses.missouristate.edu/KenVollmar/MARS. |
||
| 43 | # SPIM MIPS Simulator — http://sourceforge.net/projects/spimsimulator. |