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

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
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. Выводы .
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