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

Формальное определение задачи выглядит следующим образом. Пусть дан ориентированный граф <math>G = (V, E) \;</math>, представляющий схему – в котором каждая вершина <math>v \in V \;</math> представляет вентиль, а каждое ребро <math>e \in E \;</math> – передачу сигнала от одного вентиля к другому – с задержкой <math>d: V \to \mathbb{R}^+ \;</math> и номерами регистров <math>w: E \to \mathbb{N} \;</math>. Целью задачи нахождения минимальной площади является перемещение регистров <math>w': E \to \mathbb{N} \;</math>, такое, что количество регистров в схеме минимально в пределах заданной длительности такта <math>\varphi \;</math>. Задача нахождения минимальной длительности ищет решение с минимальной длительностью такта.