Timing verification of dynamic circuits. - Kumar Venkat; Liang Chen; Ichiang Lin; Piyush Mistry; Pravin Madhani (IEEE J. Solid State Circuits, 1996)