Project

General

Profile

Wiki » History » Version 4

Alexander Kamkin, 10/03/2013 09:58 AM

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