Timing verification of sequential dynamic circuits

David Van Campenhout, Trevor N. Mudge, Karem A. Sakallah. Timing verification of sequential dynamic circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 18(5):645-658, 1999. [doi]

Abstract

Abstract is missing.