Модели и алгоритмы верификации топологии печатного монтажа

Модели и алгоритмы верификации топологии печатного монтажа

Автор: Лузин, Михаил Сергеевич

Шифр специальности: 05.13.12

Научная степень: Кандидатская

Год защиты: 2005

Место защиты: Санкт-Петербург

Количество страниц: 121 с. ил.

Артикул: 2750856

Автор: Лузин, Михаил Сергеевич

Стоимость: 250 руб.

Модели и алгоритмы верификации топологии печатного монтажа  Модели и алгоритмы верификации топологии печатного монтажа 

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
1. УСТАНОВЛЕНИЕ ИЗОМОРФНОСТИ РАЗЛИЧНЫХ
ОПИСАНИЙ . II
1.1. Изоморфность мультиграфов
1.2. Избыточность мультиграфового представления принципиальной схемы
1.3. Выводы
II. РАЗРАБОТКА АЛГОРИТМА ОПРЕДЕЛЕНИЯ ИЗОМОРФНОСТИ ОПИСАНИЙ топологии
И ПРИНЦИПИАЛЬНОЙ СХЕМЫ.
2.1. Изоморфность гиперграфов.
2.2. Инварианты матрицы инцидентности гиперграфа .
2.3. Компактное представление гиперграфа
2.4. Алгоритм определения изоморфности гиперграфов .
2.5. Выводы
III. ИСПОЛЬЗОВАНИЕ ФУНКЦИОНАЛЬНОЙ ЭКВИВАЛЕНТНОСТИ КОНТАКТОВ МИКРОСХЕМ .
3.1. Методы и критерии.
3.2. Использование функциональной эквивалентности контактов микросхем на этапе компоновки.
3.2.1. Определение расстояний на графовой
модели схемы.
3.2.2. Алгоритм решения задачи назначения эквивалентных контактов
3.2.3. Выбор метода решения задачи коммивояжера .
3.3. Использование функциональной эквивалентности контактов микросхем на этапе размещения
3.3.1. Оценка числа пересечений ребер
двудольного графа
3.4. Использование функциональной эквивалентности контактов микросхем на этапе трассировки.
3.5. Выводы .
IV. КОНТРОЛЬ КОНСТРУКТИВНОТЕХНОЛОГИЧЕСКИХ НАРУШЕНИЙ
В ТОПОЛОГИИ ПЕЧАТНОГО МОНТАЖА
4.1. Особенности контроля конструктивнотехнологических ограничений в гибкой
топологической трассировке
4.2. Алгоритм проверки конструктивнотехнологических нарушений в топологии печатного монтажа
4.3. Выводы .
V. ПРОГРАММНЫЙ КОМПЛЕКС ТОПОЛОГИЧЕСКОЙ ТРАССИРОВКИ ПЕЧАТНЫХ ПЛАТ ТороЯ.
5.1. Основные сведения о системе ТороЯ
5.1.1. Требования системы к оборудованию
5.1.2. Технические характеристики и ограничения .
5.1.3. Режимы и функции
5.2. Программа проверки выполнения конструкторскотехнологических ограничений ЭЯС.
5.3. Выводы .
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


Существующие подсистемы верификации топологии, входящие в состав представленных на рынке САПР ориентированы в значительной степени на интерактивную верификацию принципиальной схемы и топологии, что ведет к неоправданно высоким временным затратам. Проверка соблюдения КТО в большинстве САПР осуществляется на ортогональной топологии без дуг окружностей, либо с квадрантными (четверть окружности) дугами. Все это не соответствует современным требованиям к качеству топологии печатного монтажа. В современных САПР недостаточно используются возможности оптимизации топологии печатного монтажа, связанные с переназначением функционально эквивалентных контактов полузаказных БИС. Поскольку при решении указанной задачи изменяется принципиальная схема устройства, ее результаты необходимо учитывать при решении задачи верификации топологии. СБИС. Практическая ценность работы состоит в создании прикладных программ, предназначенных для решения задачи верификации топологии печатного монтажа в автоматическом режиме. Применение разработанных программ обеспечивает улучшение качества и сокращение сроков проектирования СБИС и печатных узлов РЭС. Результаты диссертационной работы в виде конкретных положений, выводов, методов, алгоритмов, машинных программ и расчетных данных внедрены и инженерную практику и используются на промышленных предприятиях в Москве, Санкт-Петербурге и Нижнем Новгороде, а также в учебном процессе СПбГУАП и СПбГЭТУ (ЛЭТИ). Акты, подтверждающие внедрение, приведены в приложении. III Международной научно-практической конференции “Системы и средства передачи и обработки информации”, г. III научно-практической конференции “Современные информационные и электронные технологии”, г. Одесса, г. VI международной научно-практической конференции “Системы и средства передачи и обработки информации”, г. Одесса, г. Современные технологии обучения”, С. Петербург, г. НПК “Современные информационные и электронные технологии”, Одесса, г. VII международной научно-практической конференции “Системы и средства передачи и обработки информации”, г. Одесса, г. Международной научно-технической конференции HnH(CALS)- “Информационные технологии в управлении жизненным циклом изделий”, С. Петербург, г. Информационные технологии в российской промышленности”, С. Петербург, г. НПК “Современные информационные и электронные технологии”, Одесса, г. III международном симпозиуме “Аэрокосмические приборные технологии”, С. Петербург, г. Фундаментальные и прикладные проблемы приборостроения”, Сочи, г. VIII международной научно-практической конференции “Системы и средства передачи и обработки информации”, Одесса, г. НПК “Современные информационные и электронные технологии”, Одесса, г. По теме диссертации опубликована работа, из них 4 статьи и тезисов к докладам на международных научно-технических конференциях. Диссертация состоит из введения, пяти глав, заключения и приложения. Текстовый материал изложен на 1 странице. Во введении кратко освещён предмет исследования, обоснована актуальность темы диссертационной работы. Сформулированы основные положения, выносимые на защиту, научная новизна и практическая ценность результатов. Кратко описано содержание диссертации по главам. В первой главе проводится анализ методов формальной верификации топологии печатного монтажа, а также анализ соответствия используемых моделей и критериев действительным целям верификации. Вторая глава посвящена выбору модели представления топологии печатного монтажа и принципиальной схемы устройства в задаче верификации. Предложен метод определения изоморфности моделей. Третья глава посвящена разработке методов переназначения функционально эквивалентных вентилей и контактов микросхем на различных этапах проектирования топологии печатного монтажа. В четвертой главе рассмотрены вопросы контроля конструктивнотехнологических нарушений в топологии печатного монтажа. В заключении сформулированы основные научные и практические результаты работы. В приложении даются сведения, подтверждающие использование полученных результатов в народном хозяйстве страны.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.207, запросов: 244