Retiming and resynthesis with sweep are complete for sequential transformation.

Hai Zhou

Browse the full FMCAD paper archive.