Static Timing: Back to Our Roots
R. Chen
, E. A. Foreman ,P. A. Habitz , J. G. Hemmett , K. Kalafala , J. S. Piaget
,
P. Qi , N. Venkateswaran , C. Visweswariah , J. Xiong and V. Zolotov
IBM Microelectronics
East Fishkill, NY
ABSTRACT
!#"$%"&'($)+*,#-%.*/012*354
76869
%"$*
:;1.*
<!*3=+* +&>?@3"/%AB*:/"*
$*C
D&E+*F!2*3;:G&"H+*DIKJ 323CLCL%!3 AM6
.*CN%+.O/+%
&*>*
$(*
*21"D!*3PQ:
&"+R&*@&"ST&*32UIJ .CNCL%!
:
+"H+.P*3V&"@"D+..P*U!.2W+%$%# !X#Y'/>[Z3CL%"*"\.C
.*GA 'ZE69.]3W!
:*1P?9D!H2.%/!^12*3_A #`%/!*a'(>.*C
%"("D!$Y"b$-%*2`&*Y6.Y"
Z
%#$c.*(.,I
d .32*3CL%!
.]:
&"X&*a2["D+..P*U!..e$2a'/`3+*
1?1+*
/&"2gf+H&M+3DA$?h*b'0CL%/!..WiN
"D!.*EjbJUk<ljm*C!JU.bk0!".C
&* nM%-%*A o)6\3%!"pZ
."VSU!
CL' +]J 1P*]qT+
q&..&srM1D:+lJq^qmr\nM,.*;3ED!.%[."DIt76B$:"DA
U!3Cu' +=+P".>&Z
v($"c?w"xZ
G#"..*/!">%.#y.H8+*
&"Y*;+* +'
cW*
%"#1*D!9..*(Iz9
V +("V{
"&
C
%".'(%1"
*.:P@EZ
.Cu%$"*$"0 +3Cu' +#z+
"(!%+ AU+*
3*3"&*0|*7:
1/3P.P@?w"TT+*
..*)&2/
"H(M?
:
+"H+.P*W62e.*
!"CN21/A}*
%"#1*D!RA}&D+.%/+|12*3%+C
*32pZ
DIq&.~"$Z%$*O!*
,&(
Z
,"&Z32!"E"*/
*cH6|,!*3.*
Z
&"R+g%!
.c$+.*DI
1. INTRODUCTION
IBM Microelectronics
IBM Research
Essex Junction, VT Yorktown Heights, NY
JUP"*3"CL'TD&2%0.2*31 +*
1'(*>0'("/%+VX#%+
*
p/Z
?2P"M2.*3@:"{
%!.*V?(
.P.D+*P"D&%#."%Z
DI^rM%$*/A.*C
%"+&.*@:
!"R!'
..HU!^%+T&2.*
)
|6B..CLZ*3"/)
C
/I}k0&"X&'..2Rb%/+*E'(B%R!{
$+T%+.
CNCL%!
.Ylw"T'T&XnU+*
6..*
Cu%+32lw"[%/!RnI d 2X
.*a%!
W:G&"X&*a.1?wZ
"
$"['
"P*
36*.*/X)T&R!.5%"&"R&:
!"R!X*]+*
Y*
(*
*.c"D&*C
3P:
+"&R+.P* IV
R*+
..P*UA}("D&Z";!*3e:P.D+PV:
!"R+*
%*/D+.*Y' +HA/./%/&+*
c*
(*
*.>"D+*
%GP*
*DIM
"*Y..*V1
/3P.P>@Z9!}6a+}? @Z
"%
?^:
+"H+.P*O!%%$Z"D+$2/AG-1%2$*2/AM&*;62OE1*
.[Z
?|(C
.,I
Z32.CL%"*"g.2*39.B *T&Z
"&y/*
*SP?%P"*
"CN'T&&bD+.%
..*;W +*
c
cEZ
.Z
Y?0*
{
%!*&Z
"%V?0:
+"H+C
.* I d ..*CN%+.]:
!"R+*zT!1"D+..P*U!..a'G#*zT&*.]'
&*/!".}f+R!@&
.DA
XI /I.A3[
R&5?0+*O&"%[?S.*
)P"D&.
R+""?h"H+12*3Z3"(P +*5?h"/+")
S.*(IU9
/&"2gf+H&..b.b?2*`*"/
Z
%;'/PCN%/!..#i&jbJUk
"D+*3
%#-1%.*/DI o
u*
(*3*/."D!*3:G&"H+*W./!3@cD&2.C
%/&(%/!*3%#.R!.*>
D6*eU! A_&*).B"$?h"9PZ3"&%?}.*3
%"$.UU!".%ZR!".0D6b+"}#XZ@X#DI_. :
+"H+.P*bUu/.%/&2.
.Z1G#@2*0
|3+".}f+H+^&32. .*cM"D+
.*T&/
.P>+*
.9
#"$?wP"S"3&c($+..&.%/+./I
9Z
B "D+
.* !.2*39
.PZ
v("}?w",!*0
"D6C
'U!%+I_T."DA3TR+"Pm*ZE'("}?3%P"*3" EZ
&U'^%7:#"$b0U!*3
\3V6^P"a6@&V*Y6932.Y
z+Z
"V6S!;!*]2*$"*+V
r &/&"%!
\Z
"9.*z+.
T+'($%!}""
Northwestern University
Evanston, IL
%+.CNCu%+.z:
+"H+.P*UI##%*
AT.*%.Z
*
;6..*CL%+
a:
!"R!X*
.*/c+*>+"gf!R+
.Slw2""$(%.:P\P?_\/2%+(RXPZ
^?g
%."%#Z327nS)(&12.%/IK9."TA^.Z1
*
a.*
(*3$*3.]"D+*
P
:
!"R+*V.*@
\/&"}f&X&\
.2m6.Z
|D+X2.%/+%/!*3%#.R!X*
.B(&..2%IUPZ3"TA(!*1/!".gf!R!X0.2|"p/Z
"@U!XCL'U!
JUP1*>qT!>q&..&rT#1D:
!GlJ9q|qmr0ng+"&3<?wP"g%P""%$
T&*32.*
Wlw1"ED&2.*.*]D%$*]PnA
vG#"*04TX:"?
6.%+Zv("\?h"$y3(**R!}P"\pZT+
"D+%@%
.y/Rc.*"D+
/I
m,!.*@%P*"'3Z.*
?3. U!("B!"/mln3z&.*
Cuv1p/ZT&.2u
EZ
.Cu%$"*$"T
Pb +T%+%+/\+/2G!/%P"*3"&T.*|.*2
..*"Z
* I5
.[#H/
P+769E?wP"5!%%$Z"D+).*%$Z
.P*e?
T&R!S%""#H&2*TA%""$%#5 +*
.*
z?E*
$(*
*."D+*
P
:
!"R+*O+*
,+#!.2%/&T"/+1*/P?@Z
'
#0?m[Z"%$S?
:
!"R+* Il2'Tn^*7:PmD+.&X%/+m.2*3Y$2,69.W
?w.D6.*'(*
{H
IJUP""% +*
.*
P?9&.}
"bR/(9? :G&"R!.*TI
Im0'
.H\[+Z,+%/&\":MD!..%/!R0/3#.}?h"
y2.*
%"*
"CL'T&Y3#HX)/3#9*cb433I
ImU.*/&"T.@+"&3T +T%/!.B6|3HH+"P|%!
[
#.P*3I
IrT$Z%$c.*
1(&12,I
ImZ.)*
%"$*3D&}("D!.*5T&\%+*c'(bZ3&c$-%*2)X
Z.
b
/&.%/+g&*33&.9P.DI
um.M.(P"D&*m*
PHT+M:"T&*
%X
E+.P*[?G
"D!X*
%/-%$$*3EY !*
.>632*3CL%!
W:+"H+X2*TA}&.*
CLvz21*
+
*|'($*V."m*
/+"CL.9P"m.*%"1*/D+H*
%99..0?g3
T&("DI
)"(!*32+*eP?3)"&@P?
) +("E.Y&[?h2.769DI5
EZ
.Cu%$"*$"0 +CN' +#z+
"(!%+Y0
%"'G.*]D%$*zPA3?w.C
.6|a'/W
5..*/+"CN15/
.*
O!*
z..*,$2PW.*
D$%.*WPI7($%X&|+**>.BT&2>X1 +H+(%""R!.*>2*`D$%C
.P* I9D%.P*e0"$#*\*Z
"%/+g"&Z329*52*3Z
"R!B&*
%+.
2*DA^?2P.D6^$'/z%P*%$Z
.P*
`!*3?2ZZ"6|"].*D$%C
.P*aI
2. MULTI-CORNER TIMING
.E#%X*e
%#".'(c[[Z
.CL%"*
"E..*$
/.P;T&
".U*c 3H0/
#6@X
|2'T&HA +H+_&*b*
(*3#*.
"D+*
:&"X&.P*
9'
"P*5PZ31.&XI
2.1 Traditional CPPR
d V
{"@":/.6HV6^#..CL*769*KJ9qmq|r+.P".
&^'G#?2"V
C
%"'
*35EZ
.CL%"*
"y/*3&.P*
DI1Jq|q|rO2+*,&*/XH+\&*T+./
%Z*/"U!")!*!".Uf&R!.>.*3$XX]RIKT2GI0
769,)R/.%/+2ZU!X*]69V%2%+a"e!*z%#E'.*U!.* !
FP2
Clock tree
LF
FP1
CF
LF2
LF1
Path 1
CF
Path 2
¡N¢G£ ¤D¥¦G§¨^¤D©
ª ¡N«¡N¬GU©®B¯°b°@±)²
U!3B'G#u6B*)4323CL4
P
DI}³b&%!)%['
.*T+.P*U!G +)U!bBH+Z*3%+C
.*,%%+e +<!*
F%/!3Z".*
;%#.%+eT&TA 6.%+z[*z
%./%+>"$>!E*
/
b%/+.c
b´&µH¶P·
¸L¹wº7µ^»3¶P¹h·
¸NIM\&Z
*3;0Z
DADX9R!Z3*%+T&2M
\R&CL/
9T&,+*
9%/&Z3"9T+
3[3&".3CN13
[ +UI\93133&.%/!..Y%P* !"\P?ME%2%+
"lwZ3+H"3+¼P?|?w"*/X"b(*Dn^%/!*3*b'('(PX`/!".O+*
R+!bX1&./A_'
Z
b
b.@
,+Z
X2*W.*W3*
R+
..*GI57eJ9qmq|r.bZ$`5"7:3S21*
5($+..&,IS
H*
.&.
$?h",ATJ9q|qmr(Vlw.*,"
"P?M%#"..%/!..H}n&.T !3
./!3*
\T?&&.*\X#U(*+*@.#}3+%+E*
|6\.@mH+Z*3%+C
.*;+"":
!}21c&0
@?h"*/."\(P.*pZ +$)XE%/+
Z
"*3
&"":+mX/I[
.21.*
cT&W.*W
.>!* +/.@
$"*
#b3
{3*T&|H+%+Olw"b.*
Y+"P.*Tnb&b$EP.*3#Ag69
%+`b*:#"
6|"&c +*]YD&"*
WH+%+gI]
uV.V1("D+*/`*YXT+.?
3){"@T!Ha#.
Y1R+";J\qmqmrF%"
5lw&Z3%!+YqT&T1?w"
R+Z
*%+
*3V4cU\V%/&Z3"2*3V4zJ ].*YM.(I}A/6\.Y?2"P*.#"
G*/M\q^nADMm(&.'.9T&0^+Z3'CL%"..%/!
+,lwZ%&;+qT+ A
6.,|
.v("*/M?w"P*."M(P.*M\q^n(6.
*
76]'(
.2..*T+
.*%$.SP'3D+*
>@,!..">Jq|q|r%".D(/Z
>&2T !XbEZ3b'(
%+
#%+$c..}3b{*U!_X&%!)%/&*c'(S%$P""%.)½hZ3+H2{3# I <&"D+.PC
?2P"6b&"e..$*3D&.P*WP?^;Jqmq|r+"3@#y(**/R+
.*W%$P32yu3A^+.
ZK[p/Z +"D&.%;+"3%/+*`'(;+%+.:P
6.]S%:"0 +D+H"+Z3%Z
"/IB
R*
"D!%.%/A
5J\q(¾.E0
.*]%!3%+a'a.X*
`
5*/Z
E'("?U!
1#y.P"z(".*3
DA6.%+Y.[+*a+
"Dy/.,!.*TI
2.2
Generalized CPPR and extensions
J9q|qmr+"23¿+'(7:%/+*;'(1#y$*3#;[email protected]%P"*3#"
.ZT&.P*bZ
&.*E&*>!.P".
<%+.2$b*
"D+.>J9q|qmrelw"}GJ\qmqmr
?2P"b"Dnb&XI@
H*`X.@%/+&/Am+@U!3c&"(;?h">J9qmq|rK3Z"C
GA$
M/&.%/+.*3P*3Cu%$*b !"g?/X
MX&Z*3%!
*
(f!%+Z
".*
U!eU!."[.E.!5&2m2$(!m%#"*
"[c{*W
)T&CN(%#.{
%
6|"&%"*"+*
;3E%#""(P*3.*
>.*)H+%+c'(?w"E:*3
b*y/9U! IM0(+.*TA/
@*UÀÁ.:Pb..#*D&2*Y?T
.&C
".2My/GP*3#*R!Ul+*Y|p/ZT&"D+.%E!.P".?w"M_Jq|q|r,
*3PM#y.+DnHA'Z
m
9*ZE'G#"MP?(T&mXT&S&"1+* !./1("|.*3
9R/32%+)..TIU9Z[&g%P"*
"[+"b%7:#"c.*z9+.*
..*1"Z*UITÂ\PbX +9H+%+>%!*c#6^P"b
Z
"*
1b3"3%$Z3"
?T%!
%!*3;!.U%"+*3"Imt0*3%@6^@
"\*$zZ +"+*$#Y(C
..%b+D&".*V%"*"9?h"1+}
"/%$0:
!"R+'
.#DA3"9b6Bb :
`"%&;&29..*`&V*8>%$"D!.*GP.:YH+%+a69.*76EI
Z"$"["{
*1*&*a-%$$*%`*U!*3%#*Y+")&%".'(
.*].!RIB
H*"D&%.%3A
6
*]S%!
.0%2[V&.P*3CLvmA
P*3eS&,+.
%$*;?|HE%!
,.)&*T+,*bU!
C!&*CN$y3 +Z
:#CN%P"*3#"
'U!.AG!*3W&BP*;!SB(&.:R!%+&bB.2*3E^%/&*)'(0½2ZC
.{$c'/`+.}
bX.*%"$.DA/
ST+XYG#..*1/Y.\$y3. I
d Y$+%$"'(c"y$**V?S(J9qmq|r"I
H*3.**3#"
./Y?T_Jqmq^r9A33@*
($*
*/>"D+*
(P".*YP?TH@
#RX
?&G!Y!*
z69."1*zX>/%/+.e*3P*
CL%*zU!a%3+*
Frontier
point
Bounding box for proximity
credit computation
9¡N¢G£ ¤7¥Ã(§°b¤7¬3Ä}¡hÅW¡N«!ÆzÇP¤7¥/ª ¡N«¡h¢G¯°b°b±>²
Initial timing with random and systematic
parts contributing to early/late split
For all failing timing tests
For all paths leading to the test
For all legal process corners
Time non-common portion of path with
a) Independently random statistical cancellation
b) Hybrid credit
c) Proximity credit
9¡h¢(£ ¤7¥ÈG§ 9®h¬3ÉÇDÊ ©¤D«Ëu¬G¤)¢G¯°b°@±)²
'(@D+.%/!..cZ1TA3+.*
>HW&*]r03lr /1DZ3Ì#p/Z !"n
%"
.)ÍP¶PÎM·eÏ[»3ϸuÐ@%1T+"#,W+*;.*.R!TX.*>6"[
[2*3C
$(*
*/.W"D!*3s +"E6@+[Z
(a*O!*a/+"gf!R+>.DI
c%+/a"'.Ì.VT&V
c2*3($*3#*z"D&*3PÑ +"V?
:
!".Z
1T&aR!"W+%$ZT+.W%"&"R+z.*%>$W%/!*a"D&C
:$"+b&@%1*X.*,+"%lw?2"Z
*T+$3A.\:H+.P*c%/+*
/&+..Y'(E'(PZ3*$;'a+&Z.*
>%$P""R!X*,%/-%$#*0P?mW+*
nIY
5%$P*
a$y3$*.P*a.1]!%+32:e,ÐPÒDÓ#µ$¹2Í)"1.y/a%"C
*$"Df+D!..%3+B.*,'/W"!X*
+Z3'$1P?9>"%$#1:+".C
+'
.[.*1D+.%/+^?&&
*e.*e
V2*3*$"[.Pe?(J9qmq|r\AgX/Z
+%+.:/.*er9V%".>ÏPÔ#µH¶PÕ&Õ1¸NÐPºb»_µH¶#Ô+º#Õ&Õ1Õh»3ÏÔ&º?wP".bZ'3&S?
:
!"R+'
$IgT* +./A^»_µR¶Ö#¹h×E¹h¸NÒ@Ô#µXº&ÍP¹h¸P%/!*'1&%!
.:P['3E%Z3C
.*Y3V33&.%/!M'(PZ3*
.*c'(7y,P?@&.|
*
bP?BX
VR+Z*
%!3*
z+*
%/&Z".*
0U!39+*
E
"D!X*30
^T&R!GP".*E?3m/!".}f+R!
.?^(&)!*
,62"*;X
T+;'z@?w"D+%#H2*`'U!,P*,
)?9
E'(Z*3.*
;'ylw#)T(I^nIaØmZ
),
>U!XCL'U!
*T&Z"5P?3z+"3,AS&32.*T+9*
T&*%1*/V6^"Y.
.C
*/X#a.*
%.Z32*3OPn9"+*/EP?/*76*a&U!"D+'
>T&"D+#H#"
.*;^2.*
/+"m?&+&32*;lwRI I2A$*
@/+%+VZ%+VT&"D!'329U!"D+$"^X
T6B"CL%/&+|%P"*3" *
(*
*.}n7' n
(&..&".?
?w" EZ..C
.\*2\%#Z
.*@:P*b+*5T&Wlw'U!)*WZ$"Cu($%.{
3"#.)*)30!y2EZ3*/Z3['("|?^+P"&"|*|E%$P*
&.$"
("MU! n+*1%/nG:&"2ZMT&1{
$"2*3b%+
*
p/Z
M'T+#[* AD/I (IA
**CN%*5T&cH+*
%/A1"&3Z%b3b*ZE'("P? %+&69"
?wZ
. %"*
"1+*T&2&.\2\"pZ."&UI^T._IU&Z3,!".\@#pZ
*%
?
..*$ 1!3.b(J9qmq|rY6c+
^y/*
.P*
T3&%".'(
.*YX
9&%.*TI
3. STATISTICAL TIMING METHODOLOGY
.%$2*F
%"'G#z;*3D:@D+.%/!b.*
O
R*/X"&*
.%/f!.P'U!
:+"R!.*
JUP"*3#"E
JUP"*3#"E
Û
#/,!X%S:+"H+.P* Û Ù Ú JT"*"[
+"
R*
(*
$*3.)"D!*3:+"H&2*
J "*
"[ UJ P"*3"[
R!
/ &"2
JU"*
#"E
R+
¡N¢G£U¤¥ÜG§1ÝS©¤D¡h©«#¡w¬GT©
®ªU¥®N©Æ]ÅW¬}ª ¥®N¡NU¢G²
U! T.*%"1*/7!RA7(&T.2*33+"T%.#y.HA
!*
["$Z3%#T(C
.,I
3.1
Variational delay modeling
|j Z
" /
P.PSZ#U^:
!"R&2*T+/
.2*3%+$^
"(P
.*,+
?h"[email protected]%$P"*
#"M.*GI}T._I D69mX9:
!"R+.P*1P?(
#RX
3Z9b*
9Z"%$\?_:&"X&.P* Ig\
R[1
%P*.mP?(3"#
%(*
*/DI]\*O*"*
&.%Y"V.P'T&\%$(P*3*/V%/&Z3"V%!
.C
Cu%+32]:
+"H+.P*UI#3$,!X%c:+"H+.P*]%/+
Z
"#]iL"3%D+'
$o
&%"PCL%!3:G&"H+*O+**3%2Z3$ET&R! %(*
*/0P?M
3#Rz
RIOM.* !./Am*3(*
*.z"D!*3Ì:G&"R!.* +)*3
%""H+.P*3)+*
%/!*'(cr0
7,
D6*OST&TI9
[%!U!"D+%$"2+C
.*E"/%$Z3"B"p/Z
"E3"/Z3%BZ%+E/
*:P.:P$T%"/+*3
pZ +{
%/+.P*1%!
|69.V(%H+
&|+%"b+m,!*[.%3+.P*3^*
35%+. I³+%+z,+%$"; +["(/+$].*
D+*%$1?\%$2"%Z
."WU!
?23%$Z
\*zU!".%Z
H+"\U!"D&"\?T.*"&DITb:+"R!*
%b?T
%+
+*>.:PZ
)*"2*3&%">'T&D!X.%A^:
!".C
&*%P?,!%"a+*)69..*3,%!
:>Z
>3;/+%
%(*
*/DA_!*
5
b:
&"X&*%S69.32*>3+%+c,&%":Z
S.*C
3#G*
*"+*3P¼%$(P*3*/DI[93V
#RX/bP?^T(I !"!.
%+ +"D+%"+?hZ
*
%.P*3SP?m:P.D!+*
`H#G#"D+Z3"&/I[.*C
".*.%\%PP*
#*|
${*$^30%"*"|?wP"m[Z
.CL%"*"|.2*3_I}
%"*"|.^
&*;!*1*/|?}/&%!V&Z"%\?_:
!"R!.*)X@P*
? .\$y3"$b:
+Z
#DI
rT?h$""*
``T.(I AM?wP"%$"*$"Cu'U!]Z3"(P1c
R&!
%"*"[&"/
Þ)ß#àNáâUãHä!å&æ çéè Û Tê Ù Mê Ú lHPn
Þ)ßDàwáâ}æ.ä+ëNãìè Û í Ù Tí Ú lHPn
&*a.269.5?h"1%"*
"YPIYÂ5 +13>3$,!.%e&*a*
C
G#*3$*3.z"D!*3îT+"W+"
{*3*5("CL%"*")' +&.DA^
*3Y,&"b76,+*/,Z
"%@?^:&"X&.P*K&"%#*
" AgX
&
v($%[+"b.Z($c.*/.*P.bX#"DI
9Z
06|b#b !93#"b.0.*3#"*.W!*c3&"}f&X&b.29.*Y
.2*3,]!%%Z*/E?w"[6..*CL%+
e:+"R!.* Ic\3[/+"}f&H+
.!%%Z*S?2"&U!R+T:
+"H+.P*UA*
(*3#*.Y"D+*
~:
!".C
&* A
EZ...E.*3Z\6\.%+.*GA
.*.H+ %+ +"E*.*/"* +U*/3
?U(+X#DAP%Z
..*1*3P.Sv($%DAP%/IUG"\..*
13/
G*/ ?:/.6[A
&*1/&".Uf&X&B..TU! */Z$"ZT#"*
%.Z
Tv(%DA
.*%$Z
*3[
0"p/Z
"$*/^?} +CN' +&)*3P*CN.*%$"#*D+(.*3
&"XDI<j^*5_&9?Z
"V$
/.Pa.VW"O?
/&"2gf+H&0&32.|*)
0%%+"\Y&B@'(!'30E"Z3"*>EZ
"
'32%+/CN'T&+$al+*
c
*%b?2Z..5.*
%"*/7+Hn ..*1"PDI
3.2
The canonical model
d >![+*cy*
Y?2P"?\0{
"CL"$"\%!*
*
%/+}D+.&X%/+
$HX)/$B Ag!R
.*@pZ +*/.H èaá(ï íOð
ñ á ñRò0óYñ í á}ô òó ô í áUõ ò0ó õ ln
6$" á ï .S
1*3Pò.*Tó &Tñ :G&Z
/A á ñ +"131&*3&.:/..S>P.' !
PZ3"%#òBó P?}:
!"R+.P*
A á ô 3S#*3&.:/.HVY\"D+*
Q:+".C
ô T&""$#*& !HX&\:
&"X&* A0+*z
cR!"
+'
.
"
"*/,*
$(*
*,"D+*
*
DI¼G",X
a
#RX!*38.6
lw"D+*
.2*V13n_P?_/&%!;+"%0?g
92.*
E"D!3TA
0%#-1%.*/
?\>p/ZU!.*F!'(7:e+"c"+.W
"2:z?h"ö>:+"R!.* !
..*E$bl2MGI n_'ò/ó !*3B?g{
*.CL32v("$*%.*GIU
R*)
"*
%.C
ô "D+*
:+"H+'
>+*
Y
//.%/!..
./A//+%+YòGó !bT&0.976\*
ô :
!"R&'.#Y+">1P")%P""R!aU!*a?X!"C+&6SXW:+".C
*+"'/
+'
.IÂU!V?h")%"*
"CL' !$.*(Am/,&%]+*
.*
(*3*/.a"D+*
Ps"V%*/"'
Z
5K&*O/+"}f&H+c.DA
6$"/!1.*zX
1RA Z3>;
5R!EH6^;$"1?1lnAU3+".
+*
cH+b3H/ :bXbD&b/
#RI
\W>"D+%#H2%/&0!"DA|69U!V6B"pZ
"W#.*U!X]J9q|qmr
?w"Z
"5
PO.cT&53&".!*
KH+X`
R&5TX:;
D!1\P*32z.*3%2%+]*
#u6B"}I
u*U!7c*3#R6^"}A
3S3+".}f+H+S
.%+*c'("D+.*$TAPT&"H+.)..*T+$5P"?2Z..
..*T+$.*?X&:"VP?0+U!XH+\"D+*
Ì:
+"H+'.AM(*
*3e*
35.#:$B?9(&..&ö"$Z%$*z
&."<!*3zX>%*{3*
%5.*
3>3#RX`
.I)
R
/+.3A_6BV*$[&%!3)U!@%/+*W'(VZ
'(+VE"$CN/2%+CN*;D![69
#*Olh÷Mø â n|%$P"
*U!)!"
*V*76*TA0!*].*)(CL
/&.%/!.CL
$+.*D+Y6*]%/!X*
.*?2P",+.P*5.1:
+R+'./I
.*
($*$*2@"D+*
!"T(0|"'.*13%/!?
T&["$%P*:#"*%$@.+/.*[P$*
#"D&HA3!*3YJ9qmq|rY.*ET!"X%Z
H&"DI}
u?
+"":
+T&S31?h"*3H2"(.*/T+)+*,*
(*
*."D+*
P
T&"06
.%!Z
":3.:V3[%$/%+e+*
+D.*
0P?T
@%/+
Z
"*
4TA3^.*
(*3*/.S"D!*3U!"U&3PZ
@%/+*
%HI^}Z
U*
%#m
iN&Z"%oE?g\*
(*
*."D!*
P=T&"B.B.&^
Z
"*3[.*
"DX:#"D&XA S"D!.3?2P"6b&"O+3"_&%!6BZ."3+\.02ZU!X*
%*#":
+.:P./I9EZ
.P*).*/X"/Z3%E*6FP.P' + "D+*
P
:
!"R+'
$+E($*3R&B?w"P*.#"EGP.*/[?9
)%#.%!`" I d .2
32@,X;#y/G*
2:/A}"$V%"2$"H&";!3.2$eY."7:P
-%$2*3%}BlPn_
0.*3(*
*1"D!*
P=T&"^?B?w"P*.#"|(.*/
+"":
+G.\U!|@y/%$;B
"#
.V?h"B*6O"D+*
:+"R!'32
e'G]&
. [lw'UnV!V/+%!O*
/cP?
Y21*
WP"D& A|"D+*
P
:
!"R+'
$B62),&2#*
&..:3..@&"3"Z*
T(lw%/n_%/!*3P*32%/&(?wP"1
+""1*| +"&?w",!T&)&mV:1"*3b?G$"PCN:G&.Z
*
2.:$DI d .Y@3&Z"DA3*/"
Z%.*?M*
6F"D+*
P
:
!"R+'
$1.*zX>%./%!;"#)Z"*31Z
[,(e"R!X:$2`,+
7:P"33+ A}&\
76\*5.*cb"$Z.9%#X*TI
3.3 Proposed timing methodology
T._IBV7691
5,&2*z
1P?9
5*
D:#B.*
;
3I
E{",X5Z
Yb"&.CN' +#O+
"(+%+;) !*
.1T&R!
%""+$H&2*lw&..H+"ba.A|ù!RA(P"3D!..b*`
*
$y3VD%* nI
)%$P*
W+H#e.[Y%#*:P"@V:+"H+.*T!mR`1|*/X
[%/&**.%/!M&D+.%/+m
#RX,/
$Sln^P*CN
CN4,a+2*W/C
,&2%5:G&"R!'..2uz +"H&2.aP"1?hZ..zXe".O"D+*
Ì:
&"X&'.I
[
",,20,!3.*>?mP".,"D!*3P:
!"R+'.#05%"3&Y
'T&299P?U*
($*3*/\"D&*
:
!"R+'
#9?2P"9D+%!}..*
_I
j^*3%@Xb/
.*
T+\'($*Y3P*
3Ab*3#y9Y.\.*3"
Z%
*$6="D&*
:
+"H+'
$Ec"#
"&*@.*
(*3*/b"D!*31*$+5&
+mGP*R!m?w"P*.#"b(2*@?^V%./%!,X"#I1\3V*$yE$W
)%#*
Z
%'
/%+CL'T+$;&7+%/&TX21*
)2*,"0P?MEP.' !
PZ3"%#mP?(:
!"R!.*TAD9.*$(*3*/|"2V"D&*3P:
!"R+'.#DAG+*
3b*6)*/X"/
Z
%#5:
+"H+'.[&\3:"P$*%S(2*9? S%$2%+
"/I
+b.*/"Z
%*$6¼"D+*
:+"H+'.cOU!*3.W"%$P*:P"*/
?+*
PZ
"D+
"9 !*5y
%..5#!"[Jq|q|r9I
Variational modeling
Intrinsic
Systematic
Random
1.0
Independent randomness
Correlation coefficient
Superpose grid on chip surface and create
"physical" spatial random variables
Spatially correlated randomness
Global or intrinsic randomness
Map physical spatial random variables
to "virtual" independent random variables
Distance
9¡N¢G£ ¤7¥(§Tû ©«¡N©
®BÇP¬G¤D¤7¥/®h©«#¡h¬ËR£U Ç«¡h¬( ²
Introduce new global random variables to model
independent randomness at clock frontier points
c
a
b
d
e
Block-based statistical timing
Reports and timing queries
9¡h¢(£U¤D¥ú§¨[ÊU¥û ¤¬ûm¬(ü$¥3ª«¡NÅW¡N ¢WÅW¥/«Ê ¬gª ¬G®N¬G¢Æ²
R2.("7!**
e +W*
($*
*/""D+*
:
+"H+'
.)+*
,
["D+*
:G&"R!'
S.*"/Z3%O!0%./%!Y?2"P*.#"
G*/@+"V¹h·
¸NºDµ+·Ïý13S."DIUG"@+*/Vy/X#"*U!(Z
"(Z
%!
&bpZ"/.*>Rb"S69"..*51*
c"("DA_3&1&*3&.:/..
&"r\
7;!*3)"$VZV*cB&.*\"=623*V/+%+)%/+"/I
UV"CN2$"D+/AS'($*{
\? .9476+"3ln ?wZ.)*
%"$*C
D&@.þ!RAT'3%!/CN'T&& A *CLT&1.*
(0lw' n9%*"$<!Z
*1?
G#."#
Z
%.P* Mlw%/nM%P""%$"/!1*P?+.T3"#[R(S?
:
+"H+.P*UIY9
>-%.#*3%3AU.*%"$*/D+.H!*aG#.ÿ"#
Z
%C
.*O?h/&Z"VP?X.)..*e$
/.Pz.*O
#1.:P)6^.
'G5?2"X.*E&*CLva+*>c\..*[0?h"BZ
*3133&.C
%/&}/*/X
2[&*c./+.P*UI
4. SPATIAL CORRELATION
e0%#*/X"2'3Z.P*P?.UU!G#"g.}
M2..* +*b?/X
M3+".}f+H+
.[*z
RW.*,?\35%#.%+e"/I d .e7%.*F#yC
3X&.*E76a"7y.Hb%"$. P'3D+*
#E.*YM[Z32H2CN%"*" .*3
%*/yDAD
M&%.*"$*3M3#7!..|?G& +XX&
%$P""R!.*
Z
"*3
D&&.%/&}.*GI
7T&H+%""X&.P*/+*
>T&5
#"6.&,
*.%3+0*
D+*
%
%.P9@/!%&)3#"+"\"\..1@TX:\.H&"^%+ +"D+%".%
U!*Y.*D&*%$0?X!"[! +"DI}>/!*3\?T#y*
:bT+"
6b!"@+C
Z
"*/XAm%"&"R+*[?hZ*3%*[%3+*1'($+#!'.. A&|36*1*
T._IgIT9b%""#H&2*Y?wZ
*
%#H2*Y"9'(.6PI ;&1&*Y.*{
*
C
.,&\3D+*%$cZ
c;5*
($*
*/a"D&*3PÑ%$(P*3*/?
3#RI*O
%""#R+*%$3$-%.*/V"D!3ZT&2.z"
Z
%#;+;
?2Z*3%#X2*Y?T3D+*%$b;Ô&¶µ!µRºDý ÏP¸L¹w¶·,ÍP¹wÕ+¸NÏP·GÔ&ºB'(P*56\3%!5%#"C
"R!H2*]
/1*
P1%+ +*IU*
z."$P./AT
5%""&R+*
%#-1%.*/b""#*@'T+m"@.*/X"&.*.%V:
+"H+.P*UI $@?2P"
3#".:2*3<5/%/+.z:G&%#""H+.P*?wZ
*
%.P*?h"î3+Z
"C
$*\ +D&"b%$"2'G#5.*a+RI
0MZ&1.*[B."D+Z
"@.PAù&HA76^1.7cm".1S133
+R!(%""X&.P* IU¾0*..P\":/.PZ3@!X#3DAP
D6^$:P"DA6B\Z
3#yg+P*T&(P".e&B769*)*>T._I(ù*
%
yg!P*
^%/!*)'(Z
)
Z3*.?h"2).bH6^CL.*
* !g& +%b625*
[Z3ö!*32"P/A
&*W!*) !."P?}*.3'("& !"$"%.)*
S23)!*3cR6^[:P"C
.%DI>0&%H+Wò06\ó .e!%!W"e%.)Y[
/2%/&^$"PCN3+*
ô U!"
"*/T&X&_:G&"H+*TIØ|$XX
"D&*3P :
!"R+'
9¡N¢G£ ¤7¥(§
Y¥Äg©¢¬G ©®^¢(¤D¡NªU²
+*
W.#65+"13
.W*;"@?B
3%/&|"D&*¼:+".C
+'
.[!976*Y.*alnI
/&.%/!_"D+*
P:G&"X&'.?9+*/VH6|1"2>%#..E!"S%""C
R!6X,/+%+PX
"V&VS?wZ
*%.*P?M
E
D+*
%E'(R6^*
%.DIe\3"z&"cR6^W6SX31T+1Y%$""H+.P*3;+"5T+*
.
.*
@."D!XZ
"/I^@{"\.0'/5Z
*
)[email protected]/*36*]q(".*%. !
JUP(**)0* !./.`lq|J 1nb$%!
*.pZ]lw/I _I.Ab.ù!RnSXa"D+*
?wP"
%""+$H&"D+*
:
!"R&'..*`*3#6F\?M.*3#G#*3*/9:+".C
+'
.I>9
@%+*.p/Z3>Z
v("E?w"PR6^"DX69'U!%!I`JUP*
&.$"c
%+.cP?U#V!O&,A69e%""$X&*c.D!*3%bP?+
,I^ )"
"*/03E%""H+.P*c?hZ*3%*3#%/Xc'GR6B*;+*
+ ¼69.!*,"/&&*T&'.,&%#%Z
"D+%/Am!Z1T+b6|*$K&
./!@P".>%.2DAPE0,+y/.[Z
&2.76@+'
."&.>$@+P ,A
./!32*3Yec+<!cP". IE1%7:G&"H+*%+".y,XT![Z
Z*3$"1³m*>k0!.ZVØm%1(P.*elw³mkØn}Z
"*
YqmJ F.X/Z
+(A P&_A PGIK/Z3)
{
">3"D6'T+%+z.>
Y"#pZ."1*/
?\$%PG*
`Z
%!FVR!"5,+"ygI`³^:*zZ]X
c%7:+".C
+*
%Y,&"2ya.V&U!"/A|/&%!O
/&.%/!9"D+*
Ì:
+"H+'.Y69..9#*
Z]3(*
.*;P*8&.P:"a"O"D&*3PÑ:
!"R&'.3A0+*
7¹wÔ+º
#º#µ$Õ&Ïalw*
%#H/îT&`!(A Pa*
{
%!*)"#)?S?h"$C
,nA
6
%+0
E&%$*
"DX6'T+%+}IB3Z33E%/+*
P*
%/& ?wP"1
U!!"m%P1Z35!*@,&*.Z3X&@Z
"*
0D&.+.%/&.2*3\6\.
%*3D&2*`&(A E"A.D6*
[3D6*>
0%$P3ZD+.P*3I}9\.P*
%/&*P*3.%3+?h"%#1..%/!c.$"..#*D+X2*O.*
%c.*
"Z
\%/!*c*
V*
"\'(b&"Y*Y$"e+*c[Z3&\'(b69".*
32)
Z".*H2.*
" !G!.* I
0#%*
5$%!3*.p/Z0*>0.2"D&Z"2&(T!*3.3S%""#H&C
.P*3^."%$[Z
"*
@D+.&X2%+G("D!.*
^Z%+;+|.*;!*V+y}I
JUP*3&
"SR6^a+"Z1*bcX
D+.&.%/+M.*`"S,+y?wZ*3%#X*
6b*X:2uS:$%"&F&*5Ig\*@*/R!Pb.*@
mD!X.C
%/&G%/+%Z
H&P"mm@{
*
V
\%""X&.P*%#-%$2*m'(R6^#*+*
5A76
%+E"#pZ."T%P1
Z
D+.P*E?T+*[.**3#" "Z%$K69"
z.ME&_A Pe&_A P%7:G&"H+*
%#,&".y[.*3y}+
.P?G
"$:2Z +"D!"D!3TI\93&["$(/!X#,+"yc("D!H2*V+*
,
.P*3"&Z
.*%+**.%/!g?w"E!"b3"D&6' +%+39? .9%+
*
p/Z
/I
u*[Z"9!3"G!%+ A#6^B$>M&Z3D!.*T&'.b!*3E%3+R!'32|P.ZX*E'
."%$>y/32*3VXb !XH+g+U!".H>?UbZ !H2*TI d b{
"
.*/"Z%$b1iL:2"HZT+o\"D!*
F:G&"H+'
^%"&"(*
.*\0!%!@P".
%RI1V:/."ZU!|"D&*3P¼:+"R!'32$c&"V.*3(*
*DA^+*
`6\.
'(bX
b'T+9?wP"E+gPZ3"9D!X%!}%+%Z
H+.P*39T&\%$P*
%$"&*cT&C
R!/%""$X&* I}
*E6BBy
"&TXB
/%!/"D+*
8:
&"X&'.B?
/&%!V"V%$.M+S^2.*+"m%#E'.*T&*P?(9:/."ZT&G"D+*
P:
!".C
&'.m?(.M6*%$.TÏPÕÎMº#ýhý
ÏPÕB¹h¸NÕ·
º!ÏPµ+Ó7Òb·º7¹#ÐÓ&¶Pµ+Õ+I}G"My}&./A
&+Z3V3(*
*3%#*`.
H+*
#.3'("bP*32/IcrT$?h"".*5
T._IMùPA(/%/+m:
+"H+'. á +*
!ET+";@%P1*W
(*
*
%
* :2"ZU!"21:G&"H+'
DA6932.9/.%/!
:+"H&'.# á !*3#"BT&"&
A/3/+.%/+g:
!"R!'3 á +*%$T&"b*A}&*>/&%+g:+"H&'. á
&* ß T&"1*
*I0/Z'/z&½2Z*
>E%/-%.#*S?|
[
C
G#*3$*%.T?/.%3+/:
+"H+'
.T*E:/"ZU!:+"R!'32$DA7
^"p/Z32"
%""H+.P*c?wZ
*
%.P*alwT._I_PnU%/+*c'(>+
"Dy,+ I
R*O
"D+%#X%/AMY?2.D69.*`;&"YZ$TIaG";):*]%+C
*3P.PA
"E.VS*
CL.[3#X#".* +.P*?M
["&.c+*
]
{3.*@"%#3Z"\X@$"*
\
\%/-%$#*|?_9
(*
*3%#
?(/.%/!:
&"X&'.m*:/."ZT&:
+"&R+'
$I^ØmZ".*
b
9.*
b"Z
* A
30%+.).#0.|"1*
`+*
;93y}+P*T&GP".)D:#"R+ I'&^.:P*
&*elh÷Mø â nU/%/&.P*5?\G+3AP6^*
#>1pZ
.%!/.){
*
5
$yU&P*
b6
%+Vm'($2*S+*
2m.
R!9*
#./'("D.|+%+.:P
',B"D!.P?2P"6b+"V2*3y/.*@%+1/I d $*;9G!X.|1# AX
3#R]+*
`26&"{"b$y33"#+>E?wZ*3%.P*`?^[/%/+
"D&*3P:G&"R!'
P?G
9".%#.Tlw$1lHPnnG'3@Z
2*3b:+"R!.* +
(?gM.(I I}9
*).B
(.B"D!*3+?2"&)E*
.*)"
?b*
(*
*>:2"XZ !\P"."D!*3Pî:
!"R!'32$DAE&*.*3
3"PU!(!.*e%*/.*/Z
$c+EZ
ZT&HIÂ0VT&@Z%+W%/!X*
CN'T!
.2*3;%/!*F+.&,'(5Z
#]H` +*35:P.D!e+*zX#1G"+Z3"&
:
+"H+'
.HIb7,+}&*
&..:/.+"@"Z
*a!*
]+%%Z@Z
H+.*
&*`.*
(*3*/."D+*
"Ì!S[.2*3c
"%#3I>gZC
.*0& !""D!.*[
%/+*
P*3%/+3?wP"A7#1"@.mDX:P$1'/@X.
3"Z*
*
3"3%$Z
"/I
d *,^%$/%+Y&*U!7b+"":
!3.[+"9%T&"#!0^4323CL4
$:&2ZU!>0H2.*
DA>&""2:
+g.#[+Z
XP,&%3&.2)%*C
D&*;^P$"%!\ih"D+%#ob")ih.&"/ob?(
\".V%.2m"DX:#"
'5@P\%#".%!U !X,"\T&./+
*
)Z
>3E4 IB3Z3
%P*)
(*3#*3%2$BP*)P".5%$.2@&*>*
3&"'/*.P'("&B%/+*
%
Z^
Z".*E0R!%!1,!".*>%1ZD&.P* Ij^*)
"B +*UAP.?
3SR+Z
*%+
*
Y!*35%/+
Z
"*
1U!3E+"S3/3.%/+.V?&&"CL"7:PUA_
..*1(* +R`+Z,!.%/!..)"#Z
DI
9
5,+*]'G*
{1?\.
/]?0 !*3.2*3;+U!R+%$P""C
R+*K!"/>ln*
³|kØSA_,+".y;[Z
.
.2%/&.P*e"E
"E!".y
("D+*
^"p/Z32"U_l2'Tn_T&H+GT&"+.R1.B32"%$1y.P. (lw%/n
%/&**.%/!
?h"m"#,&*V"!* +'.["!*3V97:#"33+V?^&%C
%/U!.*; !R&%P""R!.*z,&2RS&*Flw n\
533
%/+$\1:")H+"PS%+.Y3&.*
DI
u*]""[,% +"&)[Z
.CL%"*
"Y!*3]D&2.%/+B"Z.DA D+.%/!R!%+ 6^$"^»_µX¶=<º+Ô#¸uº&ÍM1T6B" %"*
"DIg
R*@PX$" 6^P"3A
$(*
.*@*V
\&.P*V?g+%+>$*.2:.R/A
\%""#(*3*
@"C
%VU!"D&"6S!7:P$] í ?>" ê ?>%P"*3";%P*:P$"
3V%/+*
*.%3&|R!%+2*a[.**/Z3['("DI1
.E6SX/Ag
&7!.C
.%/!T4366b!S%$*{
Z
",5'( X:P1..P1EZ32XCN%P"*
"SX.*>?w"
%T&"+.P*5
Z
"(&DI
u*W3%3+?^EZ..Cu%$"*$"b12*3_A('(W3"Dy12uO+*;*
C
(*
*/.c"D&*3P %"
\6^#"@'D+.*
]lw@T2GI nT.*"R!X*
<+*2*32R&.*
a"Z
*2*6.%!K3,/,+%]!*3K"D+*
P
%(P*3*/0?m3#RXc%*3H"2'3Z;&*/+"gf!R+@
DI|
R*Y'(
EZ
.Cu%$"*$"B21*
&*>D+.&%+_.2*3_A_\..*!"B$%/XVP?U%"C
"R!.*c%#-%.*/69.c.D!*3%b6S![+&Z
1#alwbT._IgnI
Z
"%$*T!".769*z*z9+'
eV6B">&UI`9>{"[H6^
%* !".S.P*3P"Olh÷ ø â nm./%/+*,.*?2P",+.P*UAG:$*;
Z
,'(
$*
;!"c?wZ..aR!%$8+*
O"Z$ Iz
H*]
V%/+&/A0+&Z32*3K
%""+$H&2*
D+*
%@P?T.*{
*
H>.pZ
:+.#*\V2Z3
*
V@/C
,&2%V:+"R!.*a*/X
)%!323CLCL%+.e'Z
%!cl+*W.*
.D&*%5"52SD+*D+PZ
*bXc"!.*c/+.%:
!"R!X*
+[2*3$(*3#*.W"D!*
PnXI,935*
y1R6^,%#*U!".[ZW+%#XZ !
lh÷Tø â nU.*
?wP",&2*a&*a&&Z
>9%#""H+.*c.&D+*
%SP?B! 9WI
³!%!,?|3#[6b+S"Z3*,6\.
Z+*
;69.O+*,*
(*3#*.Y"D!*3C
+"|P?}3HX:
+"&R+.P*UD&2.%/+G%/!*3%#.R!.*)769*` +
+%$%#"Z
9693#*c329.9Z
"*
cP* I
9&'.b&
769S31&R+%+]+*OJ9q(¾=E%# +".&*
S'(H6|*
EZ
.Cu%$"*$"}.*
[lwGJq^qmr\ng!*3b&7!..%3+.*El7 MEnI!
{"TR6^0%#.Z*
T*3PB
B%* +"V!*31
*TI_9
*3y/T"
%2Z3*T
76aX|.v("#*3%B'(u6B*c+&XCL(* &R+%+/DA7Z
*
6^"CN%3+
"½2%*>*>3%/!0P?^D MEIP0'.P$@lDi +y/3C
.vMo(nAS,+.Ol7i *
.vmoGn!* X:"D!a
v("*
%lDih:/
vMoGn
+"c+3D6*TI]T.* +A|
aJ\q(¾2c*`I@&^t0Y
q76B$"
rT%/fP#/&P q_C+Pþ9+%+.*0^769* Ij^*`X:P"D&P/A
DUm4
D6
"33Z%$B..*E"Z.B6.).#BG&. +*)
EZ
.Cu%$"*$"m43D6]$:*6X3"3½h%$*1)|6|P"M%"*
"DA+*
+%+.:b^&G#3ZV?|!'GPZ3 yUI d ..03"Dy2.R[%#"3|
"D:3#
..*@"#..?}.*)EZ
XCN%#"*$"^..*GA|2|.2MB(&..&.%0"/&C
*/?T !R&}%#""R!.*TI
B¨ ©BAU®h¥¦(§CSÄ_ûm¥¤¡wÅe¥/g«#©
®Bü#ÇP¥T©
¤D¡N¬ü#²
DFEHGJIK?LNM OQP
RTS U
RTS V
RWRHS U
Y)OQLWLNGJZ K?[NM O?I]\^M P_[NK?IFEHG RI^`I^M [ba RbI`cIFM [ba VQd?dfehg
RbI^\GJijG0I^\GJIk[NZ afLWKQI^\FO5l1m
nO
opGHP
nO
RXRHS V
VQd5dfe.g
oBGHP
5. RESULTS
6|[%"$*
:0X.*@$2^6|#"03&%".'().*)X.
U!("DB^EZ..CL%"&*3"^1
/
.P[Z.*@30GJ9q|qmr+"23,A
&*]SD+.&.%/+ 1
5Z*
)'
/%+CL' !$+D&.2%/& .C
.*GI^U[U&:^'(#*@321*E2*@|?h"D+16B"b?)(+* ,.-0/1* 2354RA
&*`.*
Z
&X"H+MD&%11*
5/HIb[
2$S12:
&"E%$.{a!/7658%#".H!*3Y#@'(
Y.*]"D+
.%/!gZ#"9.*C
"?X!%/I
9
0&%.P*"$+$*S%/+[Z32$P?MH6|e&5*
~%+32,3&*DA
Ø0;&*<Ø0PIaØ.PI.#9:9 %+.a%*/D&*
.*OùPA.þP1
H+%C
&'.)P'}½2%AU6.`ØS1T&þùPA þþ'}½2%#X .*<&*<+"31P?EPI.
9;9 I`93cPZ3"%#?0:
!"R!H2*8&%.:+z6B"aq("Z
%rT.H+C
'32..HFlw%['
.*T+.P*O?SÂ}
+*
OPXCL.#%"*v($%DnA|"$C
]:PD+Y?/&%!]?>k\V?+12..#DA&*]."D+%+3.*
W'G#u6B*
Â\T³^ö&*q_T³m"*XDIa9
Y+$,!.W("1V1D+
RXP"DAP($"D!Z
">&*5:D+b:
+"H+.P*3IJU"*"CN' +&c1.
&m
%#".'(1*7%*,m6^"93D# Igk+"ZM& +H&%""H+C
.*c%#* +"\6|#"b'(*%+3,!"$YP*Y'GY
$+.*\Z
&.*
bH6|
$
/.P.#DI
H*O!3.* A *J!".>"#Z.S6^$"'
7!.*
*a0EZ%+c,+.#"
2*TAgØPI
D1]?V
z3X&%/!'3aP'}½2%+"zR+"Pa!%";";1"
'32%+/DA/12*5
9%/+b
SX&"P"%+.YU!9?w6^"P'g½w%I
¨^©BA N® ¥ÃG§1¯¬GÅeû ©
¤7¡Nü#¬G¬(Ë9¢G¯°b°@±ÿ©Uªq ¨'rS¨@²
D^EJGHIFK5LXM O tY s^M i
DFupvwutxyQYz{z{|PNZ KQE0}~ i^PN
D^uvwu y?Ytz{z{|
~ PWGHEkS
~ PNGJES
KQk\M M IF\^M vky?\M
RTS U
U
f
5
x?d
QV.U
UWVhUN
RTS U
V
UW5
x?d
UWQ?
?d5Q
RTS V
U
f
.U5U
x?
Q?
V?5QV
RTS V
V
?5
x?
?d
UWQV?
?V5dQ
RXRTS U
U
f
UWdhU
xV?V
UW
Q?
U?U_Q
RXRTS U
V
V?5
x0UWd?d
?
UWQ?
?d5Q
RXRTS V
U
f
?V5
x?
V?d
Q?
V?5Q
RXRTS V
V
?hU
x?
UNd.U
UWQ?
?V5dQ
5.1 Perfectly correlated variations
t\#"c6^c76"D&.%/+.a3YR!%+e.v("#*3%#'(R6^$*OEZ..C
%"*"[2.*
&*zD+.&.%/+..*
;*]3&.*FØS.*z%#* +"
#I.&*W
I.PI)
R*eX
)%*T&"2AgV&U!XH+|:&"X&.P*W@2Z3(
6%+.CLCL%+
:
+"H+'
.u/AB*$">6^")
>:
+"H+'
.R]
%*
#";c'([("?h%$%#""H+!%"b%+
UIET.(IMþPln
769bVR!%+,%1T+"*W62XWEZ
.2CN%"*
#"b.*
c+R&%!/@*
3!yV&*6|P"CN%3+E"3½h%$+D&.2%/& .*
)&R+%+30*
3
¼&y/DIb[.PS*;TITþc+*
@ :+'(Z
)A PcU!7
(.*/c!
%I
)"&Z
[*3.%/!`/a,&%! IaØ|.v("#*
%$#
STAT Slacks (ns)
STAT Slacks (ns)
0
-0.5
-1
-1.5
-2
-2.5
-3
0
-0.5
-1
-1.5
-2
-2.5
-3
-3 -2.5 -2 -1.5 -1 -0.5 0
gCPPR Slacks (ns)
-3 -2.5 -2 -1.5 -1 -0.5 0
gCPPR Slacks (ns)
0
-0.5
-1
-1.5
-2
-2.5
-3
STAT Slacks (ns)
STAT Slacks (ns)
ln\7%* +".
#I.
lw'Un9D%*U!".
I
¡N¢G£U¤¥G§ ¯¬GÅeû ©
¤¡wü#¬GAm¥/«!É@¥/¥Å;£T®w«#¡ DÇP¬G¤D ¥¤K©Uª~ü#«©F
«¡Nü#«$¡hÇ©®b«#¡hÅW¡N ¢KÉ¡h«#Ê©
¡N ¡N«¥]ÇP¬G¤D¤7¥/®h©«#¡h¬(ªU¡Nü«#© Ç¥R©p
É¡w«ÊT¬G£ «0¡N ª ¥/ûM¥3Uª ¥/g«¤D©
ªT¬GÅ`T¥ü#ükf0AÉ¡N«$ÊW¡N ª ¥/ûM¥/ ª ¥/_«
¤7©Uª ¬(ÅW ¥/ü#ü#²
0
-0.5
-1
-1.5
-2
-2.5
-3
-3 -2.5 -2 -1.5 -1 -0.5 0
gCPPR Slacks (ns)
-3 -2.5 -2 -1.5 -1 -0.5 0
gCPPR Slacks (ns)
lPn7%* +".
#I.
lw'Un9D%* +".
I
¡N¢G£U¤¥G§ ¯¬GÅeû ©
¤¡wü#¬GAm¥/«!É@¥/¥Å;£T®w«#¡ DÇP¬G¤D ¥¤K©Uª~ü#«©F
«¡Nü#«$¡hÇ©®|«¡NÅW¡N ¢`É1¡N«ÊO©,ǬG¤7¤¥®N©
«¡N¬GªU¡hü#«#© Ç¥Y¬GË9Ãww 9 R©p
É¡w«ÊT¬G£ «0¡N ª ¥/ûM¥3Uª ¥/g«¤D©
ªT¬GÅ`T¥ü#ükf0AÉ¡N«$ÊW¡N ª ¥/ûM¥/ ª ¥/_«
¤7©Uª ¬(ÅW ¥/ü#ü#²
&"5#*a.*a
5"D&*W C!+P3A\&
XA!*3F+".&53Z>,$*3
32v#"*%$V+*
E.v("$*31+
"G!%!30D!*) +*3E&U!R+
%""H+.P*UI\U$6\.3AT.(ITþlw'TnM76S31%T&"2*;6
*,.*C
3#G*
*m"D!*31*&mmZ"*
P*UIU9(."Z
%.*V.
*3P.%/!'3S2*5.9%/+&/I
5.2
Monte Carlo result
@
:P$"?w
0D+.&.%/+("&Z32HA( */1J9+".Y&*T&2&.B6b&B%*C
3Z%$P*,^,&2."m3&*,ØSb&*.*
b"$+Z3X|6|#"%PU!"
*c .*
\X#} !}
D6^$E3^R&"PU
.v("*%$|'(R6^$*EEZ..C
%"*"[..*O+*
a+#!.%3&B..*_IY935"R!.:5"""1?9
+*>P?}
&R+%+V."'
Z
*56S+(Ic!*35
6B"Cu%+&
"C
½2%YR!%+)6b!69..*ePI.jFP? H P*>J!"."$+Z3XI
5.3
Uncorrelated variations
T._I0lnb769>
,%P1 !".P*P*$2*ØSc'(R6^#*EZ..C
%"*"\H+%+3\P*Y
+y/.!*3D!..%/!}+R&%!/\P*Y&y3.DA
&+Z3*
WE%$""H+.P*,.D!*3%#EP?S&P 9WIU.P6/AGT._ITlw' n
D6c;2ZU!X*69.<.*
(*3$*35"D+*
1*YZ3"*$<* I
d 3*b !XH+P%""H+.P*S} +*
bD+.&.%/+./A$H+"#"g(.
"
Z
%$2*cP'
D+*
TI
5.4
A comment on memory consumption
u*V%#*U!".^
H
#I.@+*1
#I.PA +R!%$""#R+.P*6b+mT+*
.V'[%"C
&*
V"F+*
]*"/
Z
%.*)*
6xih:3."Z +.o`"D+*
Ñ:
!"R!'3
?2P"9/!%+Y"Y%RIm932\.*%"/&&0H@"c"pZ
."#*DIm9
.*/X"/Z3%*aP?9:
!"R+'
$1,""$+$*1.*3#G#*3*/E"D!*
*
&5(*/H&S?w"*$"5(P.*/X5*K3,%#.%!O.".'Z.*K"O!.
.*%$"/+&5"/I
R*K,%/!;?5ØSA9*"/
Z
%*
z$`"D&*C
3P:
!"R!'329'
D6\Z
Y
b#"5"p/Z32"$*/9?wP"9b.*3
c?h" þ a;I G#&bBI3t0D6|#:"DAUT+"@{
$"2*3V%+C
*32pZ
56b+132$*/X#a69
#"$'e,!.B&*
.:/..#+"&>
"&Z3*
vl+*
;%$P['3*
;.*/531*
(*
#*."D+*
",n0!S
..*;"%$#
I#2*3%#>%/!*3P*
%/&?h"+"c"#z*FVT&"+
?w",+DA("Cu:
!.Z
`$*.2:.S/+;c1"DX:/.*I d .
*
2.:R5{
X#".*V3"&
cP?\Df=>^A/P">%*Z1X*
"
Z
%#zOP& A}69.F)R!%+W%+T&*P>?1V1"1.&!Y+
..*,X#DI d .
Z@{
$"+.*
(AU356|"&CN%/!).`!*W+U!%
%.#y.H)6BZ.c'()lb|nU2*5
b"&5#I
c"#Z.`+'(7:
*
"D!X
Y(&.2Ñ"#
Z
%.P*%/&C
T&'..2uP?m&D+.2%+M..*c6
*;T+H+M%""H+.P*;b"+
D+.%/!../Im93@P")D:"
/!Y.\%*/"H+'
.E'>T&"&b{.C
".*GI d \3PZ.;+.&b*|\.PmP?(9?&&%| +m9D!X.C
%/& 3/
P.P5%$:"0
@*2"@3"/%\+U!%5lw..P@
@EZ..C
%"*"@+
"(!%+TnXAP'
Z
BB.*%$"*/D+RIU9.B!^2@/>%/!*3C
. +c?w"PZ3
*
`/.%/!&*/
$+.DAM./&*8&*z{y/CNZ I
Ø|R+*
P.%EZ%+K+E%$".%3&u.!S!*3e.e"D+
*52+|%/+*
+;'(5
23?hZ3Z
"*
`../!.*TIq#1Ñ"
Z
%$2*+*
..*E".+[%3+*)'(\'T+H+*
%)'/glXPn_%!
P.*c%#*":
!.:T&C
R!S%""#R+.P*K?hZ
*
%* Vlw'Tn>!..3%+*
].Y?@
`/,+X2%
:
!"R+*z,& !R&"D!*
s:&"X&'..*z>T&D)*3R6B"}lw%n
r97*
VP*32>E
"/%\:G&"X&'.\T+1!"@*769*Y)'G@*
C
(*
*/,&*]
"
½h%.*
`
c"&;."*3.:/
Z +6B"CL%/&+
%"*"I
6. CONCLUSIONS AND FUTURE WORK
.B +("|"$*3$>R6^@#X
/
P.P.B?w"b+%$%#Z
"D!$1 !*3.*
%+.CNCu%+. A_69.
*3Cu%+.`T+R!0&*W6X
*
CL%!32;*
(*3#*.
"D+*
ö:
&"X&*
I>93){"@[email protected]%P"*3#"E.*3#X/3C
3A/69.c#y$*.P*30?T
>J9qmq|rF+"&.3V !*3.@T&R!
%""+$H&2*TA#.*3(*
*T"D+*
*
#!*
E&D+.%/+/"/&*/ ?
SZ'3&0?m3"&%&\:G&"X&'.DIE%P*32SD+.&%+ .*
2/A
6932%+Y(+$+$0,+*c'G#*3{DA3%!32$?\!*
V
'(.*5.*
/+"b"Z
*`H2Y!*3`?hZ3.*
%"*/D&m("D!X* AG"+$.*.C
%*/?.
#"1TXV
"&."1W3z+
:*/?$"D+*
jbJUk~%C
-%$2*DIZ
Z
"16^"YS.*%$Z
ET&*..*>?m**
CL +"D!'32
PZ3"%#9?T:
+"H+.P*e!*3Y"Zc"/!1*9?\+gPZ
"%#$\?\+*
/&"+.gf!R&5
E*
%.Z
*
,*
P.>.T&%1*]H2.*
(A
r<"Pa?2C
?w#%$DA}&*c1P* I
7. ACKNOWLEDGMENTS
]+Z
"W+%+*769$,X
%P*"'
Z
.*)P?I]U!*
<l*76
6)J9+$*%/n76b!"3U.
.*/D+.P*b?& !R&P%""#R&2*b
Z
"C
.*E.Z1"B.*/X#"*3+3W+B
rM!"%!UIU9
!ZH"U!*3
+U1['($"0P?T
@y/*
# (+* ,.-Jp 0¡F \!*3
# 7
#Ja.C
.*`
Pa+)"+&%"PV³S+VT.&
/.2RA¢|"3H6*
t\#/DAmgZ"..** AMqZ
P3&Y+*
d !.T&?2"SZ
?hZ3T.C
%Z
2*DA%R+'(P"D&*a+*
c&?2H6@&"bZ3(P"7I
8.£ UW¤z+REFERENCES
S5DwS5¥h¦FE0sOT§PW}kMX¨5ztS5vS5©K?ªM [N«F¨5¬hS5
fS5©K=a?GJP?¨5K?I\¬hS5©S5®¢i^i^O?Z \BS
z{LNOkEJGHPNPK?IF\GHIkkM LWOQI^l'G0Ik[WKQZhQKQLWM K?[NM OQIM l'iFK?EH[NPOQIvDFRbY[NM lM Iy.Sh¯W°+°t°
¯N±j²³=´J±cµk²·¶·¸k±^µk¹Bº¸k±T»J³T´N³=±c¼0³f¸k±º)¸k½¾¿F²·³Q´JÀ Á'¶Âk³_ÂÄâ³QÅ_¶ Æ^±j¨5iK?y?G0P
?Q?Ç???V.¨5nOTQGHl1ªcGHLV?dQd?.S5DK?I¬?O?PNG¨5Y)vS
£ V?¤
fS5¬hS5©K?[NsK=§+KTa¨5¬hS5z+S5vZ TK5LNGJ«¨5K?IF\ÄÈfS5ztS5É+GHZ }ksFK?Z GS5nGJ[§tOQLN}Ê[NM l'M I^y
K?IK?Z akPNM Pl'GJ[Ns^Ok\]§sM E0s]GJZ M lM I^KQ[WG0P[NM lM Iy'TK5LXM K?[NM OQI^P)ªcGH[b§{GHGJI]P_M y5IFK?Z P
[NLWKTQGHLWPNM Iy'K'EHO?l'l1O?IEHM LNEJ¦M [i^KQ[WspSËwÌ+ÍcÌtÎtµk²·³Q±^²)ÏkÐÒÑkÓkÑFÐÒÓkÔkÕk¨k¬?¦^IG
UWQ?.S
£ ?¤
fS5¬hS5©K?[NsK=§+KTa¨5ÈÊSkÈ¢KQZ K?Ö×KQZ K.¨5vSk¬.SkDF¦^GJPWPQ¨5z+SFØ¢Mb¨FKQI\
YSkÙM P_§{GHPN§+K?LNM KQsBSkDFakPN[WGHlÚK?IF\ÄlGH[NsFOk\ÖÒO?LEHO?LNLNGJZ KQ[WG0\ÄiLNOkEHGJPNP
ijGJPNPWM l'M PNlÚLWG0l'O==K?ZhÖ×O5LPN[WKQ[NM E[NM l1M I^y'KQI^KQZ akPNM PQSËBÌÍ^ÌtÎ+µk²b³T±j²
ÔkзÛkÛkÔkÐ ÜÑkÑk¨5®¢EH[NO?ªcGHLV?dQd?hS
£ ?¤YSkÙM P_§{GHPN§+K?LNM KQsB¨kÈfS5|KTkM IF\^LNKQIw¨5ÈÊS5È7KQZ K5Ö×KQZ K.¨5DBS5ÝS5ÞK?Z }QGHLQ¨kKQI^\
DwS5nKQLNK=aQK?IBS5ßBM LNPN[Nx·O5LX\GHL)M IEHLNGJl'G0Ik[WKQZpªFZ OkE_}kx·ªK?PNGJ\ÄPN[NK?[NM PN[NM EJKQZh[WM l'M IFy
K?IK?Z akPNM PQShÎ+´N¸Q¼TÌ+ÕkàFà0Ü#óTÅJ¶ Æc±fÁ¿^²·¸k½fµk²·¶Ò¸±º¸k±=»_³=´N³=±c¼0³=¨kiK?yQGJP
?jUWÇ???.¨5¬5¦FIGVQd?dQ.SkDKQI
M GHyQO.¨5Yv'S
£ ?¤áSk¥hsFK?Iy.¨5oS5©¦B¨5K?I\Y1SFY1S5Y)sFGHIpSFÉ+Z OkEW}]ªFK?PWGJ\PW[XK5[NM PW[NM EHKQZ[NM l1M I^y
K?IK?Z akPNM P§)M [XsÄG0k[WG0I^\GJ\EHKQI^OQIM EHK?Zh[NM lM Iy'l'Ok\FGHZNShÎt´X¸=¼=Ì.ÁfÅ_¶·µÄÍ^¸k¿^²·â
Î+µk¼Q¶ ãt¼Ã¢³QÅ_¶ Æ^±fÁ'¿^²·¸k½fµk²·¶Ò¸k±º¸k±Q»_³=´X³Q±^¼J³äÁÊÍcÎ+ÃBÁºpåk¨5iK?y?GHPV5?dQÇ?VQ?.¨
¬5K?Ik¦K?LNafV?dQd?.S5Ds^KQI^yQsFK?MN¨5Y)sFM IK.S
£ ?¤vS5vyQK?LN§+K?ZN¨5
fS5É+Z K?KQ¦k§'¨5K?I\ÙS5¥.O?Z O?[NOTSkD[NK?[NM PN[NM EJKQZp[XM l'M IyKQI^KQZ akPWM P
Ö×O5LM I5[NLNK?x\M G7iLWOkE0GHPWP)=KQLNM K?[NM OQIP)§)M [NsPWiFK?[NM KQZEHOQLNLWG0Z K?[NM OQI^PQSh¯_°+°+°
¯N±j²³T´H±^µk²¶¸k±cµk¹Bº)¸k±=»0³=´N³=±c¼_³Ê¸k±º¸k½)¾¿^²·³Q´0À Á'¶Âk³0ÂÄâ³QÅ_¶ Æj±j¨5iFK?y?GJP
?dQd?ÇQ?d?j¨Fn)O=QGHlªcGJLV?dQd?jSkDK?I]¬5O?PNG¨5Yv'S
£ ?¤©S5Yts^KQI^y'KQI^\DBS5DwS5DFK5iFK?[NIGJ}=K?LQS5D^[NK?[NM P_[NM EHKQZh[WM lM Iy'K?IK?Z akPNM P
EJOQI^PNM \GJLNM Iy'P_iFK?[NM KQZhEHO?LNLNGJZ K?[NM OQI^P¦^PNM Iy'KPNM I^yQZ G7z{æ{|pux·Z M }?G7[NLWKTQGHLXP_KQZNS
¯N°+°t°ç¯W±c²·³Q´J±cµk²¶Ò¸k±jµk¹Bº¸k±Q»_³Q´X³=±j¼_³f¸k±º)¸k½¾¿^²·³T´HÀ Á¶ÒÂk³JÂÃ7³TÅJ¶ Æj±^¨kiK?yQGHP
?VjUWÇQ?V?j¨Fn)O=QGHlªcGJLV?dQd?jSkDK?I]¬5O?PNG¨5Yv'S
£ ?¤Y1SkÙ)M PN§tGHPN§+K?LNM K?sBSkDakPN[NGHlèKQI\]l'GJ[Ns^Ok\Ö×O?L)M IFEHLNGJl'GJIk[NK?ZhPW[NK?[NM PN[NM EJK?Z
[NM lM Iy'K?IK?Z akPWM P)O?Öp\^M y?M [NK?ZhEJM LWEH¦FM [NPQS)ËBÌtÍcÌtÎ+µk²·³Q±^²)ÔkÐÛkÛkÛkÐÕkÑkàk¨
DFGHi^[NGJlªcGHLV?d?dQhS
£ ?¤¬hS5éM OQIFyh¨5ÙS5¥.O?Z OQ[WOT¨5K5IF\áS5©GS5|)OQª^¦PN[)GHk[NLNK?EJ[NM OQIO?ÖpPWiK?[NM KQZ
EJOQLWLNGHZ KQ[NM O5IpShδX¸=¼T̯N±j²·³T´J±jµk²¶Ò¸k±jµk¹pÍcê5½)¾c¸kÅ0¶Ò¿½ë¸k±Î+âkê?ÅJ¶Ò¼_µk¹Bâ³QÅ_¶ Æ^±j¨
iFK5y?G0PV?ÇQ.¨5viLWM ZVQd?dQ.S5D^KQI¬5OQP_GF¨5YvS
£ U_d?¤¬hS5éM OQIFyh¨5ÙS5¥.O?Z OQ[WOT¨5Y'S5ÙM PW§+GJPN§+K?LNM KQsw¨5KQI^\n'SkÙpGHI^}TKQ[WGHPN§{K5LXK?IBS
YtLWM [WM EJK?Z M [baÊEHOQli¦^[NK?[NM OQIM IiFKQLWKQl'GJ[NGHLNM «JGH\PN[NK?[NM PN[NM EJKQZp[NM l'M IyjSpÎ+´X¸=¼QÌ
ÕkàkàkÑÄâ³QÅ_¶ Æj±Á¿^²·¸k½'µk²b¶Ò¸k±º¸k±T»J³=´X³=±c¼J³T¨5i^KQy?GHP?5ÇQ?.¨5¬5¦Z aÊV?dQd?.S5DK?I
ßBLNKQIEHM PWEHOj¨5YvS
£ U5UW¤ÙS5¥.O?Z O?[NOT¨F¬jSFéM O?Iy.¨5K5IF\YSkÙ)M PN§{GHPW§+KQLWM K?spSFYtO?l'iF¦[NK?[NM O?I]O?ÖBakM GJZ \
y?LNKQ\^M GHIk[WPÖÒLWOQlèPN[NK?[NM PN[NM EHKQZ[NM l1M I^y'KQI^KQZ akPNM PQShÎt´N¸=¼TÌtÕkàFàkÑìÁË
äÁ'º)íî¯N°°+°çï{¸k´Jð=Å0âk¸0¾;¸k±²·¶·½'¶±=ƶÒÅ0Å_¿^³=Å1¶Ò±²âk³fÅÒ¾j³_¼Q¶ ãt¼_µk²¶Ò¸k±
µk±cÂ
Å0êQ±j²âk³=Å0¶ÒŸ0»Âk¶ Æc¶²·µk¹BÅ_ê5Å0²·³Q½'ÅÒåF¨5iK?y?GJPUNV?QÇ.UWQd.¨kß^GHªFLN¦K?LNaÊVQd?dQhS5DK?I
¬5OQPWG¨5YtvS