- •1. Автоматизированное проектирование эвм
- •1.1. Этапы жизненного цикла промышленных изделий
- •1.2. Сапр эвм и их место среди других автоматизированных систем
- •1.3. Проектирование технического объекта
- •1.4. Этапы проектирования сложных систем
- •2. Общие сведения о сапр
- •2.1. Блочно-иерархический подход к проектированию
- •2.2. Классификация сапр
- •2.4. Виды обеспечения сапр
- •3. Математическое обеспечение сапр
- •2.3. Структура сапр
- •3.1. Требования к математическому обеспечению
- •3.2. Требования к математическим моделям
- •3.3. Классификация математических моделей
- •3.4. Формализация проектных задач
- •3.5. Математические методы описания моделей конструкций эвм
- •3.3.1. Понятия теории множеств
- •3.5.2. Элементы теории графов
- •3.5.3. Деревья
- •3.5.4. Способы задания графов
- •3.5.5. Характеристические числа графов
- •3.6. Математические модели электрических схем
- •Модель схемы в виде двудольного графа g(e, u, p)
- •Модель схемы в виде гиперграфа h(e, u)
- •Модель схемы в виде мультиграфа g(e, u)
- •4. Алгоритмы автоматизированного проектирования эвм
- •4.1. Основные свойства алгоритмов
- •4.2. Элементы теории сложности
- •5. Алгоритмы компоновки
- •5.1. Алгоритм покрытия
- •5.2. Последовательный алгоритм компоновки
- •5.3. Итерационный алгоритм компоновки
- •5.4. Смешанный алгоритм компоновки
- •6. Алгоритмы размещения элементов
- •6.1. Постановка задачи
- •6.2. Математическая модель задачи размещения
- •6.3. Метод ветвей и границ
- •6.4. Конструктивные алгоритмы начального размещения
- •6.5. Алгоритм обратного размещения
- •6.6. Итерационные алгоритмы улучшения начального размещения
- •6.7. Алгоритм групповых перестановок
- •6.8. Непрерывно-дискретные методы размещения
- •6.9. Размещение разногабаритных элементов
- •7. Алгоритмы трассировки межсоединений
- •7.1. Алгоритмы построения минимальных связывающих деревьев
- •7.1.1. Алгоритм Прима
- •7.1.2. Алгоритм Краскала
- •7.1.3. Кратчайшие пути
- •7.1.4. Задачи, близкие к задаче о кратчайшем пути
- •7.1.5. Алгоритм Франка – Фриша
- •7.1.6. Задача Штейнера
- •7.2. Алгоритмы раскраски графа
- •7.2.1. Алгоритм Вейссмана
- •7.2.2. Алгоритм, использующий упорядочивание вершин
- •Порядок проведения проводников
- •Трассировка соединений
- •Волновой алгоритм трассировки
- •7.4.2. Волновой алгоритм с кодированием по mod 3
- •7.4.3. Метод путевых координат
- •7.4.4. Метод Акерса
- •7.4.5. Оптимизация пути по нескольким параметрам
- •7.4.6. Методы повышения быстродействия волнового алгоритма
- •7.4.7. Многослойная трассировка
- •7.5. Лучевые алгоритмы трассировки
- •7.5.1. Алгоритм Абрайтиса
- •7.6. Канальные алгоритмы трассировки
- •7.7. Программа автоматической трассировки specctra
- •8. Графо-теоретический подход к синтезу топологии
- •Разбиение графа на планарные суграфы
- •8.1.1. Построение графа пересечений g’
- •8.1.2. Нахождение максимальных внутренне устойчивых множеств
- •8.1.3. Выделение из g' максимального двудольного подграфа h'
- •8.2. Нахождение гамильтонова цикла. Алгоритм Робертса-Флореса
- •Нахождение гамильтонова цикла
- •8.2.2. Построение графа пересечений g'
- •8.2.3. Построение семейства ψg '
- •9. Верификация. Основные понятия
- •9.1. Место верификации при проектировании вычислительных систем
- •9.2. Изоморфизм графов
- •10. Нахождение эйлерова цикла
- •10.1. Алгоритм Флери
- •10.2. Сравнение эйлеровых и гамильтоновых циклов
- •11. Эволюционные алгоритмы оптимизации
- •11.1. Генетические алгоритмы
- •11.2. Биоинспирированные методы в оптимизации
- •11.2.1. Муравьиные методы и алгоритмы
- •11.2.2. Пчелиные методы и алгоритмы
- •Заключение
- •Список литературы
- •Законы Мэрфи для программистов. Теория ошибок
- •Алгоритмы конструкторского проектирования эвм Учебное пособие по дисциплине «Конструкторско-технологическое обеспечение производства эвм»
7.7. Программа автоматической трассировки specctra
Рассмотренные алгоритмы имеют общей чертой наличие координатной сетки. Принципиально отличными от них являются бессеточные алгоритмы программы SPECCTRA.
SPECCTRA — коммерческая программа автоматической трассировки печатных плат от компании Cadence Design Systems. Современное название Allegro PCB Router. SPECCTRA успешно трассирует платы большой сложности благодаря применению нового принципа представления графических данных — так называемой ShapeBased-технологии. В отличие от известных ранее пакетов, в которых графические объекты представлены в виде набора точек-координат, в этой программе используются более компактные способы их математического описания. За счёт этого повышается эффективность трассировки печатных плат с высокой плотностью расположения компонентов, обеспечивается автоматическая трассировка одной и той же цепи трассами разной ширины и др.
SPECCTRA использует адаптивные алгоритмы, реализуемые за несколько проходов трассировки. На первом проходе выполняется соединение абсолютно всех проводников без обращения внимания на возможные конфликты, заключающиеся в пересечении проводников на одном слое и нарушении зазоров. На каждом последующем проходе автотрассировщик пытается уменьшить количество конфликтов, разрывая и вновь прокладывая связи (метод ripup-and-retry) и проталкивая проводники, раздвигая соседние (метод push-and-shove).
Программа совместима с большинством современных систем проектирования печатных плат, благодаря использованию стандартного промышленного формата DSN для описания проектов и Do-файлов для задания стратегии трассировки.
В заключении необходимо отметить следующее:
1. Ни один алгоритм трассировки не гарантирует 100% трассировку, поэтому необходимо предусмотреть доработку топологии. В связи с этим, алгоритмы трассировки не обязательно должны обеспечивать максимальное число разведенных соединений, но, главное, достаточно простую конфигурацию трасс.
2. При проектировании ЭВМ необходимо удовлетворять противоречивым требованиям. Например, при размещении модулей на КП в центр помещается элемент, имеющий максимальное число связей. При работе именно этот модуль выделяет наибольшее количество тепла. Но центральная позиция платы или кристалла хуже всего вентилируется.
8. Графо-теоретический подход к синтезу топологии
Для схем с однослойной коммутацией синтез топологии по традиционной схеме размещение-трассировка не оправдан, т.к. при этом учитываются метрические, а не топологические критерии и ограничения. При неравномерном использовании коммутационных слоев (например, когда слои изготавливаются на основе алюминия и поликремния) проектирование двухслойных схем оказывается близким к проектированию однослойных схем.
Графо-теоретический подход к синтезу топологии состоит из следующих этапов.
Построение графовой модели схемы.
Анализ планарности графа.
Планаризация графа.
Реализация непланарных соединений.
Построение плоского чертежа схемы.
Синтез геометрии схемы.
Одной из основных топологических задач проектирования коммутации является возможность разложения соединений на плоскости без пересечений. Эта задача связана с определением планарности графа. Среди критериев планарности графа наиболее известен критерий Понтрягина-Куратовского (Kazimierz Kuratowski):
Граф G(X, U) – планарен тогда и только тогда, когда он не содержит подграфов гомеоморфных полному графу K5 или полному двудольному графу K3,3.
Однако он неконструктивен (требует перебора). Известны другие критерии, но их также трудно использовать. Разработан ряд алгоритмов определения планарности графа удобных для реализации на ЭВМ.
Критерий Бадера (W. Bader). Граф G(X,U) планарен, если его граф пересечений G' является бихроматическим (двудольным) графом. Критерий справедлив для графов, имеющих гамильтонов цикл.
