Referat (Методы и алгоритмы компоновки, размещения и трассировки печатных плат)

Московский государственный институт электроники и математики

(Технический университет)

Кафедра ИТАС

РЕФЕРАТ

Привести методы и алгоритмы решения задач компоновки, размещения и трассировки, возникающих в процессе конструирования. Оценить трудоемкость методов и качество получаемых с их помощью решений, рассматривая указанные выше задачи как задачи математического программирования.

Выполнил:

Проверил:

Принял:

МОСКВА 2003

ОГЛАВЛЕНИЕ

1. Введение

2. Алгоритмы компоновка

3. Алгоритмы размещения

4. Алгоритмы трассировки

1. ВВЕДЕНИЕ

При конструкторском проектировании РЭА (радиоэлектронной аппаратуры) решаются задачи, связанные с поиском наилучшего варианта конструкции, удовлетворяющего требованиям технического задания и максимально учитывающего возможности технологической базы производства. Тесная взаимосвязанность задач и большая размерность каждой из них обычно не позволяет предложить метод поиска оптимального конструктивного решения в едином цикле в связи с трудностями создания общей математической модели, комплексно учитывающей особенности конструкторско-технологической базы производства. Поэтому разработка и реализация алгоритмов и методов решения отдельных задач этапа конструкторского проектирования: компоновки, размещения и трассировки,- до сих пор остаются актуальными проблемами, решение которых неотъемлемо связано с развитием систем автоматизации проектирования.

1. АЛГОРИТМЫ КОМПОНОВКИ

На этапе конструкторского проектирования решаются вопросы, связанные с компоновкой элементов логической схемы в модули, модулей в ячейки, ячеек в панели и т. д. Эти задачи в общем случае тесно связаны между собой, и их решение позволяет значительно сократить затраты и трудоемкость указанного этапа в САПР. Обычно задачи компоновки рассматриваются как процесс принятия решений в определенных или неопределенных условиях, в результате выполнения которого части логической схемы располагаются в конструктивных элементах i-го уровня, а эти элементы размещаются в конструктивных элементах (i+1) –го уровня и т. д., причем расположение выполняется с оптимизацией по выбранному критерию.

Компоновкой электрической схемы РЭА на конструктивно законченные части называется процесс распределения элементов низшего конструктивного уровня в высший в соответствии с выбранным критерием. Основным для компоновки является критерий электромагнитотепловой совместимости элементов низшего уровня. Данный критерий определяет область допустимых разбиений схемы, на которой формулируются другие критерии. Такими критериями могут быть: минимум типов конструктивно законченных частей, плотность компоновки, минимум соединений между устройствами, простота диагностирования и др. Очевидно, что внешние соединения между частями схем являются одним из важнейших факторов, определяющих надежность РЭА. Поэтому наиболее распространенным критерием является критерий минимума числа внешних связей. Выполнение этого критерия обеспечивает минимизацию взаимных наводок, упрощение конструкции, повышение надежности и т. д.

Для построения формальной математической модели компоновочных задач удобно использовать теорию графов. При этом электрическую схему интерпретируют ненаправленным мультиграфом, в котором каждому конструктивному элементу (модулю) ставят в соответствие вершину мультиграфа, а электрическим связям схемы – его ребра. Тогда задача компоновки формулируется следующим образом, Задан мультиграф G(X,U). Требуется “разрезать” его на отдельные куски G₁(X₁,U₁), G₂(X₂,U₂),…, G_k(X_k,U_k) так, чтобы число ребер, соединяющих эти куски, было минимальным, т.е.

минимизировать i≠j

при i,j = 1,2,…,k,

где U_ij – множество ребер, соединяющих куски G_i(X_i,U_i) и G_j(X_j,U_j).

Другими словами разбиениями частей совокупности G на графы считаются, если любая часть из этой совокупности не пустая; для любых двух частей пересечение множества ребер может быть не пустым; объединение всех частей в точности равно графу G.

Известные алгоритмы компоновки можно условно разбить на пять групп:

1. алгоритмы, использующие методы целочисленного программирования.

2. последовательные алгоритмы

3. итерационные алгоритмы

4. смешанные алгоритмы

Алгоритмы первой группы хотя и позволяют получить точное решение задачи, однако для устройства реальной сложности фактически не реализуемы на ЭВМ. В последнее время наибольшее распространение получили приближенные алгоритмы компоновки (последовательные, итерационные, смешанные). При использовании последовательных алгоритмов сначала по определенному правилу выбирают вершину графа, затем осуществляют последовательный выбор вершин (из числа нераспределенных) и присоединение их к формируемому куску графа. После образования первого куска переходят ко второму и т. д. до получения желаемого разрезания исходного графа. В итерационных алгоритмах начальное разрезание графа на куски выполняют произвольным образом; оптимизация компоновки достигается парными или групповыми перестановками вершин графа из различных кусков. Процесс перераспределения вершин заканчивают при получении локального экстремума целевой функции, удовлетворяющим требованиям разработчика. В смешанных алгоритмах компоновки для получения начального варианта “разрезания” используется алгоритм последовательного формирования кусков; дальнейшая оптимизация решения осуществляется перераспределением вершин между отдельными кусками графа.

