Введение
Глава 1. Процесс проектирования СБИС и его проблемы 13
1.1. Определение базовых понятий 13
1.2. Традиционный процесс разработки систем на кристалле 16
1.3. Современный процесс разработки систем на кристалле 20
1.4. Проблемы современного процесса разработки систем на кристалле 23
1.5. Постановка задачи 28
Глава 2. Анализ и выбор форматов, использующихся при создании спецификаций 30
2.1. Общие подходы 30
2.2. Выбор форматов для анализа 33
2.3. Анализ форматов на основе выбранных критериев 39
2.3.1. Применение форматов при проектировании архитектуры вычислительных систем 39
2.3.2. Сложность создания спецификаций 44
2.3.3. Возможности верификации данных 46
2.3.4. Трансляция на формальные языки 53
2.3.5. Представление архитектуры систем на кристалле 58
2.4. Результаты анализа форматов 66
2.5. Выводы по главе 2 69
Глава 3. Разработка методов 72
3.1. Общий подход 72
3.2. Методы создания и использования поведенческих спецификаций 82
3.3. Методы создания и использования структурных спецификаций 99
3.4. Выводы по главе 3 111
Глава 4. Применение методов создания и использования архитектурных спецификаций систем на кристалле 112
4.1. Описание реализации предложенных методов в виде программной системы ACES 112
4.1.1. Реализация методов создания и использования поведенческих спецификаций систем на кристалле 114
4.1.2. Реализация методов создания 121
4.1.3. Инфраструктура системы ACES и использования структурных спецификаций систем на кристалле 125
4.2. Описание реализации предложенных методов в виде программной системы в концерне «Вега» 132
4.3. Выводы по главе 4 136
Заключение 137
Приложение А. Акты о внедрении результатов
