STA with Variation 1. 2 Corner Analysis PRCA (Process Corner Analysis):  Takes 1.nominal values of process parameters 2.and a delta for each parameter.

Slides:



Advertisements
Similar presentations
Algorithm for Fast Statistical Timing Analysis Jakob Salzmann, Frank Sill, Dirk Timmermann SOC 2007, Nov ‘07, Tampere, Finland Institute of Applied Microelectronics.
Advertisements

10/4-6/05ELEC / Lecture 111 ELEC / (Fall 2005) Special Topics in Electrical Engineering Low-Power Design of Electronic Circuits.
Slide 1 Bayesian Model Fusion: Large-Scale Performance Modeling of Analog and Mixed- Signal Circuits by Reusing Early-Stage Data Fa Wang*, Wangyang Zhang*,
Modern VLSI Design 4e: Chapter 5 Copyright  2008 Wayne Wolf Topics n Performance analysis of sequential machines.
Recent Challenges. 2 Soft Errors Scaling:  SEU (Single-event upset): −Ionizing radiation corrupts data stored  Cause: −Radioactive impurities in device.
VARIUS: A Model of Process Variation and Resulting Timing Errors for Microarchitects Sarangi et al Prateeksha Satyamoorthy CS
On the Need for Statistical Timing Analysis Farid N. Najm University of Toronto
SE503 Advanced Project Management Dr. Ahmed Sameh, Ph.D. Professor, CS & IS Project Uncertainty Management.
Penn ESE535 Spring DeHon 1 ESE535: Electronic Design Automation Day 23: April 10, 2013 Statistical Static Timing Analysis.
Design for Manufacturability and Power Estimation Lecture 25 Alessandra Nardi Thanks to Prof. Jan Rabaey and Prof. K. Keutzer.
Logic Gate Delay Modeling -III
Variability-Driven Formulation for Simultaneous Gate Sizing and Post-Silicon Tunability Allocation Vishal Khandelwal and Ankur Srivastava Department of.
0 1 Width-dependent Statistical Leakage Modeling for Random Dopant Induced Threshold Voltage Shift Jie Gu, Sachin Sapatnekar, Chris Kim Department of Electrical.
Parameterized Timing Analysis with General Delay Models and Arbitrary Variation Sources Khaled R. Heloue and Farid N. Najm University of Toronto {khaled,
EE141 © Digital Integrated Circuits 2nd Timing Issues 1 Digital Integrated Circuits A Design Perspective Timing Issues Jan M. Rabaey Anantha Chandrakasan.
A Useful Skew Tree Framework for Inserting Large Safety Margins Rickard Ewetz and Cheng-Kok Koh School of Electrical and Computer Engineering, Purdue University.
Chapter 11 Timing Issues in Digital Systems Boonchuay Supmonchai Integrated Design Application Research (IDAR) Laboratory August 20, 2004; Revised - July.
Yuanlin Lu Intel Corporation, Folsom, CA Vishwani D. Agrawal
Fall 06, Sep 19, 21 ELEC / Lecture 6 1 ELEC / (Fall 2005) Special Topics in Electrical Engineering Low-Power Design of Electronic.
Non-Linear Statistical Static Timing Analysis for Non-Gaussian Variation Sources Lerong Cheng 1, Jinjun Xiong 2, and Prof. Lei He 1 1 EE Department, UCLA.
Penn ESE535 Spring DeHon 1 ESE535: Electronic Design Automation Day 23: April 22, 2009 Statistical Static Timing Analysis.
May 14, ISVLSI 09 Algorithms for Estimating Number of Glitches and Dynamic Power in CMOS Circuits with Delay Variations Jins Davis Alexander Vishwani.
Statistical Crosstalk Aggressor Alignment Aware Interconnect Delay Calculation Supported by NSF & MARCO GSRC Andrew B. Kahng, Bao Liu, Xu Xu UC San Diego.
Lecture 8: Clock Distribution, PLL & DLL
Input-Specific Dynamic Power Optimization for VLSI Circuits Fei Hu Intel Corp. Folsom, CA 95630, USA Vishwani D. Agrawal Department of ECE Auburn University,
TH EDA NTHU-CS VLSI/CAD LAB 1 Re-synthesis for Reliability Design Shih-Chieh Chang Department of Computer Science National Tsing Hua University.
Basic Business Statistics, 10e © 2006 Prentice-Hall, Inc. Chap 8-1 Chapter 8 Confidence Interval Estimation Basic Business Statistics 10 th Edition.
Penn ESE535 Spring DeHon 1 ESE535: Electronic Design Automation Day 14: March 19, 2008 Statistical Static Timing Analysis.
Assigned readings. SIGNALSTORM NANOMETER DELAY CALCULATOR CADENCE DATASHEET.
Statistical timing and synthesis Chandu paper. Canonical form Compute max(A,B) = C in canonical form (assuming  X i independent)
Penn ESE535 Spring DeHon 1 ESE535: Electronic Design Automation Day 22: April 11, 2011 Statistical Static Timing Analysis.
© 2005 Altera Corporation © 2006 Altera Corporation Placement and Timing for FPGAs Considering Variations Yan Lin 1, Mike Hutton 2 and Lei He 1 1 EE Department,
Jan. 2007VLSI Design '071 Statistical Leakage and Timing Optimization for Submicron Process Variation Yuanlin Lu and Vishwani D. Agrawal ECE Dept. Auburn.
Laboratory of Reliable Computing Department of Electrical Engineering National Tsing Hua University Hsinchu, Taiwan Delay Defect Characteristics and Testing.
Circuit Performance Variability Decomposition Michael Orshansky, Costas Spanos, and Chenming Hu Department of Electrical Engineering and Computer Sciences,
Statistical Gate Delay Calculation with Crosstalk Alignment Consideration Andrew B. Kahng, Bao Liu, Xu Xu UC San Diego
DELAY INSERTION METHOD IN CLOCK SKEW SCHEDULING BARIS TASKIN and IVAN S. KOURTEV ISPD 2005 High Performance Integrated Circuit Design Lab. Department of.
Review of Chapters 1- 5 We review some important themes from the first 5 chapters 1.Introduction Statistics- Set of methods for collecting/analyzing data.
An Efficient Algorithm for Dual-Voltage Design Without Need for Level-Conversion SSST 2012 Mridula Allani Intel Corporation, Austin, TX (Formerly.
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
Statistical Sampling-Based Parametric Analysis of Power Grids Dr. Peng Li Presented by Xueqian Zhao EE5970 Seminar.
MEGN 537 – Probabilistic Biomechanics Ch.5 – Determining Distributions and Parameters from Observed Data Anthony J Petrella, PhD.
Process Variation Mohammad Sharifkhani. Reading Textbook, Chapter 6 A paper in the reference.
Penn ESE535 Spring DeHon 1 ESE535: Electronic Design Automation Day 24: April 22, 2015 Statistical Static Timing Analysis.
On the Assumption of Normality in Statistical Static Timing Analysis Halim Damerdji, Ali Dasdan, Santanu Kolay February 28, 2005 PrimeTime Synopsys, Inc.
IBM Microelectronics © 2005 IBM Corporation SLIP 2005April 2, 2005 Bounding the Impact of Transient Power Supply Noise in Static Timing Analysis Over a.
1 Tau 2002 Explicit Computation of Performance as a Function of Process Parameters Lou Scheffer.
Variation. 2 Sources of Variation 1.Process (manufacturing) (physical) variations:  Uncertainty in the parameters of fabricated devices and interconnects.
Patricia Gonzalez Divya Akella VLSI Class Project.
EE201C : Stochastic Modeling of FinFET LER and Circuits Optimization based on Stochastic Modeling Shaodi Wang
Computer Science and Engineering Power-Performance Considerations of Parallel Computing on Chip Multiprocessors Jian Li and Jose F. Martinez ACM Transactions.
Static Timing Analysis
Department of Electrical and Computer Engineering University of Wisconsin - Madison Optimizing Total Power of Many-core Processors Considering Voltage.
Uncertainty and Reliability Analysis D Nagesh Kumar, IISc Water Resources Planning and Management: M6L2 Stochastic Optimization.
Lecture 8: Measurement Errors 1. Objectives List some sources of measurement errors. Classify measurement errors into systematic and random errors. Study.
MEGN 537 – Probabilistic Biomechanics Ch.5 – Determining Distributions and Parameters from Observed Data Anthony J Petrella, PhD.
Unified Adaptivity Optimization of Clock and Logic Signals Shiyan Hu and Jiang Hu Dept of Electrical and Computer Engineering Texas A&M University.
University of Michigan Advanced Computer Architecture Lab. 2 CAD Tools for Variation Tolerance David Blaauw and Kaviraj Chopra University of Michigan.
Chapter 4b Process Variation Modeling
Defining Statistical Sensitivity for Timing Optimization of Logic Circuits with Large-Scale Process and Environmental Variations Xin Li, Jiayong Le, Mustafa.
Timing Analysis and Optimization Considering Process Variation
Chapter 10 Timing Issues Rev /11/2003 Rev /28/2003
MEGN 537 – Probabilistic Biomechanics Ch
Advanced Jitter Analysis
Impact of Parameter Variations on Multi-core chips
Chapter 4b Statistical Static Timing Analysis: SSTA
Post-Silicon Calibration for Large-Volume Products
On the Improvement of Statistical Timing Analysis
Parametric Yield Estimation Considering Leakage Variability Rajeev Rao, Anirudh Devgan, David Blaauw, Dennis Sylvester Present by Fengbo Ren Apr. 30.
Chapter 4C Statistical Static Timing Analysis: SSTA
Presentation transcript:

STA with Variation 1

2 Corner Analysis PRCA (Process Corner Analysis):  Takes 1.nominal values of process parameters 2.and a delta for each parameter by which it varies.  Finds −performance as max and min values. Pros:  Simple Cons:  Conservative  Inaccurate  Inefficient: Not practical for many parameters Δ = 3σ

3 Corner Analysis: Conservative & Inaccurate PRCA shortcoming:  Process corners are assumed to coincide with performance corners. −Fact: best/worst-case corner may not depend on P min or P max for a particular interconnect parameter but on a value within that range.

Corner Analysis: Conservative & Inaccurate  -35% to 75% impact on delay?! ParameterDelay Impact Metal (mistrack, thin/thick track)-10% to +25% Environmental (IR drop, temperature) +25% V th, t ox ±5% PLL (jitter, duty cycle, phase error)±10% N/P mistrack±10% Pessimistic Analysis:  Design that operates faster than necessary but high power consumption 4

Corner Analysis: Inefficient Inefficient / impractical (if you want to be exact):  Needs 2 n STAs / corner files −n: # of sources of variations −2 7 to 2 20 analyses in practice  Has long been done for inter-die variations −Small # of corner files 5

Corner Analysis: Inaccurate Inaccurate:  Cannot provide design sensitivity to different process parameters −Useful for robust design (i.t.o. timing yield) 6

Corner Analysis: Inaccurate STA with worst-case says these are equivalent: 7

Solution: SSTA SSTA:  Allows to compute the probability distribution of the design slack in a single analysis.  If (timing constraint - delay critical_path ) > 200 ps  yield ≈ 100%  If (delay critical_path - timing constraint) > 300ps  yield ≈ 0  Can adjust yield during design process 8 -

9 Impact of Variation Importance of variation:  Timing violations −  Yield loss 9

10 Impact of Variation Process variations can cause  up to 2000% variation in leakage current and  30% variation in frequency in 180nm CMOS −Borkar, S., Karnik, T., Narenda, S., Tschanz, J., Keshavarzi, A., De, V. Parameter Variations and Impact on Circuits and Microarchitecture. In Proc. of DAC (2003),

11 Impact of Variation Die-to-die frequency variation 11

12 Statistical Description  The combined set of underlying deterministic and random contributions are lumped into a combined “random” statistical description.

13 Variation Parameter Parameters treated as Random Variables (RV) P i : a structural or electrical parameter e.g. −W, −tox, −Vth, −channel mobility, −coupling capacitances, −line resistances. Delay of each edge: a function of P i ’s  Delay: an RV too

Timing Graph Timing Graph:  G = {N, E, ns, nf } (directed)  ns: source node  nf: sink node  N: nodes  E: edges  d i : Edge weight: gate/interconnect delay Statistical timing graph:  A timing graph if ith edge weight d i is an RV. Critical path delay:  Changes from one die to another  is an RV SSTA must compute the characteristics of this RV  By computing its −PDF: probability-distribution function or −CDF: cumulative-distribution function 14

15 SSTA Environmental uncertainty (supply, temperature):  Modeled by worst case margins Process uncertainty:  Modeled statistically

CDF and PDF t1 Prob. that the delay up to this (output) node is t1 t1 Area under f(t) from 0 to t1: Prob. that critical path delay is < t1 predicted 16

Normal Distribution Gaussian or Normal Distribution 17

Normal Distribution 18 [Sill05] 99.7% to be exact

New vs. Older Technology Increasing variation Probability Distribution Delay New Old 19

SSTA  Can compute µ and σ  CDF and PDF can be derived from one another Given:  CDF of circuit delay and  required performance constraint Can compute  anticipated yield Given  CDF of the circuit delay and  required yield Can compute  maximum frequency at which the set of yielding chips can be operated 20

SSTA SSTA problem definition:  path p i −a set of ordered edges from source to sink in G Di:Di: −path-length distribution of p i, computed as the sum of the weights d for all edges k on the path.  SSTA finds distribution of −D max = max(D 1,..., D i,..., D npaths ) among all paths Motivated from PERT in project management:  PERT: Project Evaluation and Review Technique 21

Sequential Paths  T path = t 0 +t 1 +t 2 +t 3 +…t (n-1) t i for n random variables:  t i = (µ,   Assume: independent delays Path delay RV:  T path = (n×µ,  × √n) … 22

Sequential Paths 3 sigma delay on path:  Statistical:n×µ  n  ×   Worst case:n×(µ   Overestimate n vs.  n … 23

Parallel Paths  T cycle = max(t p0, t p1,, t p(n-1) )  T 0 = Timing wall  P(T cycle <T 0 ) = P(t p0 <T 0 )×P(t p1 <T 0 )… = [P(t p <T 0 )] n −Assuming: probabilities are equal For 50% reliability (Yield > 50%):  0.5 = [P(t p <T 50 )] n  P(t p <T 50 ) = (0.5) (1/n) 24

Parallel Paths  P(t p <T 50 ) = (0.5) (1/n)  Too Many paths N=10 8  N=10 10  For 50% yield, we need  6 to 7   T 50 =T mean +7  path 25

SSTA Challenges (*) Challenges:  Topological correlation  Spatial correlation  Non-normal process parameters and non-linear delay models  Skewness due to max operation 26

Topological Correlation (*) Reconvergent path  P 1 and P 2 share g 0 edge and reconverge at g 3 output node (r) 27

Topological Correlation (*) Topological correlation between the arrival times:  Input arrival times at the reconvergent node become dependent on each other  RVs are not independent  Complicates the max operation at the reconvergent node 28

Spatial Correlation (*)  For P 1 and P 3 (no edges shared) if gates g1 and g2 are close on the die,  Correlation between the two path delays  Affects both sum and max −With SC: −L eff, −Temperature −Supply voltage −No SC: −t ox, −N a 29

Correlation (*) Correlated Gate B delay Gate A delay Gate B delay Gate A delay Uncorrelated 30

Systematic (Correlated Random) WID Variation (*) Sample 1 Sample 2Sample 3 [Samaan, ICCAD 04] Models distance-dependent smooth variations Exact shape is unknown 31

Non-Normal Process Parameters (*) Gaussian distribution:  Most commonly observed distributions for RVs  A number of elegant results exist for them  Most of work for SSTA assumed normal dist. For −physical/electrical device parameters −gate delays −arrival times Problem:  Some physical device parameters may be significantly non-normal: −e.g. CD 32

Non-Normal Process Parameters (*) CD distribution:  Negative skewness (long tail in –ve direction) 33

Non-Linearity Non-linear dependence:  Even if some parameters are normal, dependence of electrical parameters (e.g. gate delays) on them may be non-linear −  Non-normal delays Assumption of initial work:  Linear dependence of gate delay on physical parameters −OK for small variations −Recent papers address this issue 34

Non-Normal Process Parameters Problems with non-normal:  Difficult modeling of an RV  Dependence between two non-normal RV cannot be expressed by a simple correlation factor 35

Skewness Due to Max Max operation is inherently non-linear  Max of two normal RVs is not normal −Typically positively skewed  Non-normal arrival time at one node is the input to max computation at down stream nodes  Need max operation of non-normal arrival times Most of the existing approaches assume normal arrival times 36

Skewness of Max  Error of non-normal is large when similar µ but very different σ −i.e. inputs of a gate have nominally balanced path delays but one path has a tighter delay distribution (e.g. passing from less number of gates)  For delay values < mean, A dominates  For delay values > mean, B dominates 37

Skewness of Max  Small skewness if similar µ and σ 38

Skewness of Max  If very different µ, the bigger dominates 39

References (*) [Blaauw08] Blaauw, Chopra, Srivastava, Scheffer, “Statistical Timing Analysis: From Basic Principles to State of the Art,” IEEE Transactions on CAD, Vol. 27, No. 4, April [Forzan09] Forzan, Pandini, “Statistical static timing analysis: A survey,” Integration, the VLSI journal, 42, [Sill05] F. Sill, “Statistical Static Timing Analysis and Statistical Static Timing Analysis and Modeling of Parameter Variations,” Lecture Slides, 2005 [Sinha07] D.Sinha,H.Zhou,N.V.Shenoy, “Advances in computation of the maximum of a set of Gaussian random variables,” IEEE Trans. Computer-Aided Design 26 (2007)1522–

References [Agarwal03a] A. Agarwal, D. Blaauw, and V. Zolotov, “Statistical timing analysis for intra-die process variations with spatial correlations,” in Proc. ICCAD,2003, pp. 900–907. [Agarwal03b] A. Agarwal, V. Zolotov, and D. Blaauw, “Statistical timing analysis using Bounds and Selective Enumeration,” TCAD 2003, pp. 1243–1260. [Chang03] H. Chang and S. Sapatnekar, “Statistical timing analysis considering spatial correlations using a single PERT- like traversal,” in Proc. ICCAD, 2003, pp. 621–