Методика комплексной функциональной верификации модулей системного обмена микропроцессорных вычислительных комплексов

ВВЕДЕНИЕ..
ГЛАВА 1. ОБЗОР И АНАЛИЗ МЕТОДОВ И СРЕДСТВ ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ МИКРОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ.
1.1. ПОНЯТИЕ ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ И АНАЛИЗ ПРОБЛЕМНОЙ ОБЛАСТИ
1.2. МЕТОДЫ ДИНАМИЧЕСКОЙ ВЕРИФИКАЦИИ
1.3. Методы формальной верификации
. 3.1 Проверка эквивалентности
1.3.2 Дедуктивны й анализ.
1.3.3 Проверка модели.
1.4. Обзор методов, применяемых при функциональной верификации
МИКРОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ комплексов
1.5. Обзор методов спецификации моделей микропроцессорных вычислительных
комплексов.
1.6. ОБЗОР ТЕХНОЛОГИЙ ПОСТРОНИЯ ТЕСТОВЫХ СИСТЕМ.
. б. 1 Технология СТЕБК
1.6.2 Универсальная технология верификации
1.7. Анализ текущего состояния
1.8. Введение Iюнятия модулей системного обмена.
1.9. Постановка задачи
ГЛАВА 2. РАЗРАБОТКА МЕТОДОВ И АЛГОРИТМОВ ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА.
2.1. Разработка концептуальной модели модулей системного обмена.
2.2. Разработка автоматной модели модулей системного обмена.
2.3. Разработка методов и алгоритмов динамической верификации модулей
системного обмена
2.3.1 Метод генерации воздействий для динамической верификации .модулей системного
2.3.2 Метод организации устройства проверки для динамической верификации модулей
системного обмена. Алгоритм сравнения реакций верифицируемой ИТ.модели и эталонной модели
2.4. Разработка и адаптация методов и алгоритмов формальной верификации модулей системного обмена
2.4.1 Классификация требований к функционированию МСО.
2.4.2 Разработка семантической модели МСО.
2.4.3 Адаптация методов редукции числа состояний
Выводы по главе
ГЛАВА 3. РАЗРАБОТКА МЕТОДИКИ КОМПЛЕКСНОЙ ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА МИКРОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ
3.1. Разработка методики и программного обеспечения построения тестовых систем
ДЛЯ ДИНАМИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА
3.1.1 Разработка правил адаптации компонентов моделирующих комплексов для
динамической верификации МСО.
3.1.2 Применение дополнительных механизмов проверки.
3.1.3 Разработка архитектуры тестовой системы.
3.1.4 Выбор и обоснование технологии построения тестовых систем.
3.1.5 Разработка методики построения тестовых систем
3.1.6 Разработка средств автоматизации методики построения тестовых систем
3.1.7 Разработка подхода к оценке полноты покрытия.
3.2. РАЗРАБОТКА МЕТОДИКИ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА.
3.2.1 Выбор и обоснование способа формализации спецификаций МСО
3.2.2 Выбор и обоснование системы автоматизации метода проверки модели.
3.2.3 Разработка транслятора диаграмм состояний ОМЬ во входной язык
верификатора КМУ
3.3. Разработка методики комплексюй функциональной верификаии модулей
СИСТЕМНОГО ОБМЕНА.1
Выводы по главе
ГЛАВА 4. АПРОБАЦИЯ МЕТОДИКИ КОМПЛЕКСНОЙ ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА
4.1. Функциональная верификация хостконтроллера МВК Эльбруса
4.1.1 Краткое описание хостконтроллера
4.1.2 Анализ спецификации хостконтроллера.
4.1.3 Разработка и формальная верификация автоматной модели хостконтроллера на
уровне базовых транзакций.
4.1.4 Динамическая верификация хостконтроллера
4.1.5 Результаты комплексной функциональной верификации хостконтроллера.
4.2. РЕЗУЛЬТАТЫ ПРИМЕНЕНИЯ МЕТОДИКИ ПРИ ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА МИКРОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ
Выводы но главе
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