Efficient timing constraint derivation for optimally retiming high speed processing units | IEEE Conference Publication | IEEE Xplore