Name
Abstract | ||
|---|---|---|
The increasing significance of variability in modern sub-micron manufacturing process has led to the development and use of statistical techniques for chip timing analysis and optimization. Statistical timing involves fundamental operations like statistical-add, sub, max and min to propagate timing information (modeled as random variables with known probability distributions) through a timing graph model of a chip design. Although incremental timing during optimization updates timing information of only certain parts of the timing-graph, lack of established reversible statistical max or min techniques forces more-than-required computations. This paper describes the concept of reversible statistical max and min for correlated Gaussian random variables, and suggests potential applications to statistical timing. A formal proof is presented to establish the uniqueness of reversible statistical max. Experimental results show run-time savings when using the presented technique in the context of chipslack computation during incremental timing optimization. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1145/2228360.2228554 | DAC |
Keywords | Field | DocType |
min operation,established reversible statistical max,incremental timing,min techniques force,chip timing analysis,statistical technique,reversible statistical max,incremental timing optimization,statistical timing,timing information,timing graph model,computational modeling,statistical distributions,gaussian random variable,random variables,optimization,random variable,statistical analysis,timing analysis,logic gates,chip,probability distributions,graph theory,information model,chip design,integrated circuit design,accuracy,gaussian processes,probability distribution,variability | Graph theory,Random variable,Computer science,Algorithm,Theoretical computer science,Real-time computing,Probability distribution,Integrated circuit design,Gaussian,Static timing analysis,Gaussian process,Formal proof | Conference |
ISSN | Citations | PageRank |
0738-100X | 6 | 0.45 |
References | Authors | |
12 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Debjit Sinha | 1 | 147 | 18.25 |
| Chandu Visweswariah | 2 | 615 | 60.90 |
| Natesan Venkateswaran | 3 | 84 | 7.70 |
| Xiong Jinjun | 4 | 801 | 86.79 |
| Vladimir Zolotov | 5 | 1367 | 109.07 |