Введение
1. Анализ технологий проектирования симуляторов 10
1.1. Модели микропроцессоров 10
1.2. Классификаций симуляторов 13
1.3. Базовые технологии проектирования симуляторов 22
1.4. Оптимизация симуляторов по быстродействию 24
1.5. Выводы по первой главе 26
2. Исследование методов оптимизации симуляторов по быстродействию .28
2.1. Методы анализа и трансформации программ 28
2.1 1. Алгебра языков программирования 31
2.1.2. Синтаксис и семантика языка While++ 36
2.1.3.Реляционная хоаровская логика 43
2.2. Таблично-алгоритмическая оптимизация 55
2.2.1-Функциональная модель 55
2.2.2. Эксперимент 58
2.2.3.Решение в общем случае 60
2.2.4. Частичная реализация ветвей симулятора 62
2.2.5. Поразрядная двоичная арифметика 64
2.2.6, Решение систем уравнений и неравенств в поразрядной двоичной арифметике 70
2.2.7, Эквивалентность выражений 76
2.2.8, Процедура таблично-алгоритмической оптимизации 81
2.3. Отложенное вычисление флагов 89
2.3. 1 Функциональная модель 90
2.3.2. Эксперимент 91
2.3.3. Автоматизация оптимизируюхцего преобразования 94
2.4, Выводы по второй главе 96
3. Автоматизация тестирования симуляторов 98
3.1. Автоматизация тестирования программ 98
3.2. Существующие методы тестирования симуляторов 101
33. Метод тестирования симуляторов на основе генерации тестов и использования прототипа 103
3.4. Выводы по третьей главе 111
4. Автоматизация проектирования симуляторов микроконтроллеров и интеграция моделей микропроцессорных устройств в систему 113
4.1.. Структура МПС 115
4.2. Взаимодействие компонентов МПС 116
4.3. Маршрутизатор сообщений 118
4.4. Планирование и дельта-задержка 123
4.5. Дизассемблер 126
4.6. Визуальная среда симуляции МПС 130
4.7. Симулятор микропроцессора І8086. Создание новых симуляторов и моделей 133
4.8. Выводы по четвертой главе 135
Заключение 436
Список используемых сокращений
