4551
правка
Ресинхронизация схемы: инкрементный подход: различия между версиями
Перейти к навигации
Перейти к поиску
м
Ресинхронизация схемы: инкрементный подход (посмотреть исходный код)
Версия от 23:12, 22 мая 2017
, 22 мая 2017→Нотация
Irina (обсуждение | вклад) м (→Нотация) |
Irina (обсуждение | вклад) м (→Нотация) |
||
| Строка 14: | Строка 14: | ||
Кроме того, чтобы избежать явного перечисления путей при поиске самого длинного пути, еще одна метка <math>t: V \to \mathbb{R}^+ \;</math> будет представлять выходное время прибытия каждого вентиля – иначе говоря, максимальную задержку вентиля при взгляде из любого предшествующего регистра. | Кроме того, чтобы избежать явного перечисления путей при поиске самого длинного пути, еще одна метка <math>t: V \to \mathbb{R}^+ \;</math> будет представлять выходное время прибытия каждого вентиля – иначе говоря, максимальную задержку вентиля при взгляде из любого предшествующего регистра. Для того чтобы t было не меньше комбинационной задержки, должно выполняться условие | ||
<math>\forall (u, v) \in E: w'[u, v] = 0 \Rightarrow t[v] \ge t[u] + d[v] \;</math>. | |||
== Ограничения и цель == | == Ограничения и цель == | ||