Оглавление
Введение
Глава 1. Обзор методов верификации аппаратных и программных компонен тов вычислительных систем
1.1 Основные термины и определения
1.2 Место верификации при проектировании вычислительных систем
1.3 Методы верификации
1.3.1. Методы верификации на основе темпоральных логик
1.3.2. Методы на базе автоматных и графовых моделей.
1.3.3. Алгебраические методы
1.3.4 Методы верификации программ
1.4 Современные тенденции в методологии верификации аппаратных и программных компонентов БС.
1.5 Вычислительные процессы в логических схемах и программах
1.5.1. Проектирование вычислительных процессов
1.5.2. Вычислительный процесс.
1.5.3 Верификация вычислительных процессов
1.6 Постановка задач исследования.
Выводы по главе 1.
Глава 2. Разработка моделей вычислительного процесса
2.1 Разработка универсальной модели функциональнологической схемы
2.2 Алгебротопологическая модель последовательностной схемы в виде комплексного кубического покрытия.
2.3 Итерационнорекурсивная модель вычислительных процессов в виде комплексных кубических покрытий
2.3.1 Структурирование пррамм и вычислительных процессов
2.3.2 Концептуальная итерационнорекурсивная модель 1ЯМО
2.3.3 Итерационнорекурсивные покрытия
2.4 Модель и примитивы вершин циклических вычислительных процессов
2.4.1 Итерационнорекурсивная модель вычислительного процесса.
с двумя контурами обратной связи
2.4.2 Примитивы вырожденных покрытий вершин ГАМ.
2.4.3 Построение комплексного покрытия для циклических
вычислительных процессов
2.4.4 Машинноориентированное описание вершин и дуг ГАМ.
Выводы по главе 2.
Глава 3. Разработка методов верификации вычислительных процессов
3.1 Верификации моделей разного уровня методом построения графа переходов схемы
3.2. Верификация моделей одного уровня абстракции.
3.2.1 Методы верификации цифровых схем
3.3 Разработка методов верификации программ.
3.3.1 Метод функциональной верификации программ на основе.
алгсбротопологичсского подхода.
3.3.2. Кубические покрытия логических условий вычислительных.
процессов и программ.
3.4. Методы верификации вычислительных процессов.
3.4.1 Пример верификации ациклического процесса
Выводы по главе 3
Глава 4. Разработка структуры и алгоритмов учебноисследовательской САПР верификации вычислительных процессов.
4.1 Структура У И САПР ВВП ФЛС. Базы знаний и данных при построении моделей ФЛС
4.2 База Знаний и База данных У И САПР ВВП ФЛС.
4.2.1 Структура, формирование и редактирование Базы Знаний.
4.2.2 Разработка алгоритмов взаимодействия БД и БЗ. Протокол.
обмена данными
4.3 Машинноориентированные алгоритмы реализации операций пересечения и поглощения кубов комплексного покрытия.
4.4 Входной язык описания схемы.
4.5 Разработка алгоритма построения моделей цифровых устройств в виде комплексного кубического покрытия
4.6 Разработка алгоритмов верификации.
4.7 Обобщенная структура УИ САПР ВВП
Выводы по главе 4.
Заключение.
Литература
- Київ+380960830922