Project

General

Profile

Edit History

Wiki » History » Version 9

Andrei Tatarnikov, 10/03/2013 10:23 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
    
    
    
_Требования к слушателям_: знание основ организации микропроцессоров.





    8
    4
    Alexander Kamkin
    





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





    10
    
    
    





    11
    9
    Andrei Tatarnikov
    
# Введение: Проектирование микропроцессоров





    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.