Title :
An advanced timing characterization method using mode dependency
Author :
Yalcin, Hakan ; Palermo, Robert ; Mortazavi, Mohammad ; Bamji, Cyrus ; Sakallah, Karem ; Hayes, John
Author_Institution :
Cadence Design Syst. Inc., San Jose, CA, USA
fDate :
6/23/1905 12:00:00 AM
Abstract :
To address the problem of accurate timing characterization, this paper proposes a method that fully exploits mode dependency. It is based on the premise that circuit delays are determined largely by a set of control inputs for which the number of useful combinations, i.e., modes, is small for most practical circuits. We take the mode-dependent characterization approach further and enhance it so that the delays of the I/O paths between the control inputs and outputs are calculated more accurately. We prove that, with a careful choice of propagation conditions, our method can generate timing models with very tight path delays that are guaranteed to give correct results. Experimental results using real-life circuits show that circuit delays can vary significantly among different modes for both control and data input delays, and capturing this variation can have a significant impact on the overall system timing.
Keywords :
combinational circuits; delays; formal verification; industrial property; logic CAD; sequential circuits; timing; I/O paths; circuit delays; control inputs; data input delay; mode dependency; mode-dependent characterization approach; propagation conditions; tight path delays; timing characterization; timing characterization method; timing models; Computer science; Control systems; Functional analysis; Permission; Predictive models; Propagation delay; Protection; Sequential circuits; Timing;
Conference_Titel :
Design Automation Conference, 2001. Proceedings
Print_ISBN :
1-58113-297-2
DOI :
10.1109/DAC.2001.156220