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

цифровой обработки С. Гаврилов Методы анализа логических корреляций для САПР цифровых КМОП СБИС ТЕХНОСФЕРА Москва 2011 УДК 681. 3 ББК 32. 97 Г 12 Рецензент: д. т. н. А. Л. Глебов Гаврилов С. Г 12 Методы анализа логических корреляций для САПР цифровых КМОП СБИС Москва: Техносфера, 2011 – 136 c. ISBN 9785948362809 В книге рассматриваются методы и алгоритмы анализа логических корреляций в цифровых КМОПсхемах. Показаны возможности использования логических корреляций для повышения качества резуль татов проектирования в анализе помехоустойчивости и быстродействия схем. Книга основана на результатах, полученных в Учреждении Российской академии наук Институте проблем проектирования в микроэлектронике РАН (ИППМ РАН). Материал, изложенный в книге, является основой лекционного курса для магистров факультета ЭКТ Московского института электронной техники, обучающихся по направлению «Электроника и микроэлектро ника», а также предназначен для научных работников и инженеров, специализирующихся в области методов математического моделирова ния САПР СБИС. УДК 681. 3 ББК 32. 97 © 2011, Гаврилов С. В. © 2011, ЗАО «РИЦ «Техносфера», оригиналмакет, оформление ISBN 9785948362809  Ñîäåðæàíèå Введение 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.