Научная статья на тему 'Алгоритм компоновки, учитывающий временные параметры на основе разбиения "конусов" схемы'

Алгоритм компоновки, учитывающий временные параметры на основе разбиения "конусов" схемы Текст научной статьи по специальности «Математика»

CC BY
316
62
i Надоели баннеры? Вы всегда можете отключить рекламу.
i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Алгоритм компоновки, учитывающий временные параметры на основе разбиения "конусов" схемы»

Данная модель применима как в случае отсутствия шума так максимального его значения, кроме того, позволяет получить промежуточные значения приемлемой точности в отличие от дискретных моделей.

При вычислении влияния нескольких агрессоров на одну жертву необходимо учитывать их взаимосвязь между собой. Если два сигнала переключаются в одном ,

, -

,

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

,

оценки задержки сигнала в цепи, подвергающейся воздействию шума за время в 23 раза меньшее, чем при использовании статического временного анализа [1].

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. M. Ringe, T. Lindenkreuz, E. Barke “Static Timing Analysis Taking Crosstalk into Account”, DATE 2000 ,p. 451, 2000.

2. Sachin S. Sapatnekar, “Capturing the Effect of Crosstalk on Delay”, Proc. of the 13th Int. Conference on VLSI Design, p.364, 2000.

3. L. H. Chen and M. Marek-Sadowska. “Aggressor Alignment for Worst-Case Crosstalk Noise”. newblock IEEE Trans. on Computer-Aided Design, Vol.20:pp.612-621, May 2001.

4. . ., . . “ ”,

докладов международной конференции “Интеллектуальные САПР”, AIS'05/CAD, 2005.

5. Janet Meiling Wang, Omar Hafiz, Pinhong Chen, "A Non-iterative Model for Switching Window Computation with Crosstalk Noise”, ASPDAC’04 pp. 844-849, 2004.

M.B. Рыбальченко

АЛГОРИТМ КОМПОНОВКИ, УЧИТЫВАЮЩИЙ ВРЕМЕННЫЕ ПАРАМЕТРЫ НА ОСНОВЕ РАЗБИЕНИЯ "КОНУСОВ" СХЕМЫ*

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

[1].

критический путь как наиболее длинный путь между некоторым входом и выходом в конусе исходной неразбитой схемы [2]. Если такой критический путь разрезан в процессе разбиения схемы на компоненты, то возникающие в результате этого паразитные емкости могут привести к чрезмерно большим временным задержкам и, , -.

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

* Работа выполнена при поддержке программы развития научного потенциала высшей школы РНП.2.1.2.3193

Известия ТРТУ_____________________________________________Тематический выпуск

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

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

t max ____ t ^

critical critical (i)

Size

Costp =---------- _ max, (2)

p IOp

SizeP < MaxSize , (3)

IOP < MaxIO , (4)

где

tcriticai - задержка критического пути в исходной коммутационной схеме;

max

tcriticai - задержка этого пути после разбиения схемы;

Costp - конструктивный критерий разбиения, соответствующий удельному числу внешних связей компоненты;

Sizep - размер (число элементов) компоненты разбиения;

MaxSize - максимально допустимый размер компоненты разбиения;

IOP - ;

Max IO - максимально допустимое число внешних связей компоненты раз.

Непосредственный учет критических по времени задержки путей может быть выполнен при использовании ориентированного графа в качестве модели комму. -ния конусных структур рассмотрена в [3].

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

i. . список CRoot всех первичных выходов, причём размер этого списка соответствует числу конусов в схеме.

2. : , -рекрывающихся между собой, а также из областей, полученных путём вырезания этих областей из конусов:

♦ просматриваются все узлы схемы из каждого узла в списке CRoot к пер, ,

CRoot.

имеет список меток LL:

#P (Nd)

LL (Nd)= U LL (P (Nd)), (5)

i=i

где #P(Nd) - число родителей P(Nd) вершины Р из узла Nd. Если в нем не существует родитель с таким списком меток, то узел Nd добавляется к списку CRoot, так как это - корень кластера.

Эти новые CRoot входы имеют размеры списков меток больше, чем 1. Новый размер списка CRoot соответствует числу кластеров в схеме;

♦ соединение в кластеры перекрывающихся конусов происходит группированием узлов с одинаковыми списками меток. Каждый кластер содержит уникальные узлы, определяемые как:

jNd | (( (Nd), [LL (Nd) = LL (p(Nd), )]) 1

Cluster. = CRoot, u i , , s , s , u ^, (6)

г ‘ [a(LL (Nd ) = LL (CRooti ) = LL (CRooti ))

где CRoot — объединенный корень кластера Clusteri и P(Nd)i=CRoot, при условии Vi ïj (LL(CRoot) nLL(CRoot) =0)

Схемы, имеющие намного больше кластеров, чем конусов, указывают на сильное перекрытие конусов и высокое разветвление на выходе узлов.

3. Объединение кластеров в компоненты с максимизацией стоимости (2) компонент и с учётом ограничений (3) и (4) для минимизации числа компонент раз.

4. ,

компоненту разбиения без нарушения установленных ограничений, осуществляется переход к формированию следующей компоненты в соответствии с п. 3. Если больше никакие кластеры не могут быть объединены, алгоритм заканчивает рабо, .

Применимость данного алгоритма обусловлена величиной разветвления на выходах элементов схемы. При малых значениях разветвления, ограничение на число внешних выводов компонент не нарушается при помещении в них целых конусов, и может быть использован ранее рассмотренный алгоритм [3]. В противном случае указанные ограничения сразу же могут быть нарушены, что потребует применения рассмотренного выше подхода к разрезанию конусов.

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

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. G. Saucier, D. Brasen, J.P. Hiol. Partitioning with cone structures / Proc. design automation conf., 1993.

2. K.J. Singh, Sangiovanni-Vincentelli. A heuristic algorithm for the fanout problem / Proc. design automation conf., 1990.

3. . ., . . , -

раметры на основе сохранения лучших конусов схемы. Известия ТРТУ. - Таганрог: Изд-во ТРТУ, 2002, № 3.

В.А. Литвиненко, О.В. Рябов

УЧЕБНО-ИССЛЕДОВАТЕЛЬСКАЯ САПР НА ОСНОВЕ САПР KICAD*

В известных промышленных САПР печатных плат ЭВА и РЭА используется ограниченный набор алгоритмов и методов решения задач конструкторского проектирования. Разработка новой системы - это длительный и трудоемкий процесс.

* Работа выполнена при поддержке РФФИ (грант №06-01-00272)

i Надоели баннеры? Вы всегда можете отключить рекламу.