Transistor-level Sizing and Timing Verification of Domino Circuits in the Power PC Microprocessor. - Abhijit Dharchoudhury; David T. Blaauw; Joe Norton; Satyamurthy Pullela; J. Dunning (ICCD, 1997)