“…After pre-assigning these nodes, the top-level algorithm iterates over the remaining nodes looking for candidates that can use an SR-latch if they satisfy (2). In each iteration of the while loop in Lines 5-19, we find the node, v, which has the largest global slack on both its R v ↑ and R v ↓ events.…”