Главная » Просмотр файлов » Автореферат

Автореферат (1090533), страница 2

Файл №1090533 Автореферат (Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов) 2 страницаАвтореферат (1090533) страница 22018-01-18СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

Доказана эффективность применения формальных методов и декларативного применения для решения задач многопараметрической оптимизации большой размерности.2. Алгоритм перечисления множеств геометрических ограничений,предотвращающих нарушения указанных геометрических ограничений, возникающих при установке структурных компонентов ограниченной площадивстык друг к другу.3. Метод оценки качества полученных вспомогательных правил проектирования на границах структурных компонентов ограниченной площади, иалгоритм поиска множества правил, соответствующего заданным критериямкачества.4. Вычислительный комплекс «Вычислитель геометрических ограничений».Научная новизна:1.Предложен алгоритм построения всех разрешенных топологий вограниченной площади путем представления геометрических ограничений ввиде булевых выражений и последующего решения задачи AllSAT.2.Разработан алгоритм поиска классов геометрий структурныхкомпонентов ограниченной площади, не приводящих к нарушениям заданных ограничений при любом разрешенном размещении, заключающийся впостроении графа с описанием совместных и несовместных геометрий и перечислении всех максимальных полных подграфов.3.Разработан алгоритм выбора субоптимальных геометрическихограничений на границах структурных компонентов, построении ограниченного множества элементов, анализе параметров их качества и сравнительноманализе качества компонентов с учетом разных вариантов ограничений награницах, позволивший сократить площадь тестового набора структурныхкомпонентов на 28.2%.Практическая значимость диссертационной работы заключается вразработке и апробации метода автоматического вывода субоптимальныхдополнительных правил проектирования на базе заданных геометрическихограничений и описания архитектуры электронных компонентов.

Результатыработы внедрены в работу АО “Интел А/О”.Достоверность научных положений и выводов, полученных соискателем, подтверждается теоретическими выкладками и успешным промышленным внедрением.7Личный вкладВсе основные результаты получены автором лично. Постановка задачивыполнена совместно с научным руководителем. Автор принимал активноеучастие в разработке архитектуры, реализации, документации и тестировании программного обеспечения, внедрённого в АО «Интел А/О».Апробация работыОсновные результаты работы докладывались и обсуждались на: конференции «Гагаринские чтения» (г. Москва, 2015); конференции «Проблемыразработки перспективных микро- и наноэлектронных систем» (г.

Москва,2014; г. Москва, 2016); 14th IEEE East-West Design & Test Symposium (Yerevan, Armenia, 2016).ПубликацииОсновные результаты по теме диссертации изложены в 8 печатных изданиях, 6 из которых изданы в журналах, рекомендованных ВАК, 2 — в тезисах докладов.Содержание работыВо введении обосновывается актуальность исследований, проводимыхв рамках данной диссертационной работы, приводится обзор научной литературы по изучаемой проблеме, формулируется цель, ставятся задачи работы, сформулированы научная новизна и практическая значимость представляемой работы.Первая глава диссертации посвящена обзору актуальных проблем математического и программного обеспечения современных синтеза геометрийструктурных компонентов, в частности, на примере стандартных ячеек, используемых при проектировании СБИС.

Проведено исследование современных тенденций в развитии математического и программного обеспечения, атакже проведен анализ развития декларативных техник программированияпри решении актуальных задач синтеза геометрий.Природа традиционных задач оптимизации, решаемых в процессе разработки, изменилась — произошел переход к задачам большой размерности,включающим в себя множество различных параметров. Объемы временных итрудовых ресурсов, необходимых для разработки подобных проектов неуклонно растут. При этом в условиях современной экономики возможность быстро, с опережением конкурентов, вывести свой продукт на рынок, являетсякритичной.

Практический интерес представляют методы разработки, позволяющие найти решение, удовлетворяющее всем заданным ограничениям.Одним из способов сокращения временных расходов на разработкупродукта, удовлетворяющего всем заданным критериям качества, являетсяиспользование формальных методов и декларативного программирования.При таком подходе задача оптимизации формулируется в виде теоремы, которая затем доказывается при помощи вычислительных методов логического8вывода.

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

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

Ошибки разработки топологий стандартныхэлементов могут приводить к возникновению нарушений правил проектирования при формировании рядов ячеек.Пример такого нарушения показан на Рисунке 1: два элемента ИЛИ–НЕ2 установлены встык. Данный элемент спроектирован с учетом ограничения на минимальное расстояние между углами переходных отверстий. Награнице между двумя элементами (тонкая вертикальная пунктирная линия вцентре) образовалась запрещенная топология, выделенная жирной пунктирной линией.Рис.

1. Запрещенное размещение элементов ИЛИ–НЕ2, спроектированныхбез учета информации о топологиях других элементов библиотеки9Увеличение площади стандартных элементов является одним из способов обеспечения отсутствия нарушений правил проектирования при размещении ячеек. Для предотвращения потенциальных нарушений на границахмежду элементами библиотеки добавляется отступ. Однако, в рамках современных технологических процессов применение данного подхода приводит кконсервативным результатам — область действия отдельных правил проектирования сравнима с размером ячеек, что приводит к увеличению требуемого размера отступа между элементами.Другим методом предотвращения подобных нарушений является разработка тестового блока, в котором смоделированы все возможные размещения стандартных ячеек для заданной библиотеки. Для полученного блока затем выполняется контроль выполнения правил проектирования.

Результатомтакого моделирования является список возникших конфликтов между ячейками. Эта информация далее используется для внесения соответствующихкорректировок в топологии элементов библиотеки. Современные ИС должнысоответствовать высоким уровням требований к занимаемой площади, производительности и энергопотреблению, для чего стандартные библиотекипредоставляют большой набор различных элементов — с пониженным энергопотреблением, повышенной мощностью и др. Число элементов библиотекможет достигать сотен и даже тысяч, что делает метод с изготовлением илипроектированием тестовых блоков непрактичным. Данный способ также является итеративным и не решает поставленной проблемы.Также распространен способ предотвращения нарушений правил проектирования на границах ячеек, в основе которого лежит введение дополнительных технологических ограничений, учитывающих потенциальные нарушении при размещении ячеек.

Вывод таких правил вручную трудоемок иможет при водить к многократному перепроектированию элементов библиотеки. В диссертационной работе предлагается метод вывода дополнительныхправил проектирования на границах стандартных ячеек. Полученные ограничения обеспечивают отсутствие нарушений правил проектирования для любых разрешенных размещений ячеек — полученная библиотека является безошибочной по построению.На основе проведенного в диссертационной работе исследования предлагается вычислительный комплекс, позволяющий для заданных технологических ограничений и описания архитектуры автоматически выводить множество дополнительных геометрических ограничений и автоматически выбирать допустимый вариант.

В его основе лежит использование декларативного программирования и формальных методов. В рамках диссертационнойработы критерием оптимальности является площадь структурных компонентов, спроектированных при учете дополнительных правил.Во второй главе описывается математическое обеспечение, используемое для разработки вычислительного комплекса автоматического выводадополнительных ограничений на границах структурных компонентов. При-10водится обзор методов логического программирования, элементы теорииграфов, методы минимизации логических функций.В качестве языка описания свойств и параметров искомой модели может быть использована логика первого порядка (логика предикатов).

Характеристики

Список файлов диссертации

Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов
Документы
Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6390
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее