Narendra V. Shenoy Robert K. Brayton Alberto L. Sangiovanni-Vincentelli Resynthesis of Multi-Phase Pipelines. 490-496 1993 DAC http://doi.acm.org/10.1145/157485.164995 db/conf/dac/dac93.html#ShenoyBS93