Отзыв ведущей организации (Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов)

ОТ ведущей организации па диссертационную работу Быкова Сергея Анатольевича кИсследоваиие и разработка методо~ ~~~~~~~~~~~кого вывода геометрических ограничений с использованием декларативного программирования и формальных методовя по специальности 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компькзтерных сетей. Актуальность темы диссертации. Современная индустрия сталкивается с проблемой роста сложности актуальных оптимизационных задач. В качестве примера подобной задачи может быть рассмотрена проблема автоматического синтеза топологий сгруктурных компонентов интегральных схем — стандартных ячеек.

Наблюдается разрыв между практическими возможностями технологии изготовления интегральных схем, ростом сложности проектируемых изделий и низкой степенью автоматизации ранних этапов разработки библиотек стандартных элементов, где разработка топологии элементов составляет около половины всех требуемых затрат. Диссертационная работа Быкова С.А. посвящена разработке вычислительного комплекса, позволяюн!его формально выводить дополнительные геометрические ограничения на границах структурных компонентов. что позволяет сократить цикл разработки топологии стандартных элементов.

1'.о. тема диссертации является актуальной и направленной на решение задачи, имеющей существенное значение при разработке математического и программного обеспечения вычислительных машин, комплексов и компьютерных сетей. Структура н содержание работы. В первой главе диссертации проведен подробный анализ современных методов решения задач большой размерности. В частности, !тассмш!эивактгся актуальные методы рен~ения подобных з~д~~, о~~о~аниме иа использовании дскларатишюго программирования и формальных методов.

Вторая глава диссертации посвящена разработке математического обеспечения прсдлож«нного вычислительного комплекса с использованием методов решения задачи выполнимости булевых формул и перечисления полных подграфов графа. Т1эстья глава диссертации посвящена созданию прототипа вычислительного комплекса авгоматического вывода геометрических ограничений на границах структурных ~~~~~~~нтов ограниченной плошал~. В четвертой главе диссертации приведены экспериментальные результаты применения разработашюго вычислительного комплекса в применении к открытого технологического процесса РгсеРОК!бпш и открытой библиотеки Хапба!е. В заключении диссертации приведен перечень результатов и научных положений работы, вывод не~~ ~юй со не хат«лем.

Научили новизна результатов работы заключается в следующем: 1, !1редложсн алгоритм построения всех разрешенных топологий в ограниченной площади путем представления геометрических ограничений в виде булевых выражений и последующего решения задачи А1 1БЛТ. 2, Разработан алгоритм поиска классов геометрий структурных компонентов ограниченной площади, не приводящих к нарушениям заданных ограничений при любом разрешенном размещении.

заключающийся в построении графа с описанием совместных и несовместных ~ еометрий и перечислении всех максимальных полных подграфов. 3. Разработан алгоритм выбора субоптимальных геометрических ограничений на границах структурных компонентов. построении ограниченного множества элементов, анализе параметров их качества и сравнительном анализе качества компонентов с учетом рашых вариантов ограничений на границах, позволивший сократить площадь тестового набора структурных компонентов на 28.2'о.

Обоснованность и достоверность полученных в диссертации результатов об«спечивается непротиворечивостью теоретических выводов с результатами проведенных экспериментов. Реализации и шгедреиие, Следует отметить, что результаты диссертационной работы, вьпюлненной Быковым С. Л., внедрены в АО «Интел А1О» (акт внедрения от 22 декабря 20! 6)„что несомненно говорит об их существенной практической значимости. Замечании по диссертации.

В первом абзаце Главы 4 1стр.913 обещано обсуждение результатов экспериментов. На наш Взгляд, обсуждение — неполное. Насколько практически интересен слу ий с 5 правилами и 10 ячейками7 Диссертант отмечает такой недостаток формальных методов, как большая размерность практически интересных для решения проблем. Поскольку технология внедрена в Интел, интересно было бы узнать мнение диссертанта о месте разработанного прш-раммного комплекса в обц!См маршруте проектирования, Каковы пределы масштабирования предложенной технологии'? Также интересно было бы узнать мнение диссертанта о перспективных направлениях развития предложенной техно.!огни.

2. В Закшочении утверждается 1стр.106), что «Использование разработанного ВычислительнОГО комплскса позволяет сократить разрыв между зтапамн ;юГнч! Око!О и физгп!еско! !з син!Сза ... стандартных ячсскя. На наш Взгляд, пред;юженный метод позво1гяет всего лишь компенсировать эффект снижения эффективности технологии оптической коррекции, что приводит к проблемам при масштабировании шзементов библиотек для технологий начиная с 22 пт. 3. На стр.22 утверждается: ВСтепени покрытия кода, условия и вызовов были улучшены на 14.2 — 120.3'Ъ, 2.3 — 167.7 Ъ и 16.9-135.2;4, соответственно». Непонятно, каким образом покрытие кода превысило 100;ь.

4. Миожествснныс опечатки в тексте диссертации. На стр,20 авторефераш ошибочно повторен рис.2, Очевидно, здесь должен быть рис.3.1 из текста диссертации. Од!шко Отмечснны1*. замечания нс явля!Отея принципиаз!ьными и не снижак1т общей положи!с:!ьной оценки раб!о! ы. Выводы. Авторсфера г дпссериции соответствует ее содерзканию. Основныс результаты раооты опубликованы в перечне рецензируемых научных изданий и апрооированы на 1гаучно-тсхш1ческнх конфс1зснциях, Диссертация является законченной научно-квалификационной работой. в которой получены новые теоретические и практические результаты, вносящие существенный тсорети !Вский и практический вклад в разработку вычислительных комплексов, испсс!ьзуемых при проектировании перспективных сверхбольших интегральных схем. !'абота соответствует требованиям Положения, предъявляемых к диссертациям на соискание ученой степени кандидата технических наук, а ее автор, Быков Сергей Анатольевич, заслуживает присуждения ему ученой степени кандидата технических наук по 3 спепиальности 05.13.!! — «Математическое и программное обеспечение вычислительных машин.

комплексов и компьютерных сетей». Отзыв рассмотрен. обсужден и одобрен на заседании в отделе топологического проектирования и синтеза ФГУ Ф1!Ц НИИСИ РАН, Отзыв подготовили: Евлампиев Б.Е, Заведуюн!и Й отделом топологического проектирования Моисеев А,С Ведущий научный сотрудник, Кандидат технических наук, доцент 20 ноября 2017 г.

ФГУ ФНЦ НИИСИ РАН 117218, Россия, Москва, Нахимовский просп,, 36, к. 1 Телефон/факс +7 (495) 718-21-10„+7 (499) 124-97-44 й): й ~В 'вйлй. .