Методы анализа логических корреляций для САПР цифровых КМОП СБИС

Содержание книги "Методы анализа логических корреляций для САПР цифровых КМОП СБИС"

Введение
Глава 1. Основные понятия, термины, определения
1.1. Булева алгебра
1.2. Формирование графа булевых функций
1.3. Двузначная булева алгебра (алгебра логики)
1.4. Бинарные диаграммы решений (BDD)
1.5. Логическая схема
Упражнения
Глава 2. Графовые модели КМОП-схем
2.1. Формализация модели КМОП-схемы
2.2. Обобщенный метод декомпозиции КМОП-схемы с разветвленными цепями земли и питания
2.3. Формирование многоуровневой графовой модели КМОП-схемы
2.4. Структурная интерпретация графа булевых функций в классе стандартных КМОП-вентилей
Упражнения
Глава 3. Анализ помехоустойчивости цифровых схем: основные понятия
3.1. Консервативный метод суммарного влияния узлов-агрессоров на узел-жертву
3.2. Типы шумов в цифровой схеме (Low Overshoot, High Undershoot, Low Undershoot, High Overshoot, Falling Slow, Falling Fast, Rising Slow, Rising Fast)
3.3. Учет логических корреляций в анализе шумов
Упражнения
Глава 4. Анализ логических корреляций в схеме на основе метода импликаций
4.1. Понятие простой логической импликации
4.2. Операции над списками простых логических импликаций
4.3. Прямое распространение простых логических импликаций
4.4. Боковое распространение простых логических импликаций
4.5. Преимущества и недостатки метода импликаций
Упражнения
Глава 5. Анализ логических корреляций в схеме на основе метода резолюций
5.1. Адаптация метода резолюций для анализа логики цифровой КМОП-схемы
5.2. Метод резолюций, модифицированный для анализа помех цифровой КМОП-схемы
5.3. Формирование характеристических диаграмм решений при анализе помех
Глава 6. Анализ влияния шумов на быстродействие схемы
6.1. Анализ помех, влияющих на задержку, в цифровых СБИС
6.2. Логические ограничения и анализ помехоустойчивости
6.3. MWIS(МВНН) – метод анализа влияния шумов на быстродействие
Глава 7. Особенности анализа динамических КМОП-схем
7.1. Генерация дополнительных ограничений для «домино»-схем
7.2. Анализ помехоустойчивости «домино»-схем
Приложение А
Список литературы