"В книге систематически изложены основные результаты, полученные авторами в следующих областях: временной анализ цифровых КМОП-схем с учетом логических ограничений; статистический временной анализ; логический и логико-временной анализ помехоустойчивости цифровых КМОП-схем, алгоритмы характеризации элементов КМОП СБИС. Основой большинства предлагаемых здесь методов является анализ логики работы цифровой КМОП-схемы и использование ее в сочетании с методами статического временного анализа Известные из литературы модели логического анализа формализованы и адаптированы к специфике цифровых КМОП-схем. Показана эффективность разработанных методов и их высокий потенциал при проектировании КМОП СБИС. Для научных работников и инженеров, специализирующихся в области методов математического моделирования САПР СБИС, а также для студентов и аспирантов соответствующих специальностей."
Author(s): Стемпковский А.Л.
Publisher: Наука
Year: 2007
Language: Russian
Commentary: 1181371687
Pages: 223
Стемпковский А.Л. и др. Методы логического и логико-временного анализа цифровых КМОП СБИС - 2007 ......Page 1
ОГЛАВЛЕНИЕ ......Page 3
Список сокращений ......Page 5
Введение ......Page 7
Глава 1. Основные понятия, термины, определения ......Page 10
1.1. Булева алгебра ......Page 11
1.2. Граф булевых функций ......Page 14
1.3. Отношение порядка в булевой алгебре ......Page 16
1.4. Двузначная булева алгебра (алгебра логики) ......Page 17
1.5. Разложение Шеннона ......Page 21
1.6. Диаграммы двоичных решений ......Page 22
1.7. Классические канонические представления ......Page 25
1.8. Логическая схема ......Page 26
1.9. Конечный автомат ......Page 29
1.10. КМОП-схема ......Page 30
1.11. Подсхемы элементов, связанных по постоянному току ......Page 36
1.12. DCCC-граф ......Page 47
1.13. Верхняя и нижняя цепи КМОП-подсхемы ......Page 49
1.14. Стандартный КМОП-вентиль ......Page 53
1.15. Трехзначная логика ......Page 57
1.16. Четырехзначная логика ......Page 58
1.17. Алгебра атрибутов ......Page 60
Глава 2. Анализ логических корреляций в цифровых схемах ......Page 62
2.1. Анализ логических корреляций в схеме на основе метода импликаций ......Page 64
2.2. Преимущества и недостатки метода импликаций ......Page 72
2.3. Метод резолюций, модифицированный для анализа логики цифровой КМОП-схемы ......Page 73
2.4. Редукция системы логических ограничений на основе обобщенного метода исключений Гаусса ......Page 77
2.5. Модифицированная генерация логических импликаций в методе резолюций ......Page 80
2.6. Гиперграф логических ограничений КМОП-схемы ......Page 81
2.7. Списки импликаций в методе резолюций ......Page 88
2.8. Распространение логических импликаций в методе резолюций ......Page 92
2.10. Экспериментальные результаты применения метода резолюций ......Page 93
Глава 3. Методы временного и логико-временного анализа цифровых КМОП-схем ......Page 95
3.1. Обнаружение ложных путей в статическом временном анализе на основе логических импликаций ......Page 96
3.2. Временной анализ для межсоединений ......Page 106
3.3. Статистический временной анализ ......Page 115
Глава 4. Анализ помех в цифровых КМОП-схемах, основанный на методе резолюций ......Page 128
4.1. Метод резолюций, модифицированный для анализа помех цифровой КМОП-схемы ......Page 129
4.2. Анализ помехоустойчивости цифровых схем типа «домино» ......Page 133
4.3. Анализ помех, влияющих на задержку в цифровых СБИС ......Page 143
5.1. Обзор современных стандартов проектирования библиотек элементов СБИС ......Page 154
5.2. Характеризация логических элементов ......Page 159
5.3. Характеризация элементов памяти ......Page 165
5.4. Статический временной анализ на основе моделей CCSM / ECSM ......Page 169
5.5. Электрическое моделирование на основе моделей CCSM / ECSM ......Page 177
5.6. Реализация и практические результаты ......Page 182
Приложение. Современные стандарты проектирования библиотек элементов СБИС ......Page 188
П.2. Описание используемых возможностей формата ......Page 189
П.З. Формат NLDM ......Page 192
П.4. Формат CCS ......Page 198
П.5. Формат ECSM ......Page 205
Литература ......Page 212
Обложка ......Page 223
