Содержание
Введение.
Глава 1. Обзор и формализация основных моделей логического и логиковременного анализа
1.1. Основные понятия, термины, определения.
1.2. Формализация модели КМОПсхемы.
1.3. Обобщенный метод декомпозиции КМОПсхемы с разветвлнными цепями земли и питания
1.4. Формирование многоуровневой графовой модели КМОПсхемы.
1.5. Структурная интерпретация графа булевых функций в классе стандартных КМОПвентилсй.
1.6. Обобщение булевой алгебры для многозначной логики
1.7. Разработка метода рскурсивновычисляемых атрибутов для анализа числовых характеристик ИС.
1.8. Выводы.
Глава 2. Анализ логических корреляций в цифровых схемах.
2.1. Анализ логических корреляций в схеме на основе метода импликаций
2.2. Преимущества и недостатки метода импликаций
2.3. Адаптация метода резолюций для анализа логики цифровой КМОПсхемы
2.4. Редукция системы логических ограничений на основе обобщенного метода исключений Гаусса
2.5. Модифицированная генерация логических импликаций в методе резолюций
2.6. Разработка графовой модели логических ограничении КМОПсхемы
2.7. Разработка алгоритма генерации списков импликаций в методе 9 резолюций.
2.8. Разработка алгоритма распространения логических импликаций в методе резолюций ИЗ
2.9. Полный алгоритм генерации ограничений на основе метода
резолюций.
2 Экспериментальные результаты применения метода резолюций
2 Выводы
Глава 3. Разработка методов временного и логиковременного анализа цифровых КМОПсхем
3.1. Обнаружение ложных путей в статическом временном анализе на основе логических импликаций
3.2. Разработка алгоритмов быстрого анализа задержек для межсоединений.
3.3. Разработка алгоритмов статистического временного анализа с учетом вариаций фронтов и нагрузок.
3.4. Выводы.
Глава 4. Анализ помех в цифровых КМОПсхемах, основанный на методе резолюций.
4.1. Метод резолюций, модифицированный для анализа помех цифровой КМОПсхемы
4.2. Анализ помехоустойчивости цифровых схем типа домино
4.3. Анализ помех, влияющих на задержку в цифровых СЬИС.
4.4. Выводы.
Глава 5. Разработка методов многоуровневого анализа быстродействия цифровых КМОП СБИС
5.1. Обзор современных стандартов проектирования библиотек элементов СБИС
5.2. Разработка эффективных алгоритмов характеризации логических элементов.
5.3. Разработка эффективных алгоритмов характеризации элементов памяти
5.4. Статический временной анализ на основе ССБ ЕС8М моделей
5.5. Разработка алгоритмов электрического моделирования на основе ССБ
ЕСБМ моделей вентиля
5.6. Реализация и практические результаты.
5.7. Выводы.
Глава 6. Характеристика программного обеспечения и экспериментальные результаты.
6.1. Состав разработанного программного комплекса.
6.2. Экспериментальные результаты по применению алгоритмов анализа и генерации логических ограничений
6.3. Экспериментальные результаты по применению логических ограничений для анализа ложных путей
6.4. Экспериментальные результаты по анализу задержек в межсоединениях
6.5. Экспериментальные результаты по статистическому анализу быстродействия
6.6. Результаты численных экспериментов по анализу помех с использованием метода резолюций.
6.7.Результаты анализа помех для доминосхем
6.8. Результаты анализа помех, влияющих на задержку.
6.9. Реализация методов многоуровневого моделирования бысгродействия
и практические результаты.
6 Выводы
Заключение
Список литературы
- Київ+380960830922