4551
правка
Ресинхронизация схемы: инкрементный подход: различия между версиями
Материал из WEGA
Ресинхронизация схемы: инкрементный подход (посмотреть исходный код)
Версия от 23:10, 22 мая 2017
, 22 мая 2017→Нотация
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) м (→Нотация) |
||
| Строка 9: | Строка 9: | ||
== Нотация == | == Нотация == | ||
Чтобы гарантировать, что новые регистры – это перемещенные старые, метка r: V | Чтобы гарантировать, что новые регистры – это перемещенные старые, метка <math>r: V \to \mathbb{Z} \;</math> используется для обозначения того, сколько регистров перемещены из исходящих ребер каждой вершины на входящие. Используя эту нотацию, можно вычислить новое количество регистров ребра (u, v) по формуле | ||
<math>w'[u, v] = w[u, v] + r[v] - r[u] \;</math>. | |||
Кроме того, чтобы избежать явного перечисления путей при поиске самого длинного пути, еще одна метка t: V | |||
Кроме того, чтобы избежать явного перечисления путей при поиске самого длинного пути, еще одна метка <math>t: V \to \mathbb{R}^+ \;</math> будет представлять выходное время прибытия каждого вентиля – иначе говоря, максимальную задержку вентиля при взгляде из любого предшествующего регистра. Чтобы t было не меньше комбинационной задержки, для него должно выполняться условие | |||
8(U;V) 2 E: w0[u;v] =0 ) t[v] > t[u] + d[v] : | 8(U;V) 2 E: w0[u;v] =0 ) t[v] > t[u] + d[v] : | ||
