110 likes | 292 Views
Timing Abstraction. Pirouz Bazargan Sabet. Patricia Renault. Dominique Le Dû. Abstraction. Netlist Tr, C, R. Functional Abstraction. Netlist of Gates, C, R. Timing Abstraction. Gate Del ays. a. b. a. F up = b. + a. b. F up = F down. Functional Abstraction.
E N D
Timing Abstraction Pirouz Bazargan Sabet Patricia Renault Dominique Le Dû
Abstraction Netlist Tr, C, R Functional Abstraction Netlist of Gates, C, R Timing Abstraction Gate Del ays
a b a Fup = b + a b Fup = Fdown Functional Abstraction follow the current paths Fdown = a . b
Fup . Fdown = c.d.(aÅb) c=d Fup = cb + ca Fup + Fdown = c.d Functional Abstraction Fup = db + ca c Fdown = db + ca conflict a d tri-state b functional view ¹ timing view
y xi Delay Evaluation Accurate delay using electrical simulation Simulation of each configuration : 1 input switching while others are in steady state
d c b a x x x x x x x x x Fup = cb + ca x x x Delay Evaluation Fup = db + ca c Fdown = db + ca a d b
Delay Evaluation sources of correlation Include the gates until reaching the sources of correlation • size • some correlations are not useful • number of configurations
Delay Evaluation sources of correlation Explore the supergate to identify the configurations to be simulated Functional exploration
Fup = cb + ca x x Delay Evaluation Fup = db + ca c Fdown = db + ca a d d c b a b x x x x x x x x x x x x
x Delay Evaluation Functional correlation : b a inputs configs timing correlation transition delay between a and b depends on the delay of the gates involved in the supergate Electrical simulations should be done regarding the gates’ graph
Delay Evaluation Timing dependency