Retiming and resynthesis with sweep are complete for sequential transformation | IEEE Conference Publication | IEEE Xplore