Магазинов: 4, Цена: от 194 руб. посмотреть все

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

  My-Shop - 194 руб.   Book24 - 359 руб.   Буквоед - 359 руб.   Читай-Город - 359 руб.

  Литрес - 99 руб.

Введение......5Глава 1. Основные понятия, термины, определения......71.1. Булева алгебра......71.2. Формирование графа булевых функций......111.3. Двузначная булева алгебра (алгебра логики)......131.4. Бинарные диаграммы решений (BDD)......191.5. Логическая схема......24Упражнения......27Глава 2. Графовые модели КМОП-схем......282.1. Формализация модели КМОП-схемы......282.2. Обобщенный метод декомпозиции КМОП-схемы с разветвленными цепями земли и питания......362.3. Формирование многоуровневой графовой модели КМОП-схемы......472.4. Структурная интерпретация графа булевых функций в классе стандартных КМОП-вентилей......57Упражнения......63Глава 3. Анализ помехоустойчивости цифровых схем: основные понятия......663.1. Консервативный метод суммарного влияния узлов-агрессоров на узел-жертву......663.2. Типы шумов в цифровой схеме (Low Overshoot, High Undershoot, Low Undershoot, High Overshoot, Falling Slow, Falling Fast, Rising Slow, Rising Fast)......693.3. Учет логических корреляций в анализе шумов......72Упражнения......73Глава 4. Анализ логических корреляций в схеме на основе метода импликаций......744.1. Понятие простой логической импликации......744.2. Операции над списками простых логических импликаций......764.3. Прямое распространение простых логических импликаций......794.4. Боковое распространение простых логических импликаций......814.5. Преимущества и недостатки метода импликаций......85Упражнения......86Глава 5. Анализ логических корреляций в схеме на основе метода резолюций......885.1. Адаптация метода резолюций для анализа логики цифровой КМОП-схемы......885.2. Метод резолюций, модифицированный для анализа помех цифровой КМОП-схемы......975.3. Формирование характеристических диаграмм решений при анализе помех......98Глава 6. Анализ влияния шумов на быстродействие схемы......1146.1. Анализ помех, влияющих на задержку, в цифровых СБИС......1146.2. Логические ограничения и анализ помехоустойчивости......1196.3. MWIS(МВНН) – метод анализа влияния шумов на быстродействие......120Глава 7. Особенности анализа динамических КМОП-схем......1227.1. Генерация дополнительных ограничений для «домино»-схем......1227.2. Анализ помехоустойчивости «домино»-схем......128Приложение А......132Список литературы......132