Project

General

Profile

Wiki » History » Version 14

Alexander Kamkin, 10/11/2013 06:39 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 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 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.