Wiki » History » Version 15
Alexander Kamkin, 10/11/2013 06:40 AM
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 | 14 | Alexander Kamkin | _Требования к слушателям_: знание принципов организации микропроцессоров, умение программировать на языке ассемблера и языках высокого уровня (приветствуется знание скриптовых языков). |
8 | 4 | Alexander Kamkin | |
9 | h2. Структура курса |
||
10 | |||
11 | 15 | 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 | 13 | Alexander Kamkin | # "Слайды к лекциям":http://forge.ispras.ru/attachments/download/3018/MicroTESK.Training.Slides.pdf. |
31 | 1 | Alexander Kamkin | |
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. |