Given a synchronous circuit 
, this algorithm determines a retiming r such that )
is as small as possible.
Run algorithm OPT1 using algorithm FEAS in step 3, rather than Bellman-Ford algorithm, to test whether each potential clock period c is feasible.
See in code
))