Ресинхронизация схемы: различия между версиями

Ресинхронизация схемы (посмотреть исходный код)

195 байт убрано , 14 мая 2017

м

4551

правка

@@ Строка 14: / Строка 14: @@
 Эту же нотацию можно расширить с ребер на пути. Однако между любыми двумя вершинами u и v может существовать более одного пути. Среди всех этих путей путь с минимальным количеством регистров будет определять, сколько регистров могут быть перемещены от u и v. Обозначим это количество за W[u, v] для любых <math>u, v \in V \;</math>, то есть
-<math>W[u, v] = min_{p: u \rightsquigarrow v} \sum_{(x, y) \in p} w[x, y] \;</math>.
+<math>W[u, v] \triangleq min_{p: u \rightsquigarrow v} \sum_{(x, y) \in p} w[x, y] \;</math>.
 Обозначим максимальную задержку по всем путям из u в v с минимальным количеством регистров за D[u, v], то есть
-D[u; v] ,	max w[p: «~->v]=l< x2p it. Таким образом, для ресинхронизации схемы с длительностью такта ' должно удовлетворяться следующее ограничение:
-P1(r) , 8U;V 2 V: D[u;v] >ф =*• W[U;V] + r[v] - r[u] > 1
+<math>D[u, v] \triangleq max_{w[p: u \rightsquigarrow v] = W[u, v]} \sum_{x \in p} d[x] \;</math>.
 == Основные результаты ==