Последовательные алгоритмыкомпоновки

В последовательных алгоритмах компоновки «разрезание» исходного графа G(X,U) на куски G₁(X₁,U₁), G₂(X₂,U₂),…, G_k(X_k,U_k) сводится к следующему. В графе G(X,U) находят вершину x_i X с минимальной локальной степенью .

Если таких вершин несколько, то предпочтение отдают вершине с максимальным числом кратных ребер. Из множества вершин, смежных с вершинами формируемого куска графа G₁(X₁,U₁), выбирают ту, которая обеспечивает минимальное приращение связей куска с еще нераспределенными вершинами. Данную вершину x_i X \ X₁ включают в G₁(X₁,U₁), если не происходит нарушения ограничения по числу внешних связей куска, т.е.

,

где α_jε – элемент матрицы смежности исходно графа G(X,U); δ(x_g) – относительный вес вершины x_g, , равный приращению числа внешних ребер куска G₁(X₁,U₁) при включении вершины x_g во множество X₁; E – множество индексов вершин, включенных в формируемый кусок графа на предыдущих шагах алгоритма; m – максимально допустимое число внешних связей отдельно взятого куска со всеми оставшимися.

Указанный процесс продолжается до тех пор, пока множество X₁ не будет содержать n элементов либо присоединение очередной нераспределенной вершины x_j к куску G₁(X₁,U₁) не приведет к нарушению ограничения по числу внешних соединений куска, равному

Следует отметить, что величина не является монотонной функцией |X₁|, поэтому, для того чтобы убедится в невозможности дальнейшего формирования куска вследствие нарушения последнего ограничения, необходимо проверить его невыполнимость на последующих шагах увеличения множества X₁ вплоть до n. В качестве окончательного варианта выбирают кусок G₁⁰(X₁⁰,U₁⁰), содержащий максимально возможное число вершин графа G(X,U), для которого выполняются ограничения на число внешних связей и входящих в него вершин (n_min-n_max).

После преобразования куска G₁⁰(X₁⁰,U₁⁰) процесс повторяют для формирования второго, третьего и т.д. кусков исходного графа с той лишь разницей, что рассмотрению подлежат вершины, не вошедшие в предыдущие куски.

Сформулируем алгоритм последовательной компоновки конструктивных элементов.

1. t:0

2. X_f = X_t = Ø; t=t+1; Θ=1; α=n_max,

Где t, Θ – порядковые номера формируемого куска и присоединяемой вершины; α – ограничение на число вершин в куске.

1. По матрице смежности исходного графа | α_hp|_NxN, где N – число вершин исходного графа (при большом значении N для сокращения объема оперативной памяти ЭВМ используем не саму матрицу смежности, а её кодовую реализацию), определяем локальные степени вершин .

2. Из множества нераспределенных вершин X выбираем вершину x_j с ρ(x_j) = . Переходим к п.6. Если таких вершин несколько, то переходим к п.5

3. Из подмножества вершин X_l с одинаковой локальной степенью выбирают вершину x_j с максимальным числом кратных ребер (минимальным числом смежных вершин), т.е. |Гx_j| = .

4. Запоминаем исходную вершину формируемого куска графа . Переходим к п.10

5. По матрице смежности строим множество X_s = и определяем относительные веса вершин :

.

1. Из множества X_S выбираем вершину . Переходим к п.10. Если таких вершин несколько, то переходим к п.9.

2. Из подмножества вершин X_v с одинаковым относительным весом выбираем вершину x_j с максимальной локальной степенью, т.е. .

3. .

4. Если >m , то переходим к п.13.

5. Рассмотренные вершины включаем в формируемый кусок X_f = X_t .

6. Θ = Θ + 1.

7. Если Θ> α, то переходим к п.15, а противном случае – к п.7.

8. Если |X_f|min, где n_min – минимально допустимое число вершин в куске, то переходим к п.21.

9. Выбираем окончательный вариант сформированного куска графа:

X_t = X_f ; X = X \ X_t ; α = n_max .

1. Если |X|> n_max , то переходим к п.20.

2. Если |X|< n_min , то переходим к п.21.

3. Определяем число внешних связей последнего куска графа:

,

где F – множество индексов вершин, входящих в X. Если , то переходим к п.21, в противном случае – к п.24.

1. Если t

2. Предыдущий цикл «разрезания» считаем недействительным. Если t>1, т.е. имеется как минимум один ранее сформированный кусок, то переходим к п.22. в противном случае – к п.23.

3. Ищем другой допустимый вариант формирования предыдущего куска с меньшим числом вершин: t = t – 1; .

Переходим к п.7.

1. Задача при заданных ограничениях не имеет решения.

2. Конец работы алгоритма.

Рассмотренный алгоритм прост, легко реализуется на ЭВМ и позволяет получить решение задачи компоновки. Также среди достоинств данной группу алгоритмов выступает высокое быстродействие их при решении задач компоновки.

Основным недостатком последовательного алгоритма является неспособность находить глобальный минимум количества внешних связей (не анализируются возможные ситуации). Наибольшая эффективность метода последовательного разбиения графа имеет место, когда число вершин графа G значительно больше вершин в любой части разбиения.