Criticality computation in parameterized statistical timing
Jinjun Xiong, Vladimir Zolotov, et al.
DAC 2006
This paper presents a method to compute criticality probabilities of paths in parameterized statistical static timing analysis. We partition the set of all the paths into several groups and formulate the path criticality into a joint probability of inequalities. Before evaluating the joint probability directly, we simplify the inequalities through algebraic elimination, handling topological correlation. Our proposed method uses conditional probabilities to obtain the joint probability, and statistics of random variables representing process parameters are changed to take into account the conditions. To calculate the conditional statistics of the random variables, we derive analytic formulas by extending Clark's work. This allows us to obtain the conditional probability density function of a path delay, given the path is critical, as well as to compute criticality probabilities of paths. Our experimental results show that the proposed method provides 4.2X better accuracy on average in comparison to the state-of-art method. © 2012 IEEE.
Jinjun Xiong, Vladimir Zolotov, et al.
DAC 2006
Jaeyong Chung, Jinjun Xiong, et al.
IEEE TCADIS
Chandu Visweswariah, Vladimir Zolotov, et al.
VTS 2009
Jinjun Xiong, Vladimir Zolotov, et al.
DATE 2008