1. Penn ESE535 Spring 2013 -- DeHon 1 ESE535: Electronic Design Automation Day 23: April 10, 2013 Statistical Static Timing Analysis

2. Delay PDFs? (2a) Penn ESE535 Spring 2013 -- DeHon 2

3. 3 Today Sources of Variation Limits of Worst Case Optimization for Parametric Yield Statistical Analysis Behavioral (C, MATLAB, …) RTL Gate Netlist Layout Masks Arch. Select Schedule FSM assign Two-level Multilevel opt. Covering Retiming Placement Routing

4. Penn ESE535 Spring 2013 -- DeHon 4 Central Problem As our devices approach the atomic scale, we must deal with statistical effects governing the placement and behavior of individual atoms and electrons. 10 100 1000 10000 1000500250130653216 Technology Node (nm) Mean Number of Dopant Atoms Transistor critical dimensions Atomic discreteness Subwavelength litho Etch/polish rates Focus Number of dopants Dopant Placement

5. Penn ESE535 Spring 2013 -- DeHon 5 Oxide Thickness [Asenov et al. TRED 2002]

6. Penn ESE535 Spring 2013 -- DeHon 6 Line Edge Roughness 1.2  m and 2.4  m lines From: http://www.microtechweb.com/2d/lw_pict.htm

7. Light What is wavelength of visible light? Penn ESE535 Spring 2013 -- DeHon 7

8. 8 Phase Shift Masking Source http://www.synopsys.com/Tools/Manufacturing/MaskSynthesis/PSMCreate/Pages/default.aspx

9. Penn ESE535 Spring 2013 -- DeHon 9 Line Edges (PSM) Source: http://www.solid-state.com/display_article/122066/5/none/none/Feat/Developments-in-materials-for-157nm-photoresists

10. Penn ESE535 Spring 2013 -- DeHon 10 Intel 65nm SRAM (PSM) Source: http://www.intel.com/technology/itj/2008/v12i2/5-design/figures/Figure_5_lg.gif

11. Penn ESE535 Spring 2013 -- DeHon 11 Statistical Dopant Placement [Bernstein et al, IBM JRD 2006]

12. Penn ESE535 Spring 2013 -- DeHon 12 V th Variability @ 65nm [Bernstein et al, IBM JRD 2006]

13. Gaussian Distribution Penn ESE535 Spring 2013 -- DeHon 13 From: http://en.wikipedia.org/wiki/File:Standard_deviation_diagram.svg

14. Penn ESE535 Spring 2013 -- DeHon 14 ITRS 2005 Variation (3  )

15. Example: V th Many physical effects impact V th –Doping, dimensions, roughness Behavior highly dependent on V th Penn ESE535 Spring 2013 -- DeHon 15

16. Impact Performance V th  I ds  Delay (R on * C load ) Penn ESE535 Spring 2013 -- DeHon 16

17. Impact of V th Variation Penn ESE535 Spring 2013 -- DeHon 17

18. Variation in Current FPGAs 18 Penn ESE535 Spring 2013 -- DeHon [Gojman et al., FPGA2013]

19. Reduce Vdd (Cyclone IV 60nm LP) Penn ESE535 Spring 2013 -- DeHon 19 [Gojman et al., FPGA2013]

20. Penn ESE535 Spring 2013 -- DeHon 20 Source: Noel Menezes, Intel ISPD2007

21. Penn ESE535 Spring 2013 -- DeHon 21 Source: Noel Menezes, Intel ISPD2007

22. Penn ESE535 Spring 2013 -- DeHon 22 Old Way Characterize gates by corner cases –Fast, nominal, slow Add up corners to estimate range Preclass: –Slow corner: 1.1 –Nominal: 1.0 –Fast corner: 0.9

23. Penn ESE535 Spring 2013 -- DeHon 23 Corners Misleading [Orshansky+Keutzer DAC 2002]

24. Penn ESE535 Spring 2013 -- DeHon 24 Parameteric Yield Probability Distribution Delay Discard Sell Premium Sell nominal Sell cheap

25. Penn ESE535 Spring 2013 -- DeHon 25 Phenomena 1: Path Averaging T path = t 0 +t 1 +t 2 +t 3 +…t (d-1) T i – iid random variables –Mean  –Variance  Tpath –Mean d×  –Variance  d  × 

