Spec Based Flip-Flop And Buffer Insertion.

Nataraj Akkiraju, Mosur Mohan

Browse the full ICCD paper archive.