Retiming synchronous circuitry. (1991)

by C E Leiserson, J B Saxe
Venue:Algorithmica,