Title :
Identification of critical paths in circuits with level-sensitive latches
Author :
Burks, T.M. ; Sakallah, K.A. ; Mudge, T.N.
Author_Institution :
Michigan Univ., Ann Arbor, MI, USA
Abstract :
An approach to timing verification of circuits with level-sensitive latches which focuses on the critical paths that constrain the operating speed of these circuits is described. The timing model used has been referred to as the ´SMO model´ (Sakallah, Mudge and Olukotun, 1990). Three types of critical paths (long, short and loops) can arise in the SMO formulation; verifying their timing is sufficient to ensure correct operation. An algorithm for identifying these paths is presented, and its relationship to other approaches to solving the SMO model equations is discussed. Finally, results which demonstrate the algorithm on circuits from the ISCAS89 benchmark suite are presented.<>
Keywords :
circuit CAD; clocks; critical path analysis; logic CAD; logic testing; ISCAS89 benchmark suite; SMO model; circuits; correct operation; critical paths; level-sensitive latches; operating speed; timing verification; Clocks; Design automation; Logic circuit testing; Operations research;
Conference_Titel :
Computer-Aided Design, 1992. ICCAD-92. Digest of Technical Papers., 1992 IEEE/ACM International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-3010-8
DOI :
10.1109/ICCAD.1992.279386
