Efficient retiming and unfolding | IEEE Conference Publication | IEEE Xplore