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

Серия: "Мир цифровой обработки"

В книге рассматриваются методы и алгоритмы анализа логических корреляций в цифровых КМОП-схемах. Показаны возможности использования логических корреляций для повышения качества результатов проектирования в анализе помехоустойчивости и быстродействия схем.
Книга основана на результатах, полученных в Учреждении Российской академии наук Институте проблем проектирования в микроэлектронике РАН (ИППМ РАН).
Материал, изложенный в книге, является основой лекционного курса для магистров факультета ЭКТ Московского института электронной техники, обучающихся по направлению "Электроника и микроэлектроника", а также предназначен для научных работников и инженеров, специализирующихся в области методов математического моделирования САПР СБИС.

Содержание:

Введение...... 5 Глава 1. Основные понятия, термины, определения...... 7 1. 1. Булева алгебра...... 7 1. 2. Формирование графа булевых функций...... 11 1. 3. Двузначная булева алгебра (алгебра логики)...... 13 1. 4. Бинарные диаграммы решений (BDD)...... 19 1. 5. Логическая схема...... 24 Упражнения...... 27 Глава 2. Графовые модели КМОП-схем...... 28 2. 1. Формализация модели КМОП-схемы...... 28 2. 2. Обобщенный метод декомпозиции КМОП-схемы с разветвленными цепями земли и питания...... 36 2. 3. Формирование многоуровневой графовой модели КМОП-схемы...... 47 2. 4. Структурная интерпретация графа булевых функций в классе стандартных КМОП-вентилей...... 57 Упражнения...... 63 Глава 3. Анализ помехоустойчивости цифровых схем: основные понятия...... 66 3. 1. Консервативный метод суммарного влияния узлов-агрессоров на узел-жертву...... 66 3. 2. Типы шумов в цифровой схеме (Low Overshoot, High Undershoot, Low Undershoot, High Overshoot, Falling Slow, Falling Fast, Rising Slow, Rising Fast)...... 69 3. 3. Учет логических корреляций в анализе шумов...... 72 Упражнения...... 73 Глава 4. Анализ логических корреляций в схеме на основе метода импликаций...... 74 4. 1. Понятие простой логической импликации...... 74 4. 2. Операции над списками простых логических импликаций...... 76 4. 3. Прямое распространение простых логических импликаций...... 79 4. 4. Боковое распространение простых логических импликаций...... 81 4. 5. Преимущества и недостатки метода импликаций...... 85 Упражнения...... 86 Глава 5. Анализ логических корреляций в схеме на основе метода резолюций...... 88 5. 1. Адаптация метода резолюций для анализа логики цифровой КМОП-схемы...... 88 5. 2. Метод резолюций, модифицированный для анализа помех цифровой КМОП-схемы...... 97 5. 3. Формирование характеристических диаграмм решений при анализе помех...... 98 Глава 6. Анализ влияния шумов на быстродействие схемы...... 114 6. 1. Анализ помех, влияющих на задержку, в цифровых СБИС...... 114 6. 2. Логические ограничения и анализ помехоустойчивости...... 119 6. 3. MWIS(МВНН) – метод анализа влияния шумов на быстродействие...... 120 Глава 7. Особенности анализа динамических КМОП-схем...... 122 7. 1. Генерация дополнительных ограничений для «домино»-схем...... 122 7. 2. Анализ помехоустойчивости «домино»-схем...... 128 Приложение А...... 132 Список литературы...... 132

Издательство: "РИЦ "Техносфера"" (2011)

ISBN: 9785948362809