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

• Автор: Лузин, Михаил Сергеевич
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2005
• Место защиты: Санкт-Петербург
• Количество страниц: 121 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ

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 странице. Во введении кратко освещён предмет исследования, обоснована актуальность темы диссертационной работы. Сформулированы основные положения, выносимые на защиту, научная новизна и практическая ценность результатов. Кратко описано содержание диссертации по главам. В первой главе проводится анализ методов формальной верификации топологии печатного монтажа, а также анализ соответствия используемых моделей и критериев действительным целям верификации. Вторая глава посвящена выбору модели представления топологии печатного монтажа и принципиальной схемы устройства в задаче верификации. Предложен метод определения изоморфности моделей. Третья глава посвящена разработке методов переназначения функционально эквивалентных вентилей и контактов микросхем на различных этапах проектирования топологии печатного монтажа. В четвертой главе рассмотрены вопросы контроля конструктивнотехнологических нарушений в топологии печатного монтажа. В заключении сформулированы основные научные и практические результаты работы. В приложении даются сведения, подтверждающие использование полученных результатов в народном хозяйстве страны.