Введение
I. Установление изоморфности различных описаний II
1.1. Изоморфность мультиграфов 12
1.2. Избыточность мультиграфового представления принципиальной схемы 24
1.3. Выводы
II. Разработка алгоритма определения изоморфности описаний топологии и принципиальной схемы 29
2.L Изоморфность гиперграфов 29
2.2. Инварианты матрицы инцидентности гиперграфа 33
2.3. Компактное представление гиперграфа 36
2.4. Алгоритм определения изоморфности гиперграфов 39
2.5. Выводы 42
III. Использование функциональной эквивалентности контактов микросхем 43
3.1. Методы и критерии 44
3.2. Использование функциональной эквивалентности контактов микросхем на этапе компоновки 46
3.2.1. Определение расстояний на графовой модели схемы 47
3.2.2. Алгоритм решения задачи назначения эквивалентных контактов 51
3.2.3. Выбор метода решения задачи коммивояжера 52
3.3. Использование функциональной эквивалентности контактов микросхем на этапе размещения 66
3.3.1. Оценка числа пересечений ребер двудольного графа 66
3.4. Использование функциональной эквивалентности контактов микросхем на этапе трассировки 76
3.5. Выводы 81
IV. Контроль конструктивно- технологических нарушений в топологии печатного монтажа 82
4.1. Особенности контроля конструктивно-технологических ограничений в гибкой топологической трассировке 82
4.2. Алгоритм проверки конструктивно-технологических нарушений в топологии печатного монтажа 87
4.3. Выводы 94
V. Программный комплекс топологической трассировки печатных плат TopoR 95
5.1. Основные сведения о системе TopoR 95
5.1.1. Требования системы к оборудованию 96
5.1.2. Технические характеристики и ограничения . 96
5.1.3. Режимы и функции 97
5.2. Программа проверки выполнения конструкторско-технологических ограничений (DRC) 101
5.3. Выводы 105
Заключение 106
Список литературы
