Введение
1 Функциональное тестирование микропроцессора 8
1.1 Основные направления развития функционального тестирования 8
1.1.1 Модульный подход 8
1.1.2 Микрооперационный подход 9
1.1.3 Модель регистровых передач 10
1.1.4 Функциональная декомпозиция
1.2 Функциональное тестирование RISC-микропроцессоров 13
1.3 Проблемы проверки управляющего оборудования 19
1.4 Задачи, решаемые в последующих разделах 24
2 Архитектура SPARC V9 25
2.1 Структура микропроцессора 25
2.1.1 Устройство предварительной выборки и диспетчеризации команд 27
2.1.2 Кэш-память команд 27
2.1.3 Организация конвейера 28
2.1.4 Целочисленное исполнительное устройство 29
2.1.5 Устройство загрузки/записи 29
2.1.6 Устройство работы с вещественными числами 30
2.1.7 Графическое устройство 31
2.1.8 Устройство управления памятью 31
2.1.9 Управление интерфейсом памяти
2.1.10 Кэш-память данных 33
2.1.11 Управление внешней кэш-памятью 33
2.2 Форматы данных з
2.3 Организация регистровых файлов 34
2.3.1 Целочисленные регистры общего назначения 35
2.3.2 Регистры вещественных данных 36
2.3.3 Регистры управления и состояния
2.4 Форматы команд и способы адресации 38
2.5 Архитектурная модель микропроцессора 38
3 Диагностические модели микропроцессора 42
3.1 Граф -модель 42
3.2 Проверка механизмов обработки данных 48
3.3 Механизмы хранения данных 52
3.4 Механизмы передачи данных
4 Проверка работоспособности управляющего оборудования RISC-микропроцессора 58
5 Практические результаты
5.1 Определение требований к программному комплексу 68
5.2 Архитектура программы самотестирования 70
5.2.1 Выбор языка программирования для интерфейсной программы .71
5.3 Автоматизированное построение проверяющих процедур 73
Заключение 77
Список литературы 79
