Project

General

Profile

Edit History

Wiki » History » Version 8

Alexander Kamkin, 10/03/2013 10:04 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
    
    
    
# ...





    12
    
    
    





    13
    
    
    
h2. Материалы





    14
    
    
    





    15
    1
    Alexander Kamkin
    
# Слайды к лекциям.





    16
    
    
    





    17
    4
    Alexander Kamkin
    
h2. Литература





    18
    3
    Alexander Kamkin
    





    19
    
    
    
# Д. Паттерсон, Дж. Хеннесси. _Архитектура компьютера и проектирование компьютерных систем_. Питер, 2012, 784 стр.





    20
    
    
    
# MIPS64® _Architecture for Programmers Volume I-IV: Introduction to the MIPS64™ Architecture_.





    21
    1
    Alexander Kamkin
    
# Eds. P. Mishra, N. Dutt. _Processor Description Languages, Volume 1_. Morgan Kauffman, 2008, 432 pp.





    22
    3
    Alexander Kamkin
    
# M. Freericks. _nML Machine Description Formalism_. Technischer Bericht 1991-15, Technische Universität Berlin, FB 20, Berlin, 1991.





    23
    1
    Alexander Kamkin
    





    24
    4
    Alexander Kamkin
    
h2. Инструменты





    25
    1
    Alexander Kamkin
    





    26
    8
    Alexander Kamkin
    
# MicroTESK (Microprocessor TEsting and Specification Kit) — http://forge.ispras.ru/projects/microtesk.





    27
    
    
    
# MARS (MIPS Assembler and Runtime Simulator) — http://courses.missouristate.edu/KenVollmar/MARS.





    28
    
    
    
# SPIM MIPS Simulator — http://sourceforge.net/projects/spimsimulator.