26. Penn ESE535 Spring 2013 -- DeHon 26 Sequential Paths T path = t 0 +t 1 +t 2 +t 3 +…t (d-1) T path –Mean d×  –Variance  d  ×  3 sigma delay on path: d×  d  ×  –Worst case per component would be: d×(  –Overestimate d vs.  d

27. Penn ESE535 Spring 2013 -- DeHon 27 SSTA vs. Corner Models STA with corners predicts 225ps SSTA predicts 162ps at 3  SSTA reduces pessimism by 28% Source: IBM, TRCAD 2006 [Slide composed by Nikil Mehta]

28. Penn ESE535 Spring 2013 -- DeHon 28 Phenomena 2: Parallel Paths Cycle time limited by slowest path T cycle = max(T p0,T p1,T p2,…T p(n-1) ) P(T cycle <T 0 ) = P(T p0 <T 0 )×P(T p1 <T 0 )… = [P(T p <T 0 )] n 0.5 = [P(T p <T 50 )] n P(T p <T 50 ) = (0.5) (1/n)

29. Penn ESE535 Spring 2013 -- DeHon 29 System Delay P(T p <T 50 ) = (0.5) (1/n) –N=10 8  0.999999993 1-7×10 -9 –N=10 10  0.99999999993 1-7×10 -11 Probability Distribution Delay

30. Gaussian Distribution Penn ESE535 Spring 2013 -- DeHon 30 From: http://en.wikipedia.org/wiki/File:Standard_deviation_diagram.svg

31. Penn ESE535 Spring 2013 -- DeHon 31 System Delay P(T p <T 50 ) = (0.5) (1/n) –N=10 8  0.999999993 1-7×10 -9 –N=10 10  0.99999999993 1-7×10 -11 For 50% yield want –6 to 7  –T 50 =T mean +7  path Probability Distribution Delay

32. Penn ESE535 Spring 2013 -- DeHon 32 System Delay

33. Penn ESE535 Spring 2013 -- DeHon 33 System Delay

34. Penn ESE535 Spring 2013 -- DeHon 34 Corners Misleading [Orshansky+Keutzer DAC 2002] Phenomena 2 Phenomena 1

35. Penn ESE535 Spring 2013 -- DeHon 35 Source: Noel Menezes, Intel ISPD2007

36. Penn ESE535 Spring 2013 -- DeHon 36 But does worst-case mislead? STA with worst-case says these are equivalent:

37. Penn ESE535 Spring 2013 -- DeHon 37 But does worst-case mislead? STA Worst case delay for this?

38. Penn ESE535 Spring 2013 -- DeHon 38 But does worst-case mislead? STA Worst case delay for this?

39. Does Worst-Case Mislead? Delay of off-critical path may matter Best case delay of critical path? Wost-case delay of non- critical path? Penn ESE535 Spring 2013 -- DeHon 39

40. Penn ESE535 Spring 2013 -- DeHon 40 What do we need to do? Ideal: –Compute PDF for delay at each gate –Compute delay of a gate as a PDF from: PDF of inputs PDF of gate delay

41. Penn ESE535 Spring 2013 -- DeHon 41 Delay Calculation AND rules Day 22

42. Penn ESE535 Spring 2013 -- DeHon 42 What do we need to do? Ideal: –compute PDF for delay at each gate –Compute delay of a gate as a PDF from: PDF of inputs PDF of gate delay –Need to compute for distributions SUM MAX (maybe MIN)

43. For Example Consider entry: –MAX(u 1,u 2 )+d Penn ESE535 Spring 2013 -- DeHon 43

44. MAX Compute MAX of two input distributions. Penn ESE535 Spring 2013 -- DeHon 44

45. SUM Add that distribution to gate distribution. Penn ESE535 Spring 2013 -- DeHon 45

46. Continuous Can roughly carry through PDF calculations with Guassian distributions rather than discrete PDFs Penn ESE535 Spring 2013 -- DeHon 46

47. Penn ESE535 Spring 2013 -- DeHon 47 Dealing with PDFs Simple model assume all PDFs are Gaussian –Model with mean,  –Imperfect Not all phenomena are Gaussian Sum of Gaussians is Gaussian Max of Gaussians is not a Gaussian

48. Penn ESE535 Spring 2013 -- DeHon 48 MAX of Two Identical Gaussians Max of Gaussians is not a Gaussian Can try to approximate as Guassian Given two identical Gaussians A and B with  and  Plug into equations E[MAX(A,B)] =  +  /(  ) 1/2 VAR[MAX(A,B)] =  2 –  /  [Source: Nikil Mehta]

49. Penn ESE535 Spring 2013 -- DeHon 49 Probability of Path Being Critical [Source: Intel DAC 2005]

50. Penn ESE535 Spring 2013 -- DeHon 50 More Technicalities Correlation –Physical on die –In path (reconvergent fanout) Makes result conservative –Gives upper bound –Can compute lower 2 3 14 Graphics from: Noel Menezes (top) and Nikil Mehta (bottom)

51. Penn ESE535 Spring 2013 -- DeHon 51 Max of Gaussians with Correlation Max of identical Gaussians [Blaauw et al. TRCAD v27n4p589]

52. Penn ESE535 Spring 2013 -- DeHon 52 MAX of Two Identical Gaussians Given two identical Gaussians A and B with  and  Plug into equations E[MAX(A,B)] =  +  /(  ) 1/2 VAR[MAX(A,B)] =  2 –  /  [Source: Nikil Mehta] Extreme of correlated: is just the input Gaussian

53. Penn ESE535 Spring 2013 -- DeHon 53 SSTA vs. Monte Carlo Verification Time Source: IBM, TRCAD 2006

54. Penn ESE535 Spring 2013 -- DeHon 54 Using SSTA in FPGA CAD Kia –FPGA2007 –Route with SSTA Le Hei –FPGA2007 –SSTA Synthesis, Place, Route [Slide composed by Nikil Mehta]

55. Penn ESE535 Spring 2013 -- DeHon 55 Impact of SSTA in High-Level Synthesis Scheduling and provisioning –ALU/MUL  =5% t nominal [Jung&Kim ICCAD2007]

56. Penn ESE535 Spring 2013 -- DeHon 56 Summary Nanoscale fabrication is a statistical process Delays are PDFs Assuming each device is worst-case delay is too pessimistic –Wrong prediction about timing –Leads optimization in wrong direction Reformulate timing analysis as statistical calculation Estimate the PDF of circuit delays Use this to drive optimizations

57. Penn ESE535 Spring 2013 -- DeHon 57 Big Ideas: Coping with uncertainty Statistical Reasoning and Calculation

58. Penn ESE535 Spring 2013 -- DeHon 58 Admin Reading for Monday on blackboard Milestone Mondays