Введение
Глава 1. Анализ существующих методов расчета задержек на логическом уровне 12
1.1. Модели статического временного анализа для расчета задержек на логическом уровне 12
1.2. Влияние вариаций схемных параметров на работоспособность проектируемых микросхем 25
1.3. Статистический статический временной анализ 28
1.4. Классические интервальные методы анализа 30
1.5. Интервалы булевых функций 32
1.6. Известные методы анализа задержек с учетом логики работы схемы 33
1.7. Известные методы анализа задержек с учетом одновременного переключения входов 38
1.8. Выводы 42
Глава 2. Разработка методов мультиинтервального анализа быстродействия с учетом логических корреляций 44
2.1. Прообразы мультиинтервального подхода 44
2.2. Интервалы входных векторов и задержек распространения сигналов 47
2.3. Постановка задачи мультиинтервального моделирования задержек 52
2.4. Разработка метода распространения интервалов вдоль схемы 54
2.5. Разработка аппарата характеристических функций интервалов 56
2.6. Выводы 58
Глава 3. Разработка методов и моделей для интервальных оценок задержек вентилей с учетом одновременного переключения входов 60
3.1. Исследование известных моделей задержки с учетом одновременного переключения входов 60
3.2. Исследование погрешности квадратичной и кубической аппроксимации задержки с учетом одновременного переключения 71
3.3. Разработка модели задержки вентиля на основе аппроксимации коррекционной разницы 85 3.4. Разработка алгоритма поиска критического сдвига для нахождения минимального фронта 89
3.5. Разработка модели минимальной длительности выходного фронта на основе аппроксимации коррекционной разницы 95
3.6. Разработка алгоритма моделирования сложных элементов на основе анализа последовательно-параллельной структуры 99
3.7. Выводы 102
Глава 4. Программная реализация и результаты численных экспериментов 104
4.1. Маршрут характеризации и мультиинтервального моделирования СФ-блоков при заказном проектировании 104
4.2. Маршрут характеризации и логического моделирования схем с учетом одновременного переключения входов 106
4.3. Входные и выходные данные программ мультиинтервального моделирования 109
4.4. Выбор режимов мультиинтервального моделирования 117
4.5. Выводы 121
Заключение 122
Перечень сокращений
