Автоматизация проектирования симуляторов микропроцессоров и микроконтроллеров

Оглавление
Введение.
1. Анализ технологий проектирования симуляторов
1.1. Модели микропроцессоров.
1.2. Классификация симуляторов.
1.3. Базовые технологии проектирования симуляторов.
1.4. Оптимизация симуляторов по быстродействию.
1.5. Выводы по первой главе
2. Исследование методов оптимизации симуляторов по быстродействию .
2.1. Методы анализа и трансформации программ.
2.1.1. Алгебра языков программирования
2.1.2. Синтаксис и семантика языка Vi
2.1.3.Реляционная хоаровская логика.
2.2. Табличноалгоритмическая оптимизация
2.2.1. Функциональная модель
2.2.2. Эксперимент
2.2.3.Решение в общем случае
2.2.4. Частичная реализация ветвей симулятора.
2.2.5. Поразрядная двоичная арифметика
2.2.6. Решение систем уравнений и неравенств в поразрядной двоичной арифметике,
2.2.7. Эквивалентность выражений
2.2.8. Процедура табличноалгоритмической оптимизации.
2.3. Отложенное вычисление флагов
2.3.1. Функциональная модель
2.3.2. Эксперимент
2.3.3. Автоматизация оптимизирующего преобразования.
2.4. Выводы по второй главе.
3. Автоматизация тестирования симуляторов
3.1. Автоматизация тестирования программ
3.2. Существующие методы тестирования симуляторов
3.3. Метод тестирования симуляторов на основе генерации тестов и использования прототипа.
3.4. Выводы по третьей главе.
4. Автоматизация проектирования симуляторов микроконтроллеров и интерация моделей микропроцессорных устройств в систему
4.1. С труктура МПС
4.2. Взаимодействие компонентов МПС
4.3. Маршрутизатор сообщений.
4.4. Планирование и дельтазадержка
4.5. Дизассемблер
4.6. Визуальная среда симуляции МПС
4.7. Симулятор микропроцессора 6. Создание новых симуляторов и моделей.
4.8. Выводы по четвертой главе.
Заключение. . .
Список используемых сокращений
Публикации по теме диссертации
Литература