Введение
Глава 1. Анализ методов разработки геометрии структурных компонентов 12
1.1 Тенденции развития математических и программных средств . 14
1.2 Разработка программного обеспечения с использованием декларативного программирования и формальных методов 18
1.3 Декларативное программирование в актуальных системах автоматического проектирования топологий интегральных схем . 25
1.4 Потенциальные области применения декларативного программирования в системах автоматического проектирования интегральных схем 32
1.5 Постановка цели и задач исследования 36
Глава 2. Математическое обеспечение вычислительного комплекса автоматического вывода геометрических ограничений 39
2.1 Элементы логики высказываний и теории выполнимости булевых функций 40
2.1.1 DPLL алгоритм 43
2.1.2 CDCL алгоритм 44
2.1.3 Метод поиска стабильных моделей 46
2.1.4 Метод перечисления решений задачи SAT 48
2.2 Элементы теории графов, используемые в работе 52
2.3 Задача минимизации логических функций 58
2.4 Выводы 61
Глава 3. Разработка вычислительного комплекса вывода геометрических ограничений 64
3.1 Алгоритм вывода геометрических ограничений 64
3.2 Модель данных 66
3.3 Алгоритм получения разрешенных топологий 70
3.3.1 Построение задачи SAT 75
3.3.2 Процедура перечисления всех разрешенных топологий . 78
3.4 Поиск классов топологий 80
3.5 Построение компактного описания правил на границах 84
3.6 Анализ и сравнение различных вариантов ограничений на границах 86
3.7 Выводы 88
Глава 4. Применение метода автоматического вывода дополнительных геометрических ограничений 91
4.1 Оборудование и ПО 92
4.1.1 Технологический процесс FreePDK15 93
4.1.2 Библиотека стандартных ячеек NanGate OCL15 95
4.2 Вывод правил 98
4.3 Валидация результатов 99
4.4 Выводы 101
Заключение 102
Литература 107
Приложение А. Актуальные проблемы разработки нанометровых топологий компонентов интегральных схем 128
