Автореферат (1090533), страница 5
Текст из файла (страница 5)
Показана практическая эффективность использования формальных методов для решения многопараметрических задач оптимизации. Анализ современного состояния систем автоматизации проектирования микроэлектроники продемонстрировал практическую значимость разработки вычислительного комплекса автоматического построения геометрических ограничений на границах структурных компонентов с использованием декларативного программирования и формальных методов.2. В результате проведенных исследований обоснована возможность автоматического вывода геометрических ограничений на основе решения задачи выполнимости булевых функций.3.
Предложен алгоритм построения геометрических ограничений на границах структурных компонентов ограниченной площади.4. Разработана процедура автоматического выбора субоптимального набора вспомогательных правил на основе автоматического синтеза структурных компонентов.5.
Реализован вычислительный комплекс, позволяющий автоматическивыводить субоптимальные геометрические ограничения на границах структурных компонентов. Для тестовой библиотеки из 10 структурных компонентов при использовании открытого технологического процесса FreePDK15было получено сокращение площади на 28.2%.6.
Результаты работы диссертационной работы докладывались на трехвсероссийских конференциях и одной международной.7. Разработанные алгоритмы и методы внедрены в АО «Интел А/О».8. По теме диссертации опубликовано 8 печатных работ, в том числе 6работы в ведущих рецензируемых печатных изданиях, рекомендованныхВАК для публикации основных научных результатов диссертации на соискание ученой степени кандидата наук. Одна работа размещена в цифровой библиотеке IEEE Xplore и индексирована в международной наукометрическойбазе данных Web of Science.23Публикации автора по теме диссертации1. Минимизация числа нежелательных топологий при проектированиистандартных ячеек / Рыженко Н.В., Сорокин А.А., Быков С.А., Талалай М.С.// Проблемы разработки перспективных микро- и наноэлектронных систем 2014.
Сборник трудов. — 2014. — № 1. — С. 121–136.2. Н.В. Рыженко, А.А. Сорокин, С.А. Быков. Синтез блоков памяти с использованием представления правил в виде булевых функций от топологических объектов // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов. — 2014. — № 1. — С. 127–132.3. Minimization of undesired layout patterns during standard cell synthesis /Ryzhenko N.V., Sorokin A.A., Talalay M.S., Bykov S.A. // Проблемы4. разработки перспективных микро- и наноэлектронных систем (МЭС).—2015. — no. 1. — P.
29.5. N.V. Ryzhenko, A.A. Sorokin, S.A. Bykov. Synthesis of memory units using a description of design rules via Boolean functions of layout objects // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС).— 2015. — no. 1. — Pp. 30–31.6. С.А. Быков, Н.В. Рыженко, А.А. Сорокин. Автоматический вывод дополнительных ограничений на границах стандартных ячеек // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС).
— 2016.— № 1. — С. 137–143.7. Н.В. Рыженко, А.А. Сорокин, С.А. Быков. Трассировка битовых элементов памяти с автоматическим построением ограничений на границах ячеек // Проблемы разработки перспективных микро- и наноэлектронных систем(МЭС). — 2016. — № 1. — С. 144–150.8. Быков С. А. Практические приложения задачи о выполнимости булевых формул // Т. 3: Информационные технологии и моделирование процессов в технике. — НИЦ ИНФРА-М, 2015.
— С. 77–79.9. S.A. Bykov, N.V. Ryzhenko, A.A. Sorokin. Automated Solution for Preventing Design Rules Violations at Abutment Stage for Standard Cells SynthesisFlow // 14th IEEE East-West Design & Test Symposium (EWDTS-2016). — IEEE,2016..