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

Читать фрагмент

книга

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

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

Форматы: PDF

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

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

Год: 2011

Место издания: Москва

ISBN: 978-5-94836-280-9

Страниц: 136

Артикул: 21202

Электронная книга

99 ₽

Купить и скачать

Содержание

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

Введение

Глава 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. Анализ помехоустойчивости «домино»-схем

Приложение А

Список литературы

Отрывок из книги

22Глава 1. Основные понятия, термины, определения«граф» понимать обыкновенный граф [13—17], в котором изначаль-но запрещены повторяющиеся дуги. Однако в САПР-приложениях обычно под понятием «граф» подразумевается мультиграф, где по-вторяющиеся ребра и дуги разрешены, если это не оговаривается особо.Пример несокращенной и сокращенной диаграмм двоичных решений для одной и той же функции изображен на рис. 1.6 а и б, соответственно.Известно, что ROBDD является каноническим представлением функции, т. е. для заданной булевой функции при заданном поряд-ке переменных любые две сокращенные упорядоченные бинарные диаграммы решений будут изоморфными графами.Системы из нескольких логических функций могут быть представлены общей сокращенной упорядоченной BDD (Shared ROBDD) — BDD с несколькими корневыми вершинами [15].Обобщение BDD на случай более двух различных терминаль-ных вершин называют многотерминальной бинарной диаграммой решений (MTBDD — multi-terminal binary decision diagram) [16].01111000á)00000011111a)1x3x3x3x2x2x2x1x1Рис. 1.6. Пример несокращенной (а) и сокращенной (б) диаграмм двоичных решений для функции (x1+x2)·x3

Внимание!
При обнаружении неточностей или ошибок в описании книги "Методы анализа логических корреляций для САПР цифровых КМОП СБИС (автор Сергей Гаврилов)", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!

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

Содержание

Отрывок из книги

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