Optimizing synchronous systems (1983)

by C E Leiserson, J B Saxe
Venue:Journal of VLSI and Computer Systems