11 6 we believe this framework to be of interest because it brings a new insight into the software problem by establishing its deep link with the circuit retiming problem