Criticality computation in parameterized statistical timing.

Criticality Computation in Parameterized Statistical Timing
Jinjun Xiong
Vladimir Zolotov
Natesan Venkateswaran Chandu Visweswariah
Univ. of California
IBM Research
IBM Sys. & Tech. Group
IBM Research
Los
Angeles,
CA
Yorktown
Heights,
NY
East
Fishkill,
NY
Yorktown
Heights, NY
!"!#$!%&
"'()(
ABSTRACT
*+, -.0/21435!614798:5;:<=>,[email protected]/D8:<974+3!EF EGHI+1:J$<K.:+!EMLN3OFP1;:G$<
-1;14/)<98:;:,?7IJ14;:,P148Q, E3!.RN13=S1)LTE;:.:<3,U3GO8:;:<V3!=W,U.X-;:<9=, 798:<V=ZY
[ +<.:<\-]14;1/)<98:;:, 70J14;:,P148,UE$3.T/21^$<_79,U;:795,U8`E-8:, /a,?bc1d8:, E3e=!,?fag
7V5!F?8_.:,U37<h=,Ui&<;:<9380-Z18:+.a1d;:<K6;:<9jc5<V3!79HcgFU,U/),U8:,?3GC, 3>=,?ik<9;:<93c8
-1;:8:.lE6`8:+<)/h5FU8,Ug=!,?/a<93.:, E3Z1dFZ-!;:E79<.:.l.:-179<Y [ +!<9;:<96 E;:<cR&,?8
,U.l=<.:,?;14mFU<h8:En+1:J$<O1o3!<9Lp=,P1G3E.:8:,?7)/a<V8:;:, 7h6E$;\;:Em5.:8l79,?;:g
7V5!,?8NE$-8:,U/),Ub1d8:,?E3Y [ +, .q-Z14-&<;q-!;:<9.:<93c8:.h1N3!EMJ<9F`1dFUG$E$;:,U8+!/r8QE
7VE/a-!58:<\8:+<\7V;:, 8:,?7c1dF ,?8QH)-!;:E$m1m,UF?,U8PHCE6s<VJ<9;:Ha<9=G$<_,U3I8:+<\8:,?/ag
,U3G>G$;14-+tE$6o1X=<9.:,?G3tLN,?8:+tF?,U3<1d;o79E/a-FU<9u, 8PHO, 3v8:+!<)79, ;:7V5!,?8
.d,?b9<cY]w0.d,?3!GK,?3!=5!.:8:;:,P14F&mk<937+!/21d;:^.R$L`<_J<9;:,U6H)8:+<_7VE$;:;:<9783<9.d.
E$6qE5;o7;:,?8:,U714F?,U8PH279E$/a-5818:,UE3tJc,P1yxaE$3c8<v*N1;:FUEn.d,U/h5!FP1d8:,UE$3ZY
z <I14F?.:EC.:+!EML{8:+148|6 E;|FQ1;:G$<K,?3!=5!.:8:;:,Q1F}=!<9.d,?G$3._LN,?8:+>~~&$R B$BB
Gk18:<9.RZE5;21FUG$E;,?8:+/€79E/a-!58:<9.21dFUFN<V=!G$<n79;:,U8:,U71FU,U8:,?<9.), 3AF?<9.d.
8:+13‚ƒ4BC.:<979E3=!.Y [ +<K+,UG$+‚1d79795!;179HW1d3!=O61.d8|.-k<V<9=>E6Z8:+<
1FUGE;:,?8:+!/„LK1;:;1438N6 5!8:5;:<e14--!F?,U7c18:,?E3IE6]7V;:,U8:,U7c1dFU,U8…HI-;:Em1m!,?F?g
,U8…Hn6 E$;|;:E$m5!.:8|79,?;:795!,?8|E$-8:,?/a,?bc148:,?E$3Y
1.
INTRODUCTION
† q
. 8:<97+!3EF?E$G$H)3!E=<9.q.d+;:, [email protected]/‡1d3!=Cmk<9FUEMLhR$,U8`mk<979E/a<.
/)E;:<C=!,?fa75F 8K8:EO/21d3c56d1d798:5!;:<e7+,U-.XL|,?8:+WG$51;1438:<V<=W-1;1g
/)<98:;:, 7y8:,U/),U3GtHc,?<9FU=ˆ=5<>8:E‰.d5m.:81438:,P14F|,U379;:<c14.:<yE$6l-;:Ec79<9.d.
J!1;:,P148:,?E3!.yŠU‹QYeŒQ6N8:+<9.d<C<i&<798:.n14;:<C3E8K79E$3.:, =<;:<9=W-;:E$-k<9;:F?HR
8:+<e-&E8:<938:,Q1F`6E;K.d,?FU,U79E3W6d1,UF?5!;:<C,U.X+,UG$+ZRq143=t8:+!<‰1.:.dE79,Q18:<9=
7VE.:8`6E$;\1N=<9.d,?G3a;:<9g.:-,U3C,?.`-!;:E$+,?m!,?8:,?J<cY [ +<9;:<6E;:<R.:818:,?.d8:,?7c14F
/)<98:+!Ec=.C+Z1J<>;:<97V<93c8F H{1d8:8:;14798:<9=Ž1488:<38:,?E3Ž1.‰1e-;:E/),U.:,U3G
1--;:Ek147+y8:Ea,?/a-;:EMJ<l-Z1;1/a<98:;:,?7o8:,?/a,U3G)H,?<9FU=]Y
ŒP3W8:+!<C=<98:<9;:/a,U3, .:8:,?7‰1--!;:Ek1d74+RT1)7,?;:795!,?8h,?.XE-!8:,?/a,?b<9=W6 E;
1y.:,?3G$FU<O79E$/hm!,?3Z1d8:,?E3E6\-!;:E79<.:.e-Z1d;14/a<98:<V;:.Y‘_EMLT<9J$<V;Ro14.
1O;:<9.:5FU8nE6K/214356:14798:5;:,U3G‚Lq<v;:<79<9,?J<v74+,?-!.y7VE$;:;:<.:-kE$3=,U3G
8:EOJ1d;,?E5!.K7E$/hm,U3]148:,?E$3!.hE$6N-;:Ec79<9.d.K-Z1d;14/a<98:<9;:.Yv’`<98:<V;:/a, 3g
,U.:8:,?7yE-8:,?/a,Ubc18:,?E3A7133E$8)G5]14;13c8:<9<n8:+18)8:+!<n74+,?-ˆ.1d8:,U.d“<.
=<9.:,UG$3W;:<9jc5,U;:<V/a<93c8:.K6E$;y1F?FqE;X/)E$.d8KE$6N8:+!<V.:<I7VE$/hm!,?3Z1d8:,UE$3.Y
”M818:,?.d8:,?7c1FoE-!8:,?/a,?bc148:,?E$3„Š?Rh•RN~$‹o,?.y814;:G<98:<9=S8:EA.:EF?J<v8:+,U.
-;:E$mFU</OY [ +!<NGE&1FE$6k.d8M148:,?.:8:,U7c1FE$-!8:,?/a,?bc18:,UE3a,U.
8:Eo/O1uc,?/a, bV<
Hc,?<9FU=2L0+,UFU<X.148:,?.:6H,U3Gn8, /),U3GkR–14;:<c1R&-kELq<9;e13=2E8:+<V;l=!<9.:,UG$3
7VE3!.:8:;1d,U3c8:.Y [ +,?.lG$E—1dFZ7c13vm&<>17+!,?<9J<9=2E3!F?H>mcH>79E3!.:,U=<9;:,U3G
8:+<\LN+E$F?<\.:-17<0E6s-;:Ec79<9.d.qJ!1;:,P148:,?E3!.YN˜Z14;1d/a<98:<9;:,Ub9<9=e.:8148:,?.:g
8:,U7c1dF}.d8M18:,U7\8:,U/), 3G2131F?Hc.:, .h™:”” [ †Cš ŠU›$R—ƒ4‹—-!;:EMJc,?=!<9.N8:+]148N^,U3=
E$6Z<9u-!F?E;1d8:,UE$3Rc7E$/a-58:,?3!GC8:+<K79,U;:795,U8|=!<9FP1Ht14.a10653798:,?E3>E6
-;:Ec79<9.:.C-Z1d;1/a<98:<V;:.Yˆw\36E$;:8:5318:<9F?HcR`^c3ELN,?3!G‰7,U;:7V5!,?8C=!<9FP1H
,U.03!E$80<93E$5!G$+Y [ +!<KE-!8:,?/a,Ubc18:,?E3O3<9<9=.\/aE;:<h=<9814,?F?<9=OG5, =g
137<N8Eo.:<VF <97V8
7V,U;:7V5!,?8–6;1G/a<38:.–;:<9jc5!,?;:,?3!Gl,U/a-;:EJ<9/a<93c8Y [ +<
8:,U/a,?3!Gy131FUHb9<9;T=;:,?J<9.T=<98:<9;:/a,?3!,?.d8:,?7\E-!8:,?/a,Ubc18:,?E3emcHa,U=<38:,?g
6H, 3GW1o79;:,U8,U7c1FZ-18:+ZY0ŒQ328:+<X-!;:<9.:<V3!79<XE$6
-!;:E79<9.d.lJ1d;:,1d8:,UE$3.R
8:+<C79;:,U8, 71Fq-]148:+‰, .K3!E8K5!3!,?j5<Cmk<97c145.d<C=!,?ik<9;:<93c8K-18:+.h7c13
mk<o7V;:,U8:,U7c1dFs,?3>=, i!<;:<938|;:<9G$,UE$3.0E68:+!<\-!;:Ec79<9.:.|.:-Z1d7<cY
[ +<9;:<0,U.\1T5!.:<965F&F?EG,?7c14F!<Vu8:<V3!.:,?E3aE6k8:+<|79E37<9-8
E6
1T79;:,?8:g
,U7c1dFZ-Z18:+v7c1dF F?<9=v79;:,?8:,?7c14F?,?8QHO-;:Em1m,UF?,U8PHAŠUƒ‹QYC”M,U/a,?FP14;l79E3!79<9-8:.
Lq<;:<I5!.:<V=‚,U3A8:+<n79E$3c8:<9uc8XE$6)˜—œl [
3<V8QLqE$;:^.aL|+<9;:<n,?8aLo1d.
7c14F?F?<9=W7V;,?8:,?7c14F?,?8QHv,?3!=<uˆŠ žd‹QY [ +!<C79;:,U8:,?7c1FU,?8QHvE$6h1X-18:+W,?.h8:+<
-!;:EmZ1dm!,?F ,?8PHˆE6o/21435!614798:5;d,U3G{1y74+,U-Ÿ,?3‘LN+!,?74+8:+!<2-18:+Ÿ,?.
79;:,U8,U7c1FQY [ +<o+,UG$+<9;|8:+!<o79;:,?8:,U7c1F?,U8PHR8:+!<o/)E$;:<o,U/a-kE$;:81d38|,?8|,?.
8:EK,?/a-!;:EMJ<|8:+!<08,U/a,?3!GK7+14;1d798:<9;:,U.:8:,?79.qE6}8:+<_-]148:+]Y]ŒP3‰Š? ‹!, 8
,?.
.:+!EML|3h8:+Z18Z8:+<T79;:,?8:,U7c1F?,U8QHoE$6Z1
-Z1d8:+),?.–<9j5Z1dF8QEl8:+<N.:<V3!.:,?8:, J,?8PH
E$6N8:+<e/a<c13tE6N8:+<e79,U;:795, 8K=<9FP1dHvLN,?8:+W;:<.:-k<9798K8:EO8:+!<C/)<13
E$6N8:+<C-Z1d8:+W=<FQ1HcYv¡`68:<V3t8:+!<C7VE$3!7V<9-!8KE$6N7V;:,U8:,?7c1FU,?8PH‰,?.K/aE$;:<
79E3J$<93,U<938_8:+143O.:<3.:,U8:,UJc,?8QHYN¢Z,U;:.:8R8:+<X=<9“!3,?8:,UE$3OE$6–7;:,?8:,U714F?g
,?8QHa,?.T.:,?/a-F?<9;R$79F?<c14;:<9;l13!=e/aE;:<\,?3c85!,?8:,UJ$<cYN”<79E3!=]R$7;:,U8:,?7c1FU,?8PH
79E/)-5818:,?E3C=E<V.`3E$8
;:<9jc5!,?;:<|79E/a-F ,?7c18<=a7+Z1,U3a;:5FU,U3Gh5.:<9=
6E;`79E$/a-58:,?3!GK.:<93!.:,?8:,UJ,?8:, <9.R!14.`,U3vŠ? ‹QY [ +!,?;:=RLT<|=!<9“3<)1q3!<VL
79E379<-8\7c1dF F?<9=O7VE3=,?8:, E3Z1F]79;:, 8Q, 7c1dF ,?8PHy8:+]148_G, J<9.\5.\,?3!6 E;:/21dg
8:,?E3CE$3e+ELˆ79;:,?8:,?7c14F–1TGk18<_,U.
7E$3!.:,?=<9;:,?3!GKE3F HX/213c56d1798:5;:<9=
7+!,?-!.|8:+]148N6d1,?F}8:, /),U3GkY|*]E$3=!,?8:,?E3]14Fs7V;:,U8:,?71dFU,U8…Hn,?.|/aE$;:<o5.:<965F
6E;`E-!8:,?/a,?bc148:,?E$3C.:,?379<|8:+!<NE-8:, /),Ub148,UE$3a.d+E5FU=a6E7V5!.
E$3!F?HXE$3
7+!,?-!.
Jc,UEF1d8:,?3!GK8,U/a,?3!Go79E3.:8:;1,?3c8:.Ys¢&E5;:8:+ZR79E3=!,?8:,?E31F!79;d,?8:,?g
7c14F?,?8QH\7c143Kmk<q5.d<9=K6E$;E8:+!<9;T14-!-FU,U718:,UE$3!.]FU,?^<`79,?;:795!,?8.:H3c8:+<9.:,?.
13=y8:<9.d8NG<V3<;1d8:,UE$3Y
[ +!<V;:<vLo1.t143£18:8:<V/a-!8I8:E¤79E/a-5!8:<279;:,?8:,?71F?,U8:,?<9.nmcH‚/X5F?g
8:,?-!F?Hc,?3!Gy8:,?G+8:3<9.:.o-!;:EmZ1dm!,?F ,?8:,?<9.IŠUƒ‹PY [ +, .I1d-!-;:E—17+‘1d.:.d5/a<V.
8:+Z1d8]8:+<`8:,UG$+8:3<9.:.-!;:EmZ1dm!,?F ,?8:,?<9.;:<V-!;:<9.:<93c8s, 3=!<9-k<V3!=<93c8]<9J<V38:.
13=O713Omk<h/X5FU8:,U-F?,U<V=ZRL|+!,?7+O,?.\3!E8\79E;:;d<97980=!5!<K8:EeGF?E$m1FUF?H
79E;:;:<VFQ18<=e-14;1d/a<98:<9;:.o143=I-]148+I;:<979E$3cJ<9;:G<9379<cY]0EL`<9J$<;Rk1d.
Lo1.X.d+ELN3¤,?3{ŠU‹PR<9J$<93¤.d574+¤,U3]1479795;18:<e79;d,?8:,U714F?,U8:,?<.h7c143¤m&<
5!.:<V65F}6E;0G5!,?=!,?3GaE$-8:,U/),Ub1d8:,?E3Y
ŒQ328:+,U.o-]14-k<9;R&LT<X=!<9J<9FUE$-1317795;148:<O1d3!=v<9fa79,U<938l8:<V74+g
3!,?jc5<o6E;N79E/a-!58:,?3!G)7V;:, 8:,?7c1dF ,?8:,?<9.|E$68:,?/a,U3Ga<9=!G<9.|,?3y8:+<o79E$3g
8:<9uc8\E$6`-1;14/a<V8:<9;:,?b9<9=vm!F?E74^cgm]14.:<9=”” [ † Y z <)5.:<)8:+!<X.1/a<
79E379<-8qE6}G$;1-!+C7V5!8:.:<[email protected] ~$‹&6E;
7E$/)-!58:, 3GK8:, /a,?3GhH,?<F?=
G$;1d=!,?<93c8_mHn-&<;:85;:m!,?3!Gv˜`’
¢Z.\E6–8, /),U3GC<9=!G<.Yo¡`5!;079E/)-5g
818:,UE$325.:<9.lE3F Hy<9fa79,?<38lE-k<9;18:,UE$3.lE$6
.:8148,U.:8:,?7c14FZ/a,?3!,?/h5!/
13=O/214u,?/h5!/2R1d3!=O8:,?G+8:3<9.:.\-;:Em]14m,UF?,?8QHy7VE/a-5!818:,?E3]Y z <
=!EX3!E8N/21^<e143H‰1.:.d5/a-!8:,?E3.h14m&E58N,?3!=<9-k<93!=<9379<e14--!;:EMuc,?g
/21d8:, E3!.TE3I8:,?G$+c8:3<.:.T-!;:Em]14m, F?,?8:,?<.Y [ +!<_-!;:E-&E$.:<9=W1FUGE;:,?8:+!/
+Z1d.)F?,U3<1d;)79E/a-!F?<9uc,?8QH‰,U3A8:+<n3c5/Xmk<V;)E$6|8:,U/a,?3!G2<9=G<9.Y z <
-!;:E-kE$.d<X1T3!<9L‚7E$379<9-!8
E$6—79E3!=,U8:,?E3]14F7;:,U8:,?7c1FU,?8PHO13=C=!<9J<9FUE$13‚<9fa7V,U<V38X8:<97+!3, j5<n6E;a,?8:.)7E/a-!58148,UE$3Y z <n,?/a-!F?<9/a<V38
E$5;214F?G$E$;:,U8:+/a.a,?3Ž143A, 3=!5.:8:;:,Q1FN.:8148,U.:8:,U714FN8:,?/a, 3G‘1d3Z1dF Hb9<;
13=OJ$<9;:,U6Hn8:+<K7E;:;:<9798:3!<V.:.\E$6ZE$5!;0,U/)-!F?<9/a<93c81d8:,UE$3>mcHWxaE$3c8<
*|1;:F?Eo.:,?/X5FP148:,?E$3ZY z <|.:+!EMLA8:+Z1d8–6E$;_13), 3=!5.:8:;:,Q1dF † ”Œ9*OL|,?8:+
~$~k$R B$B$BIG—1d8:<9.R&E$5!;a1FUG$E;:, 8:+/¥79E/a-!58:<9.e1dF F]<=G<h79;:,U8,U7c1FU,?8:,U<V.
,?3>F?<9.:.|8:+Z1d3A$ƒdBa.d<979E$3=!.Y
[ +!<C;:<.:8KE6N8:+!<C-Z1d-k<9;K, .KE;:G&143, b9<V=S1.h6EF?F?ELN.Yt”<798:,?E$3S
G$,UJ$<V.213AEMJ<9;:J,U<9LrE6_-]14;1/)<98:<9;:,Ub9<9=¦”” [ † Yq”<9798:,?E3¦•aG$,UJ$<V.
1n6 E;:/21F0=!<V“3,U8:,UE$3ˆE6\7;:,?8:,?7c14F?,?8QHA-;:E$mZ1dm!,?FU,U8PH¦13!=ˆ=<.:7V;:,Umk<V.
8:+!<V,U;0-!;:E-k<9;:8:,?<.Yl”<V798:, E3O~C-!;:<9.:<V38:.)1FUG$E;:, 8:+/a.06E$;079E/)-!58:g
,?3!G279;d,?8:,?7c14F?,?8:,U<.XE$608,U/a,?3!G2<9=!G<9.Y2ŒP3¤.:<798:,?E$3¦›aLq<n=,U.:795!.:.:<V.
<9uc-k<9;:,?/a<93c81dFs;:<9.:5F?8:.$§}13=y.:<97V8:, E3¤ƒ_=;1:L|.|79E3!79F?5!.:,UE$3.Y
2.
†
5!37E$;:;:<VF1d8:<9=Ÿ8:<9;:/a.Y
PARAMETERIZED SSTA
- 14;1d/a<98:<9;:,Ub9<9=nm!F?Ec74^gm1.:<9=A”” [ † a
/ E=!<VFU.X1_=,?G,?81F}79, ;:7V5!,?8
L|,?8:+Ž1I8:,?/a,U3G‰G;1-+©¨l™ªv«P¬n«P­q®V«…­q¯ š R–LN+!<9;:<>ª°,?.v1I.:<8aE6
3Ec=<9.R¬±, .>1).<V8XE6|G&18:<9.>143=¤L|,?;:<9.R­ ® , .y1a.E5!;:79<e3E=<R
­q¯|,?.K1N.:,?3!^a3Ec=!<cY [ +<_3E=!<9.q;:<9-!;:<9.:<V38`-!,?3!.`E6}79,?;:795!,?8qGk18:<9.Y
+ <l<9=G<9.K™Lq<9,?G$+c8:<9=ImHC8:+<,?;T=<9FP1:Hc. š /)E=<9F—.:,?G3Z1dFk-!;:E-Z1Gk1g
[ 8:,UE$3Ÿ™<9,U8+!<9;KG&148:<aE;oL|,?;:<C=!<9FP1H š 6;:E$/²E3!<C3Ec=!<a8:EA13E8:+<9;Y
³ 148:7+<9.a143=v´,U-g´!E-!.a1;:<h/aE=!<9FU<9=OmkE8:+OmHn.d,UG3Z1dF-!;:E-Z1Gk1g
8:,UE$3143=‰mcHO7+!<97^, 3G>8,U/a,?3!Gn79E3.d8;14,?3c8:.Y [ +<V.<)74+<74^.I1;:<
8:;13.d6E;:/a<=e,?38:En14==,U8,UE$31Fk79,U;:795, 8`E$5!8:-58:.YNµ]H),U3c8;:Ec=579,U3G
1lJc,?;:8:5Z1dF.dE$5!;:7V<>1d3!=O.d,?3!^y7VE$3!3<9798:<9=2LN,?8:+28:+<h79,U;:795, 80, 3-!58:.
13=AE$58:-58:.R|1C7V, ;:795,?8),?.)/aE=<9FU<9=¤mcH‘1a8:,?/a, 3GvG$;1-+ALN,U8:+
1h.:,U3G$FU<a.:E5;:79<v13=‰.d,?3!^‚1.o,U.K.:+ELN3‰,?3t¢Z,?G—Y–Y [ +<C=<VF1Hc.
E$6q8:+<a<9=!G$<9.o79E$33!<97V8:,U3Gy8:+<a-!;:,?/21;:HO79,?;:75,U8lE$58:-!58:.o8:Ey8:+<
.d,?3!^t14;:<K.d<9808:EI8Q+!<h3<9Gk18:,?J<KE6–8+!<h;:<9j5,U;:<V=‚14;:;:,?J&1dF8,U/a<9.C1d8
8:+<)79E$;:;:<9.:-kE3=!,?3!Gn-;:,U/21;:HOE5!8:-5!8:.Y † .d.:5/a,?3!GI8:+Z18\79, ;:7V5!,?8
FUEE-.h1;:<lm;:E$^<3n6 E$;N8:,?/a,?3!G>13Z1dF H.d,?.R—108:,?/a,?3!GXG$;14-+I, .K1|=!,?g
;:<7V8:<9=‚1479H79FU,?7XG$;1-!+‚™:’ †h¶oš Y [ +!<hF?E$3G<9.:8\-]148:+O=<9FP1dHn, 3O8:+<
8:,U/a,?3!G0G;1d-!+h,U.Z8Q+!<q3<9G—1d8:,UJ$<qE68:+!<`79, ;:7V5!,?8.:FQ17^o,U3hFP148:<q/)E=<R
13=‰8+!<a.:+E$;:8:<9.:8o-]148:+v=<FP1HO,U.l<j5Z1dF
8:En8:+<)79,?;:795!,?8o.:FP147^O,U3
<14;:F?Hn/aE=<cYZ¢&E;|m;:<J,?8PHcRL`<h7VE$3!.:,?=<9;|E3FUHIFQ1d8:<o/aEc=!<I1d3Z1FUHg
[ +<2/21du, /h5/Ù143=/a, 3,U/h5/ÚE-&<;1dg
8:,?E3.C14;:<y1--;:Eu,?/2148:<9=OFU,?3!<c1d;:FUHy5.d,?3!G‰*]FQ1;:^}Û .\6E$;:/X5F1d.C1d3!=
8:+!<\7E$3!7V<9-!8NE68:, G+c83!<9.d.N-;:Em1m,UF?,U8PH‰ŠU$$R}›Rsƒd‹PY
¶ ,?J<93S8…LTEA;143=E$/ÜJ&1d;:,P14mFU<9. Ë
13= ËOÝ RN8:+!<v8:,?G+8:3!<V.:.
Ö
-!;:EmZ1dm!,?F ,?8PHhE$6 Ë
,?.`8:+<|-;:E$m14m,UFU,?8PHXE6 Ë
m&<9,U3GoG;:<18:<9;–8:+13
Ö
Ö
13= Ë Ý +1:J$<03E;:/21dF
Ë Ý R,QY <cY?R$Þ
ß
à Ìqá ™ Ë
Ë Ý š Y}ŒQ6—m&E8:+ Ë
ÖTâ
Ö
Ý
Ý
=!,?.:8:;:,Um58:,?E3yL|,?8:+>/a<c1d3!. Î
143=Oä Ý R
Ï 143= Î Ý Ï RJ&1d;:,P1437V<._ä
Ödã
ã
Ö
13=y79EMJ14;:,P1379<oå ÌTæVçè ™ Ë
« Ë Ý š R8:+<3I8:+!<_8:, G+8Q3!<9.d.N-;:Em1m,UF?g
Ö
,?8QHIÞ ß à ,U.|G,?J<93>mH
Þ
ß
à ̤á
ä
Þ
ß
à Î
Ì
ð
Ý
Ì
De
AT
2
3
4
™ Î
−RAT
S
5
3
5
Ý š ÌSéSê
Ë
Î
Ödã
Ï`ë
Ý
Ö
Ödã
Ð2Î
ޖßkñ Î Ý Ï Ð
ã
Ý
Ö:ã
ì&ò
ê
Î
Ï š Ð
Ý
”M,?G31FU.v1d;:<>-!;:E-Z1dG—18:<9=‚8:+!;:E5!G+ˆ<9=G$<.amcH{1d=!=!,?3Gt<9=G<y=<9g
FQ1H.\8:Ee.d,?G$3Z1dF † [ .Y † 8_3!E=!<V.\8:+<XLTE;:.:8 † [ ,?._71F?795!FP148:<V=‚14.
8:+<C/21uc,?/h5!/‡E6o1FUF † [ .KE6T8:+<C,U379E$/),U3G><9=G$<.Ya¢&E$;K79E/ag
-5!8:,?3!Gy † [ .N8:+<l.:,?G3]14F?.K14;:<_-!;:E$-1G—1d8:<9=ImZ17^cLo1d;:=n6;:E/É8:+<
.d,?3!^t8:E‰8:+<y.:E5;:7<cYŸ”M,?G3Z1dFU.O14;:<n-;:E-]14Gk1d8:<9=ˆ8:+;:E5G+A<9=!G<.
mcHC.:5m!8:;17V8:,U3G)<9=G$<l=<9FP1H.N6 ;:E/r.:,?G3]14F` † [ .Y † 8T3E=!<9.N8:+<
LqE$;:.:8K † [ ,?.T7c14F?795FQ1d8:<=‰1.T8:+<\/a,?3!,?/h5/„E6q1F?F
 † [ .TE6s8:+<
,U379E/a,?3!G2<9=G$<.Y [ +5!.RZ3Ec=< † [
;:<9-;:<9.d<938:.)8:+<n/O1uc,?/X5/
=<9FP1dHO6;:E$/‡8:+<a7,?;:795!,?8o.:E5;:79<a8:Ey8+!<a3E=!<aLN+,?F <a3Ec=!<2 † [
,U.T8:+<\/214u,?/h5!/„=!<9FP1:Ha6;:E$/É8+!<l3Ec=<\8:EX8:+<\.d,?3!^am5!8TLN,U8:+‰1
/), 35.0.:,?G3]Y
ŒP32-14;1d/a<98:<9;:,Ub9<9=ˆ”” [ † R!<9=!G<X=<9FQ1:H.R † [ .C143=ˆ † [ .C1;:<
7143!E3!,?7c1F!“;:.d8:gE;:=<9;
6E$;:/a.
E6k-;:E7<9.:.`-1;14/)<98:<9;:.\™.:E5;:7<V.`E6
J!1;:,P148:,?E3 š:Ê
Ô ×nÔ
×
ÐOÎkØ
™: š
Ø «
×nÔ
Ï`ë
Î}Ý Ï
ã
ì
Ï ÐvÎ}Ý Ï š ìkò
ã
í
™• š
Ý
Ý
ð
«
™~ š
Ö
« Ë
Ý š Ì
ð
ÓÔ Ñ
Ðö
™Þ ß à Î
Ö
Ð
Þ ß ñ Î Ý š
×
ÐOÎkØ
Ø «÷™› š
Õ]Ö
.d,?.TL|+<3ILq<\79E/a-!58<l8:+<\FQ18:<9.:8T-kE$.:.:,UmF?<e1;:;:,?J!1Fk8:,U/a<9.K™ † [ . š
13=>;:<Vj5!,?;:<=¤1d;:;:, J1F}8:,?/a<.h™: † [ . š Y]¢&E;|79E$/a-5!8:,?3!G † [ .|8:+<
.d,?G$31FU.X1;:<o-!;:E-Z1dG—18:<9=y6E$;:Lo1;:=>6 ;:E/r8:+!<o.:E5!;:79<o8:E)8:+!<o.:,?3!^sY
Î
™ š
í
×nÔ
ónôõ ™ Ë
·N¸¹&º»¼O½&¾a¿a¸»Àº¸Á)Â!ÃĈ¸Á9ÅCÁ9¸ÆW¸Ã]¹t¹k»MÂ!ÇÈ
ÓÔ Ñ
ËÍ̤Î&Ï`ÐÒ
Ödã
Þ
ß ñ ™ä Ý ÐOÎ Ý Ï š
ã
Î
Ï ë Î Ý Ï
:
Ö
ã
ã
ë
ê
ì
í
F
7
4
7
Î}Ý Ï
ã
ì
L|+<V;:<Còo,U.`8:+<0-;:Em1m,UF?,U8PH)=<93.d,?8QHX65378,UE$3v™:˜
’`¢ š E$6`1T.:813g
=Z1d;:=W3!E;:/214F
=!,?.d8:;:,?m!58:,UE$3ZY [ +<e.:818:,U.:8:,?7c14F
/214u,U/h5/²E6 Ë
Ö
13= Ë Ý ,?.X14--!;:EMuc,?/218:<9=yFU,?3<c14;:F?H‰14.N6E$FUF?EML0. Ê
6
2
Ï Ð
Ö:ã
Þ
ß à ™ä
1
6
ÖTâ
L|+<V;:< é
,?.28:+!<¤795/X5FQ1d8:, J<¤-!;:Em]14m, F?,?8QH{=, .:8:;:,?m!58,UE$3p653!7Vg
8:,?E3î™:*N’
¢ š E621‰.d813=1;:=Ž3!E;:/214Fh=,U.:8:;:,?m!58, E3ZRe13=pì Ì
ï ä Ý Ð ä Ý ë 4åY [ +<y/a<c1d3p13=‚J14;:,P1437V<>E$6_8:+<>.:81d8:,?.8Q, 7c1dF
Ý
Ö
/21du,?/h5!/rE$6 Ë
143= Ë>Ý 14;:<l7E$/)-!58:<9=A1.
Ö
Ð
1
™ Ë
×
L|+<V;:< Î Ø ,?.o=<8Q<;:/a,?3!<9=vmHO/21487+!,?3Gy8:+<aJ14;:,P13!7V<aE$6l™:› š 8:E
8:+!<oJ1dF 5<oG$,UJ$<93ymHt™~ š Y [ +<l/a,U3,U/h5/îE-k<9;148:,?E$3>,?.X14--!;:EMuc,?g
/21d8:<=X,?3O1–.d,U/),UFQ1;ZLl1HY [ +<q.<Vj5!<9Fs14.:.:5/a<9.01`-]14;1/)<98:<9;:,Ub9<9=
.:8148:,?.:8:,?7c14F}8:,?/a,?3!Ga6 ;14/a<9L`E;:^eE$68:+<o8PHc-k<l=<9.d79;:,?mk<9=y,U3¤Š?ƒ4‹PY
3. STATISTICAL CRITICALITY
3.1 Definitions and Properties
Y ¿a»¸Á¸ÀÂ!ÿ¸ÁK‚ÇÂ!Á9È "X#Q$'4' øhùúû ü—ûý!ûþ}ü
_()$!dMV )I# ‰–##n# "#n "lV d Y ¿a»¸Á¸ÀÂ!ÿ¸Á¤
øhùúû ü—ûý!ûþ}ü
ÂîżÁW
ÇZÂÁ9ÈÅ "W#$
$'' ¤y()d4t‚M# Ž–##‚)d")
# (î# "l"dMq"\V •Y ¿a»¸Á¸ÀÂ!ÿ¸Áy
øhùúû ü—ûý!ûþ}ü
ÂÃî¼Ä¹k¼P Ã}ļ "y#$
$'' l
(X!d$…0K# n!–##h# "q"$#M&%
"_O…#$)
d'!
$#
ÕÖ
L|+<;:< ÎkÏ ,U.N8:+!<o/a<c1d3yE;N3E$/a,U3]14Fs=<9FQ1HcR
13=
Ø 1;:<o;143g
=E$/rJ!1;:,P14mFU<9.N;:<9-!;:<V.:<38:,U3G)GF?EmZÔ1FUF?HC7E$;:;:<9FQ18:<V=¤13=n537E;:;:<9g
FQ18:<V=C.:E5;:7V<9.qE6}J×>
1d;,PÔ 1d8:,UE$3× Rk1d3!= Î
1d3!= ÎkØ 1;:<08+<0.d<93.:,?8:,UJc,?8:,?<.
8:Eh8+<_J!1;:,P148:,?E$3.
13!=
Ø R$;:<9.:-k<9798:,?J<9F?HcY † F?F&8:+!<0.:E5;:7<9.qE6
J!1;:,P148:,?E3)+Z1J<N,U3=<-!<3=<93c8 ¶ 15!.:.d,P13X=!,?.:8:;:,Um58:,UE$3.–LN,?8:+)b9<V;:E
/)<c14313!=v5!3,U8lJ14;:,P13!7V<cYK_EMLq<J$<V;R—8:+<a-!;:E-kE$.d<9=v8:<97+3,Ujc5<
+ <e79;:,?8:,?7c14F?,U8PHvE$6h1)8:,?/a,?3GO<9=!G<v™3!E=!< š ,U.K8:+!<C79;d,?8:,?7c14F?,?8QHvE$6
[ 8:+!<I.:<8)E6a1dF Fq-Z18:+.aG$E, 3Gv8:+!;:E$5G$+A8:+Z1d8)<9=G$<W™3Ec=!< š Y [ +<
79E379<-8NE679;:,?8:,?7c14F?,U8PHe7c13ym&<o<9uc8:<93=!<V=y8:E21_7V,U;:7V5!,?8NG—18:<Rs1d3!=
<9J<V3Ÿ8:ES143H‚6;1G$/a<938eE6I1n8:,U/a,?3!GWG$;1-!+E$;I79,?;:795!,?8Y [ +,?.
´!<Vu, m, F?,?8QHn, ._5.d<96 5!F6 E;079, ;:7V5!,?8_E$-8:,U/a,?bc18:,UE$3Y [ +<h79E379<-8_E$6
79;:,U8,U7c1FU,?8QHC,?.N,?FUFU5.8Q;148:<9=I,U3I¢Z,UGkY—0E3n8:+<\<9us1/)-!F?<lE$6T10.:,?/a-FU<
79,U;:795, 8K1d3!=I,?8:.N8PLTEg=,U/a<93.d,UE3Z1dF}-;:E79<.:.T.d-]1479<cY † -Z1d8:+ á |,?.
7143ymk<oG<93!<9;1dF ,?b9<V=>8:Ea/aE;:<o79E$/a-F?<9un/)E=!<9F?.XŠ?4B$‹QY
”M,?G$3Z1dFq-;:E$-Z1dG—18:,?E3t,U3t-Z1;1/a<98:<9;:,?b9<=S”” [ †
,?.X-k<9;:6E$;:/a<9=
.d,?/a,?FQ1;:F?HK8:El=!<98:<V;:/a,?3!,?.d8:,U7N8Q, /a,?3GkY [ +<h1=!=,?8:,UE3aE$6!“!;:.:8:gE$;:=<9;
6E$;:/a.h,?.h-k<V;:6E$;:/a<=‰mcH‰.:5/a/a,?3!G>8:+<9,?;K79E;:;:<9.:-kE3=!,?3GO.:<93!.:,?g
8:,UJ,?8:, <V.\8:EI-!;:E7<9.:.l-]14;1d/a<98:<9;:.e13=2.d818:,?.:8:,U7c1FZ.:5/a/218:,?E32E6
79;:,U8,U7c1FZ,?6
8:+!<h-!;:E79<.:._-Z14;1d/a<98:<9;:.l614F?FZ,?3v8:+<O1d;:<1 á K,?328:+<
-!;:E7V<.:.o.:-Z17V<a=!5;d,U3Gy/21d35!6d1d798:5!;:,?3GkY [ +<a79;:,?8:,?7c14F?,U8PHOE6`8:+<
-Z1d8:+ á q,?.`8:+<9;:<6 E;:<N8:+!<N-;:E$mZ1dm!,?FU,U8PHXE6k/214356:14798:5;:,U3GI1q7+!,?L|,?8:+>8+!<o7E/Xm,U3148:,?E3>E6-1;14/a<V8:<9;:.|6d1FUF?,U3GC,?3>8:+,U.X1;:<1 á Y
X2
"d'"dMwQ
"e#$Q'd' ‰#$h#$v(h"xM(Xc(€"
ve#$
#"O'dM Wˆ#t"dM`QÜ">=62#S#t()=x()c(
M "C
V\
#L
#"l'd Xn#h"4YRy
P1
1
6
P1
2
3
4
X1
ŒQ3XE$;:=<9;–8:E\79E/)-!58:<N<9=!G<N79;:,?8:,U714F?,U8PHcRL`<N79E/a-5!8:<q8:+!<T71d3!E$3,?g
7c14F6E$;:/ Q E68+!<T/O1uc,?/X5/p=<FQ1HoE6!8:+!<`-Z1d8:+!.GE, 3G\8:+;dE$5G$+
8:+!,?.l<V=G<y143=28:+!<h7c143E3!,?7c1dFZ6E$;:/
R E6
8+!<X/21uc,?/X5/¥=<FP1H
E$608:+!<n-18:+.a3E$8XGE$,U3Gv8:+!;:E5!G+‚8:+,?.a<9=!G<cY [ +!<V3‚8:+<n<V=!G$<
79;:,U8,U7c1FU,?8QHa,?.T.d,?/a-!F?Ha8:+<_-;:Em]14m,UF?,?8QHa8:+18 Q
R R$E$;R,?3nE8:+<;
â
LqE$;:=!.R8:+<o8:,?G+8:3<9.:.|-!;:E$m1m,UFU,?8QHeE$6 Q L|,?8:+y;:<9.d-k<9798N8:E R Y
5
P2
7
P2
·N¸¹&º»¼(&¾a¿)»¸ÁV¸ÀÂ!ÿTÇ]Â!Á9ÈZÅaÂÃğǻ)}À¼cÅÅaź*ÅÇ]Â!À¼cÅ+
[ +<_7V;:, 8,U7c1dF ,?8QHXE$6q1T.:<98qE6}-18:+.-,I7c13Cmk<_<9u-;:<9.:.d<9=CmcH)8:+<
6E$FUFUEML|,?3!Ga,?38:<9G$;1F Ê
×
×
×
×
.0///1.
™
ß
ß
Ö
«
//1/
Ý «
š Î
Ö
Î
Ý
///
™:ƒ š
[email protected]@C 4
2 3&5 < <?> D @[email protected]
<?>
71D'
E9 ;
×
×
/1//
×
×
Ô
š ?, .e8:+<G E$,U38v˜q’
¢©E$6\-!;:Ec79<V.:.I-]14;1d/a<9g
L|+<;:<
™
«
Ý «
Ö //1/
8:<V;:.
«
§ á R áH 1d;:<h7V, ;:795,?8_-18:+.\mk<9F?E3Ô G,?3!Gv1d3!=O3!E8
Ý «
ÖF
mk<VF E3!G$,?3Gy8:EI8:+!<).:<V8I–
, R&;:<9.d-&<7V8:,UJ<9FUHcR–143= Ë ™ á š R Ë ™ á H š 1;:<
2 8:9
365 ;=<
74
-18:+2=!<VFQ1:H.e1d.l653!798:,?E$3.\E6
-;:E7V<9.:.l-Z1d;14/a<98:<V;:.Ya¡`mcJ, E5!.:F?HR
8:+,?.06 E$;:/h5!FP1_,?.|3E$8N-;147V8:,U714F—6E;N79E$/a-58:,?3!G)7V;:, 8:,?7c1dF ,?8:,?<9.X1.|,?8
;:<j5,?;:<9.l/h5!F?8:,?=!,?/a<93.:, E3Z1FZ,?3c8:<9G;148,UE$3ˆ1479;:E.._7E$/a-F?<9u>-kE$FUHg
+<9=!;1Y|”ME—RLq<o3<<9=W1_mk<98:8:<9;|Lo1HeE67VE$/a-5!8,U3G)7;:,U8:,?7c1FU,?8:,?<.Y
ŒP8N, .N5.:<65Fs8E)-!;:EMJ<o8+<o6EF?F?ELN,?3Ga.:, /)-FU<oF?<9/a/21Y
YON )
‰4$!dP:=V(h"-Q IRÜ ST)e‚
d"q$&)d6 TWM !–…#$v#L'd' C#q#
C'P)VUc
"OW
J–ùKLKLM
X »)YP¾ [ +!<l<9jc5]14F?, 8…HeE$68PLqEa713!E3!,?71F}6E;d/a.N,?.0<Vu-;:<9.d.:<9=W14.
Ô×
ô Ï Ð
ÓÔ Ñ
×
Ô
Ð
ô
ô Ø
Ô×
ÓÔ Ñ
ØZ Ì\[ Ï Ð
Õ Ö
]
+ , .|<9j51FU,?8QHe7c13ymk<l;:<9L|;:,?8:8:<93¤14.
[ Ô
™ ô Ï ë
[Ï š Ð
ÓÔ Ñ
™ ô
[ š
Ð][ Ø
×
Ð
ØV^V_
™:ž š
Õ]Ö
Ô ×>Ô
ë
×
Ô
[
ô Ø
×
ØVZ ë
[$Ø
ØV^ Ì
B _
™: š
Õ]Ö
+ , .N<Vj5]148:,?E$3n=<“3!<V.h10+cH-k<9;:-!FP143<l,?3n8:+<l-!;:E7V<9.d.N.:-Z17V<lmk<9g
[ 7145!.:<I148|F?<c14.:8|E3!<oE6,U8:.|79Ec<9fa79,?<38:.0,?.03E$80b9<9;:E&Y [ +!<o-;:E$m1g
m,?F ,?8QHK8:+18–8:+!<N7c1d3!E3!,?7c14F6E$;:/).\1;:<N<9jc514F,?._1qJ$EF?5!/)<N,U3c8:<9G;14F
E$6]8:+!`
< GE$,U38h˜
’`¢¤E$6s8:+!<l-;:E79<9.d.N-1;1/a<98:<V;:.0EMJ<9;N8:+!,?.N+cH-k<9;:g
-FP143<Yt¡`mcJ, E5!.:F?Ht8:+, .h-;:Em1m!,?F?, 8…Ht,?.hb9<9;:E26E;>143H‰-;1798:,?7c14F
-;:E$m1m!,?FU,?8QHa=,U.:8:;:,Um5!8:,?E3emk<97c145.:<\8:+<\8:+, 7^3!<V.:.TE6q13cHa+cH-k<9;:g
-FP143<o,?.|b9<;:E&?Y a
w_.:,?3!Ga8:+, .|F?<9/a/O1_Lq<o-;:EJ$<l8:+!<o6 E$FUFUEML|,?3!Ga8:+<E$;:<V/ Ê
Ygf #\
bOc ùþYdkùeK
d l
`K"M ,
10#XV … d "lV\#"dL#"4
1#"q"T#_"d(
X »)YP¾
…Œ 6N3!Ey-Z18:+.K+Z1J$<e8:+<C.$1d/a<C7c143E$3,U71Fq6 E;:/²E$6N8:+<9,U;
=<9FP1dH.R8:+!<o8:+<E$;:<9/î,U.|E$mcJc,?E$5!.|mk<97145.d<o8:+<o-!;:E$m1m,UF?,U8PHI8:+Z1d8
.d<9J<9;14FZ-]148+.e1;:<X79;:,?8:, 7c1dFZ.:, /K5FU813<9E$5!.:F?H>,?.lB—Y † .:.d5/)<)8:+Z1d8
­‰-Z18:+.\+]1dJ<X8:+<h.14/a<K7c143E$3!,?7c1dF6E;:/
E$6–=!<9FP1:H¤1d3!=O8:+Z1d8
Ë
8:+<_-;:E$m1m!,?FU,?8QHa8:+]148q8:+,U.q=!<VFQ1:Ha,?.qFQ1;:G$<9;q8:+13‰13cHaE8:+!<9;`-Z18:+
=<9FP1dHo,?3h8:+!<T7V,U;:7V5!,?8Z,?.
Y [ +<93ZR1797VE;:=,U3G\8:E\7VE3J<938:,?E3RM<c1d74+
E$6Z8:+<.:<K-]148:+.0,?.a1.:.:, G3!<9=>7V;:, 8:,?7c1dF ,?8QHI-!;:EmZ1dm!,?F?, 8PH
­
Y [ +c5.R
F
8:+<o8+!<VE;:<9/r+EF?=!.N,U3y8:+!,?.|7c1d.<Rc8:EE&iY a
Fh
¢!;:E$/î8:+, .|8+<9E;:<9/rLq<o=<9;:,UJ$<o8:+<o6EFUFUEMLN, 3Ga7E;:E$FUFQ1d;:, <V.Y
j þkdþPl=l=Md'm $Yon '
p
#!& %l
4d l "qq
UM$o#0"d(
10)d … M"\1_#r#$"O)##I#"ld"Ms#6%$
j þkdþPl=l=Md'm $YoN X–#y: Qc=
t`
" $…#$"a"
Qn v
–)!u…!)"d4o"d'M"d"vQÉoRn]#y#$oV 4 XV
3.2 Principles of Computation
ŒQ3‘E$;:=<9;n8:EA<9uc-FQ1,U3‘<9=!G<‰7V;:,U8:,U7c1dFU,U8QHˆ79E$/)-!5!8148:,?E$3ZRNLq<vG,?J$<
.:<J$<V;14F$=<9“!3,U8:,?E3!.N1d3!=o;:<971dF?F.:E/a<
6:1d78.]6;:E/¦3<98PLTE$;:^_8:+!<9E;:HcY
øhùúû ü—ûý!ûþ}ü ~—YLy ÄZ¹&¼AÅÿÂÀ{z X¤'
n"a#$y()=x()c(
M "
CV\$#$"O)#'Q$eM#e#)d"M
øhùúû ü—ûý!ûþ}ü
›Y ¿p&ÆWÇ]ÿ¼ÆW¼cÃ}ÁI¼cĹ&¼‰ÅÿÂ!À|z
1o‰=C "
#)(h"xM(Xc(î"
a1_'#"\}h…#=#n#h"
+ <K/21u,U/h5!/DE6\1d3Hy<9=G$<cÛ .0.:FQ174^t13=O79E$/a-F?<9/a<93c80.:FQ174^I,?.
[ 8:+!<KF?E$3G$<.:80-18+OE$6–8:+<h7V, ;:795,U8RL|+,U7+>,?.\8+<h3<9Gk18:,UJ<KE6Z8:+<
.:FQ17^yE$6–8:+<h7V, ;:795,?8_,U3OFP18:<h/aE=!<n™<9=G<K.:F1d74^c.)14;:<K=!<9“3<=O,?3
8:+!,?.C/21d3!3<9;a8:E‘1:J$E, =‚/a,?3c5.C.d,?G$3.C,?38+<>6EF?F?ELN,U3Gt=<9;:,?J&1dg
8:,?E3. š Y
¢&;:E/€8:+<9.d<y=<“3,U8:,?E3.R–,?8a6 EF?F?ELN.a8:+18a8:+<y<V=!G<I7;:,?8:,U714F?g
,?8QHC,U.N8+!<\-!;:E$m1m,UF?,U8QHC8:+]148T8:+<\<=G<l.:FP147^C,U.NG;:<18:<9;N8:+]143I8:+<
79E/)-FU<9/a<938n<9=G<2.FP1d74^sRTE;RT, 3‘E8:+!<9;ILqE$;:=.RT8:+!<28:,?G+8:3!<V.:.
-!;:EmZ1dm!,?F ,?8PH‚E6o8:+<O<=G<O.:FP147^AL0,?8:+ˆ;:<9.d-k<9798e8E¤8:+<O79E/a-FU<Vg
/a<93c8`<9=!G<\.:FP147^}Y [ , G+8:3<9.d.q-;:E$m14m,UF?,?8QHa7c1d3emk<\79E/a-!58<=emH
6E;:/X5FQ1)™: š Y
< ~e6E;/).I1X.dE$g7c1F?FU<9=
[ +!<C.:<V8hE6T-Z1d8:+!.oGE, 3G>8:+;:E$5!G+t<=G!
<9=G$<0´ELˆG$;1-!+‰
¨ ]79E3!.:,U.:8:,?3!GoE6—8+;:<9<_-]14;:8:. Ê 8:+<0<9=!G<0,U3-!5!8
79E3<cR8:+!<_<9=!G
< ~l,?8:.:<F?6:R—143=n8:+<\<9=G$<lE5!8:-5!8T79E$3<Y [ +<\.:FQ17^
< ~h,?.\.:,U/a-FUHI=!<9FQ1H Ë ™d¨  š E$6–,U8:._´EL¦G$;14-+¨  YTŒQ8
€  E$6–<9=!G$
7c143nmk<l<u-!;:<V.:.<V=¤1. Ê
Ô
‚
Ô €
Î ™d¨ š ̂Ë
 ÐOÎ ™B~ š Ð2Ë
V«
™@ š
Ñ ƒ6„Ñ
„&…|†ƒ6„QÑ
L|+<V;:< Ë
E$6&8:+<N<9=!G<N,?3!-!58–79E$3<cR Î ™B~ š ,?.–8:+<
 ,U.–8:+<N=!<9FP1Hh=
=!<VFQ1:H)E$6s8:Ñ=
+ƒ6<\
,?.T8:+!<0=!<VFQ1:H)E$6s8:+<\<9=G$<_E$5!8Q-!5!8
„QÑ <9=G$<`~R Ë
79E3<cYNZ<97c1dF F?,?3!Gh8:+!<0=!<9„&“…{3†Bƒ&,U8:„,?Ñ E$3IE$6q1;:;d,?J14F–143=n;:<Vj5!,?;:<=‰1;:;:,UJ!1dF
8:,?/a<9.RLq<o<9u-;:<9.d.N8:+!<o.:FP147^IE6<=G
< ~ Ì B™ ‡V‰« ˆ š 1.|6E$F?FUEMLN. Ê
€  Ì
Q Þh™B‡ š Ð2Î ™B~ š 닊 Q ÞK™Bˆ š
™:B š
L|+<V;:< Q Þh™:‡ š ,?.l8:+<O1;:;:,UJ1F–8,U/a<O1d8l8:+!<X,?3!,?8:,P14FZ3!E=<p‡TE6
8:+<
<9=G$Œ
< ~>143= Š Q ÞK™Bˆ š ,U.08:+!<h;:<9j5!,?;:<=‚1;:;:,UJ1F8:,?/a<y18_8:<9;:/a,?3Z1dF
3!E=
< ˆqE6Z8:+<h<V=!G$<~Y`¢Z,?GkY}•\,UFUF?5.:8:;148:<9.0<9=G$<h.:FP147^I79E$/a-5!81dg
8:,?E3]Y
Edges for complement slack computation

‘
‘
‘
‘
‘
‘
‘
‘
‘
‘
‘
‘
‘
‘
‘‘
Ž
Ž
Ž
Ž
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ ŽŽ
a




‘
‘
‘
‘
‘
‘
‘
Ž
ŽŽ 
ŽŽ 
ŽŽ 



‘
‘
‘
‘
‘
‘
‘
‘
ŽŽ
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ ŽŽ















Ž
Ž
Ž







b

 ‘
 ‘
 ‘
 ‘
 ‘
 ‘
 ‘‘‘
‘
Ž
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ ŽŽ


‘
‘
‘
‘
‘
‘
‘
Ž















‘
‘
‘
‘
‘
‘
‘
‘

ŽŽ








‘
‘
‘
‘
‘
‘
‘
‘
ŽŽŽ 
ŽŽŽ 
ŽŽŽ 
ŽŽŽ 
ŽŽŽ 
ŽŽŽ 
ŽŽŽ ŽŽŽ

 ‘
 ‘
 ‘
 ‘
 ‘
 ‘
 ‘‘‘
c Cutset
Ž








‘
‘
‘
‘
‘
‘
‘
Ž
Ž
Ž
Ž
Ž
Ž
Ž
Ž
Ž
















‘
‘
‘
‘
‘
‘
‘
Ž
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ ŽŽ


‘‘ ‘
 ‘
 ‘
 ‘
 ‘
 ‘
 ‘‘‘
ŽŽ


ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ 
ŽŽ ŽŽ i







‘ t‘
 ‘
 ‘
 ‘
 ‘
 ‘
 ‘
‘
‘
‘
‘
‘
‘
Ž







e
Edge e of interest
Input cone of edge e
Output cone of edge e
·|¸¹&ºZ»M¼&
’ ¾ y Ä ¹k¼OÅ9ÿÂÀ{zAÀ"!ÆWǺÁÂÁ9¸&Ã+
*]E/a-5!81d8:,?E3AE$6079E$/a-F?<9/a<93c8)<V=!G$<I.dFP17^W,?.a/aE$;:<I79E/)-FU,?g
7c148Q<= 13!=‘;:<Vj5!,?;d<9.W1==,U8:,UE$31Fl7VE$3!.:,U=<9;148:,?E$3.Y©ŒP3‘3<8…LTE;:^
8:+!<VE$;:[email protected]!1q7958:.d<98–mk<98PLq<9<V3a.dE$5!;:7V<)1d3!=a.:,?3^X3E=!<9.
,?.`=<9“!3<9=
1.>1a.:<98)E60<V=!G$<V.)LN+!E.d<I;:<V/aEJ1dFT6;dE$/
8:+<I3<98QL`E;:^t=,U.:79E$3g
3!<V798:.e8:+!<>.dE$5;:79<‚13=.d,?3!^A3!E=<9.YŸ\<9;:<RqLq<O79E3.d,?=!<9;eE$3F?H
8:+E$.d<C758:.:<8.X.1d8:,U.d6 H,?3GO8:+<e79E3=!,?8:,?E3W8:+18h<c17+¤-]148:+W6;:E$/
.:,U/X5F 8143!<9E5!.:F?HcR–;:<9/a<9/hmk<9;:,?3!G13=‚;:<V5!.:,U3G‰.:FQ174^.21d3!=‚79E$/)g
8:+<\.dE$5;:79<l8:Eh8:+!<l.:,?3^C+Z1.NE3!F?HCE3<l79E/a/aE3I<9=!G<lLN,U8+y<c1d74+
7V5!8:.:<98Y z <T7c1dF?F8:+<.:<q7V5!8:.:<98:. (X!(Xc"d&"Q_cÔ "" Y † F?g
G$E$;:,?8:+!/‡|79E/a-!58<.T/a,?3,U/O1Fk.d<9-]14;18:,?3!Gh7958:.:<98:. “
7EMJ$<9;:,U3G
1eG$,UJ$<93‚8:,?/a,U3G‰G$;14-+ZYW¢&E;2143H¤<9=G$<>E6\8:+<>8,U/a,?3!GvG;1-+ZR
8:+,?.)1dF?GE$;:,?8:+!/É79E/a-5!8:<9.h18NFU<14.:8NE$3<l795!8:.:<V8N79E3814,?3!,?3G)8:+Z1d8
<V=!G<cY
-!F?<9/)<93c8h.:FP147^.hE$6N8+<C-Z1;:8:,U8:,?E$3W.:5m!.:<98:.YC¢&E;h.:,U/a-F ,?79,U8…HcRsLq<
1.d.:5/a<n8:+18X8:+!<I795!8:.:<98X+Z1d.C­ Ì

<9=G$<.>13!=A79E$3.:8:;:5798O1
† 3‚,?3A¢Z,UGkYN›$Yv\EMLT<9J<9;R
mZ1dFP143!79<V=‚m,?3Z1;:Ht-Z1;:8:,?8:,UE$3A8:;:<9<n.:+!EML|
E$5;214--!;:E—1d74+‚7c1d3ˆmk<W14--F?, <9=‚8:Ev795!8:.:<98:.CLN,?8:+Ž13Ž14;:m, 8:;1d;:H
3c5/hmk<9;TE6s<V=!G$<.Y [ +<\79E3!.:8:;:5798:,?E$3IE$6}8:+!<0-Z1;d8,U8:,?E$3I8;d<9<0713
mk<e=!E3!<e<,?8:+<;h8:E$-¤=ELN3¤mcH‰.:<9jc5<38:,P14F?F?Ht.:-FU,U8:8,U3G28:+<I.:<V8:.
E$6–<9=G$<.0,?38:EC<Vj51F-]14;:8._E$;_m&E8:8E/D5-OmHy/a<9;:G, 3Ge-Z1d,U;:._E$6
<9=G$<9.K1d3!=C8:+<93e-14,?;:.`E6—8:+!<0.:5!m.<V8:.qE$6}<9=G$<9.Y]œ\147+CF <c1d6s3Ec=<
” l"•sþPdkû ý c K
$Y ¿)ºÁ9żcÁaÀ"&ÆtǺÁ9ÂÁ¸B&Ã
–P—p˜e™|š™"›"œ|e™Ÿž{ ™\žœ1¡œ¢'£¤£"¥e¦§= ¤¨©¤žeª§ª'›"ª|£œ=«"¦"›¤¬"ª|¥=ž
­ — “ Ï0Ì ¬ Î=® ~ € ç{¯ ˆ ®ç ‡…­ ®o°"±ç ó€ ç{¯±æ ~]­ çÎ ~ %
4
²³—p´eª|¥™=¦'« µ›"™{š™"› ‡‹¶ ª·ž| ™¹¸ª"›=›"ª|ºœ¢£}»
•Y?`¼ Ì ¬ Î'® ~ € ‡­ æ4ç ó ‡…­ ® ˆ çv½ ~ è ~ ½ ‡ %
•Y?`¾ Ô Ì ¬ ÔÎ'¿ ® ~ € ç=¯ ˆ ® ç …‡ ­ ®o°=
± ç ó ½~ è ~ ½ ‡ %
•Y?•p“
ë ¼ Ð ¾
Ì “
(minus infinity)
max(ABCD)
max(EFGH)
max(AB)
max(CDEFGH)
Ö
¢Z,?G—Y9~_, F?F?5!.:8:;148Q<.Z795!8.d<98Z7VE$/a-58148:,?E3ZY z <T/aEMJ<K1–.:7c143hF ,?3<
1 FUE3!Go8:+<|FU<VJ$<F?,?b9<=)8:,U/a,?3!GlG$;1-!+)6;:E$/£8+<|.:E$5!;:7V<N8:Eo8:+<|.:,?3!^sY
œl17+t8,U/a<aL`<a.:8:<-vEJ$<9;I1hF?<J$<VF
E$6q8:+!<)G$;14-+ZRkLT<a8:;1d3!.:6E$;:/
8:+<o795!;:;:<V3807V5!8:.:<98|,?3c8:Ea8:+!<o3<9uc8|E$3!<omHI<9uc79F?5!=,U3GC8+<o<9=!G<.
7VE/a,?3!GK,U38:Eh8:+<_3E=!<9.`E6—8:+!<0795;:;<V38qF?<J$<9FZ143=e,?3!7VFU5=!,?3!GK8:+<
<V=!G<9.XG$E,?3GvE5!8h6;:E$/
8:+!<I3E=<.)E6|8:+!<I795;d;:<938XF?<9J<9FPY † 3H
Cutsets
F
Level 1
Level 2
Level 3
Level 4 Level 5
7V5!8:.:<98e79E/a-!58<=mHA8:+!<¤14F?GE$;:,?8:+!/€Ô .<V-14;1d8:<9.e8:+!<>3E=!<9.eE6
8:+<>8,U/a,?3!G‰G$;14-+ˆ,U38:Et8PLqE‰.<V8:. Ê ª
7VE$3c81,?3!,?3Gt8:+<>.:E5!;:7V<
3Ec=<nÔ13=Oªy¯l7VE$3c81,U3,?3GC8:+!<o.d,?3!^I3Ec=!<Y † 3HI3!E=<K6;:E/î8:+<
.d<98Kª
mk<9F?E3G$.o8:Ey8:+<aF?EL`<9;oF?<9J<9F–E6`8:+!<a8:,?/a,?3GyG;1d-!+v8:+Z13
13Ha3Ec=<_6;:E$/ 8:+!<0.:<98Tªn¯Ys¢&;:E$/ 8:+18R$L`<_7c13C79E379F 5=!<08:+Z1d8
13Hv-18:+‰6;:E/‡8:+<C.:E5;:79<C8:Ey8:+<a.d,?3!^O,U38:<9;:.:<798:.I143H27958:.:<98
7VE/a-!58:<9=nmHe8:+,U.X1dF GE$;:,U8:+/î<9us1d798:F?Ht18NE3<o<V=!G$<Y
ŒP3SE$;:=!<V;>8:Eˆ7VE$/a-5!8<‰8:+!<v7E$/a-FU<V/a<93c8y.dFP17^Ÿ6E;><9=!GÂ
< ~R
Lq<o7E$3!.:,?=<9;a1\/),U3,?/21Fs.<V-14;1d8:,?3!GC7958:.:<98!Ã}`7E$3814,?3!,?3GC8:+,U.
à Në ~ % mk<t1C.:<V8)E$6X14F?FT8:+<n7V58:.:<8h<9=!G<.
<V=!G<cY ³ <
8 Ã  Ì
<Vu7V<9-!`
8 ~cY [ +!<93y8:+!<K.:<980E$6–-18:+.0GE$,U3GC8:+!;:E$5G$+O8:+<K<=G<V._E6
8:+<\.d<9
8 à  ,?3!79F?5!=<9.h1F?F—8:+!<_-Z1d8:+!.TE6s8:+<\8:,U/),U3G)G;14-+I<9uc79<9-8
8:+<e-148:+.hG$E,?3!GO8:+;:E5G$+W8:+<C<=Gg
< ~Y [ +<e/21u,U/X5/
=!<9FP1H
E$6_8:+<y-Z1d8:+!.aGE,?3!Gv8:+!;:E5!G$+‚8:+!<n.:<98aE60<9=G$<9Ä
. Ã  , .)<9us1798:F?H
8:+<o79E/a-F?<9/a<93c8|.:F1d74^IE$6Z8:+<o<9=!G
< ~cY [ +<K79E/a-!F?<9/)<380.dFP17^
7143emk<\79E/)-58:<9=‰14.T8:+<\.:8148:,?.:8:,?71Fk/21duc,U/h5!/„E$6q14F?Fk8:+!<0<=G$<
.dFP17^c.lE6
/a<9/hmk<9;:.oE$6
8:+!<X.:<Å
8 Ã  Y [ +<)79E/)-FU<9/a<938\.FP1d74^OE6
<V=!G
< ~R.:+!EML|3y,?3y¢–,?GkY}•R,?.07VE$/a-5!8:<9=W1.
óyôõ ™ € Z « € ^ « €
š Ì
ƒ
óyôõ ™ € Z « óyôcõ ™ € ^ « €
š:š _
™: š
ƒ
w_3!6 E$;:8:5!318:<9F?HRk1N3Z1d, J<\,?/a-!F?</a<V38148,UE$3IE$6}8:+!,?.K14--!;:E—1d74+e+14.
18_F?<c14.:80jc51=;148:,?7K7E$/)-!F?<9uc,?8QHy.:,?379<K<17+O<9=!G<X79;:,?8:,?7c14F?,U8PHn;:<9g
jc5,U;:<V.071FU795!FP18:,UE$3nE68+<o/21uc,?/h5!/rE6N1F?FsE$8:+<;N<9=G$<o.:FQ17^c.Y
4.
C
D
Complement slack computation
E
F
G
H
Slack computation
·|¸¹&º]»¼Æk¾ŒÇ)¸Ã»)ˆÇ»MÁ9¸Á9¸&ßÁV»¼¼+
,?3e8:+!<0-Z1;:8:,?8:,UE$3e8:;:<9<0;:<-;:<V.<V38:.TE$3<_<9=G$<_E$6}8:+<_7958:.d<98Y}œo17+
3!E3!gFU<c16—3Ec=!<|=<V“!3!<V.`8PLqEo.d<98:.
E$6—<9=G<9. Ê 8:+<|.<V8`E6k8:+!<|3!E=<cÛ .
7+!,?F?=!;:<93p13!=‚8:+<>.:<98CE$6_8:+!<><V=G<V.C8:+148O14;:<y3E$8C8:+<>3!E=<cÛ .
8:+!<N7VE$/a-FU</)<938–<9=!G<0.:FP147^}Y [ +<N7E$/a-581d8:, E3aE$6k3Ec=!<N.:FP147^.
13=a79E/)-FU<9/a<938–3E=<|.:FP1474^.
,?.–, F?F?5!.:8:;148Q<=),U3a¢Z,?GkY!›Y [ +!<N6 EF?g
F?ELN,?3G‚1FUG$E$;:,U8:+/
7VE$/a-58:<.K8:+!<C.:FQ17^c.n14.:.:Ec79,P148:<9=WLN,U8+W8:;:<9<
3!E=<9.X13=y<9=G<l79E/)-FU<9/a<93c8N.:FQ17^c.Y
·N¸¹&º»¼À&¾a¿$&ÆtÇZºÁVÂ!Á9¸&ÃÁ|ÀºÁ9żcÁ9Å+
€  Ì
A
B
max(BCDEFGH)
max(G,H)
max(EF)
max(CD)
max(ABEFGH)
7+!,?F?=!;:<93Y z , 8Q+¤<17+¤3Ec=!<eE608:+<e8:;:<9<nL`<‰14.:.:Ec79,P148:<‰1C3Ec=<
.:FQ17^‚13!=1o3!Ec=<)79E$/a-F?<9/a<93c8l.:FQ17^}Y [ +<)3E=!<).dFP17^O,?.o8:+<
/21du,?/h5!/©E6k.:FP147^.
E6k,?8:.`7+,UF?=a<9=G$<.Y [ +<03Ec=!<N7E/a-!F?<9/a<V38
.:FQ17^>,?.\8:+!<h/21du,?/h5!/±E$6
8+!<h.:FQ17^._E$6
3!E3!g7+!,?F =O<V=!G$<.YN¢&E;
1\F?<c1463E=!<cRc8:+<.:<o8PLqEC.:FP147^.a1d;:<K<9u}14798:F?HI8:+<K<9=G<o.:FQ17^W1d3!=
S
Level 0
max(EFGH)
EDGE CRITICALITY COMPUTATION
+ <o<9fa79,?<9379HeE$67VE$/a-FU<V/a<93c8N.:FP1474^C7E/a-!5818:,UE$3n7c13nmk<l,?/ag
[ -;:EMJ<9=C,?6—Lq<05!.:<X1T8:;:<9<_=]1481q.d8:;:5798:5!;:<|8:EK;:<9g5!.:<|,U38:<9;:/a<9=,Q18:<
7VE/a-!F?<9/)<93c8l.:F1d74^OJ14F?5<9.Y z <a79E$3.:8:;:5798e1h+,?<9;14;:7+!,?7c1F–-1;:g
8:,U8,UE$3OE6Z8:+<K795!8:.:<98a13=O79E$/a-5!8<y1FUF]8:+<K7E$/a-FU<V/a<93c8_.:FQ17^c.
” l{•]þkdkûUý c K
Y ¿p&ƉÇZÿ¼cÆt¼cÃ}Á)ÅÿÂ!À|zAÀ"&ÆWÇ]ºÁÂ!Á9¸!Ã
–Y—ÅÈ'ª¢¬|ž"¥{É«|ž¦\§¦)¥"žœ|žœ=ª¢ž"¥e™"™Áª{¸Áž{ ™¤«Éž¬=™{ž™ ¶ £e™'¬
­v—gÊe¬"¬"œ|£{¢™ ¶ £e™¬=›=¦'«Ë¬\žª·ž{ ™¤›=™"¦{¸·¢ª ¶ ™'¬
­v—gÌ=¥e¦|š™|¥¬{™·ž{ ™·ž=¥e™"™\¨ª)ž'žeª¡ÍÉ'§
­v—q–Y—g´eª|¥™"¦'« ¤¢ª¢Í'›"™"¦|¸·¢ª ¶ ™¤«=ª¡§"ɞ™¬=›"¦'«)Ë
¦'¬Âž= ™Î¡¦|Ïeœ1¡'É"¡Ðª|¸œ)ž¬¤«1 œ=› ¶ ¥e™¢}Ñq¬Á¬=›'¦"«Ë¬
²4—gÊe¬"¬"œ|£{¢·¡œ¢"ɬ¤œ1¢e¸eœ¢œ)ž=©µ¬=›"¦'«)ËÁžeª·ž{ ™·¥eª"ª|ž·¢ª ¶ ™
җgÌ=¥e¦|š™|¥¬{™·ž{ ™·ž=¥e™"™·žeª§Í ¶ ª)º=¢
җq–Ä´ª|¥™'¦'« ¤¢ª ¶ ™«=ª¡"§'ɞe™¤œ|že¬Á«"ª¡'§›'™¡™¢ž¬=›"¦«Ë
¦'¬Âž= ™Î¡¦|Ïeœ1¡'É"¡Ðª|¸œ)ž¬Â§¦|¥e™)¢ž4Ѭ¤«=ª¡'§›=™¡™)¢ž
¬=›"¦"«)˦¢ ¶ œ)ž¬¤¬"œ1¨›'œ¢£¹¢ª ¶ ™Ñq¬¹¬"›"¦'«Ë
Ó —g´ª|¥™"¦'«1 Л"™"¦=¸\¢ª ¶ ™¤«{ª¡'§"ɞe™Á™ ¶ £™¤«¥œ)žœ"«=¦'›"œ)ž"©
¦"¬\ž= ™\žœ)£{ ž=¢™"¬"¬Â§¥eª¨¦¨œ=›'œ|ž=©ª=¸¹ž| ™Á™ ¶ £™Á¬=›'¦'«Ë
¦¢ ¶ ž{ ™¤«=ª¡'§›"™1¡™¢ež™ ¶ £e™¤¬=›'¦"«Ë
79E$/)-!5!8Q<.)79;:,U8:,?7c1FU,?8:,U<V.aE$6)14F?FN<9=G<9.a,?3A8:+<
[ +!,?.21dF GE$;:,U8:+/
7958:.:<98Z.:, /h5F 8M13<E5!.:F?Hn13!=X+1.ZFU,?3<c14;Z79E/a-!F?<9uc,?8QHn1.Z8:+<T35!/)g
mk<9;0E$6Z/21dunE$-k<9;18:,?E3._,U.|-!;:E-kE;:8,UE$3Z1dF]8:EC8:+<K35/hmk<9;_E6Z8:+<
8:;:<9<03Ec=<9.Y † =<V814,?FU<V=t1d3Z1dFUHc.:,U.`.d+EML0.`8:+18`,?8q;:<Vj5!,?;:<9.q~­ ë ƒ
/21du>E$-k<9;18, E3!._LN+!<9;:<h8:,?G+8:3!<9.:._-!;:EmZ1m,?F ,?8QHn79E$/)-!5!81d8:,?E3O,?.
79E3.d,?=!<9;:<9=W14.h1_/21uIE-k<9;148:,?E$3Rc8:EEkY
4.1 Speedup Technique
ŒQ3n-;1798:,?7c14F—79,U;:795!,?8:.R}13y<V=!G$<o/O1:He,?3c8:<9;:.:<9798|/21d3cHC758:.:<98:.X1d.
,?.T.:+!EML|3e,?3I¢Z,UGkYkƒY [ +!,?.TE68:<93e+Z1d-!-&<3.T,?3e.<Vj5!<93c8,Q1Fk79,?;:795,?8:.
L|,?8:+X/213Hh´,U-g´!E-!.YsŒ…3);:<1F79,?;:795!,?8:.Z/aE;:<q8:+143y›4BԈE6!<V=!G$<V.
G$EI8:+!;:E5!G+v/h5F 8:,?-!F?<h795!8:.:<V8:.$YX¡q79795;:;:<937<hE$6
<9=G$<9.l,?32/h5!F?8:,?g
-!F?<h795!8:.:<V8:.l.:,?G3,U“7c1438:FUHy.:FUEL|._=!EMLN3279;:, 8Q, 7c1dF ,?8PHy79E/)-5818:,UE$3
mk<97c15.d<y8:+<y.14/)<y<9=G$<>,?.C-;:E7V<9.:.d<9=ˆ/h5F 8:,?-!F?<n8:, /a<V.a, 3‚=, 6 g
6<9;:<V38_758:.:<8.YqŒP3OE$;:=<9;_8Ee,?/a-!;:EMJ<K<9fa7V,U<379HRcLT<K=!<9J<9F E-k<9=
S
F
1;d<eJ,?EFP148<=]§
™Þ
° ô ‡ ½ € š ,?.h8:+!<e-!;:EmZ1dm!,?F?, 8PH‰8:+]148h8+!<e8:,?/a,U3G
79E3.d8;14,?3c8:.n14;:<CJc,UEF1d8:<9=ZYeŒP3tE8:+<;KL`E;:=.Rs7VE$3!=,?8:,UE$314F
79;d,?8:,?g
F
7c14F?,?8QHv,?.X8:+<C-!;:EmZ1m,?F ,?8QHvE$6Nmk<V,U3GO79;:,?8:,?71Fq7VE$/a-5!8<=W6 E$;h8:+<
.14/a-FU<\.:-Z179<\79E$3.d,?.:8:,?3!G)E6]E3!F?HC8:+E$.:<\7+!,?-!.NJ,?EFP148,U3G)8:,?/a,U3G
79E3.d8;14,?3c8:.Y
ŒQ3OE5!;_7c1.:<R8:+<K;<Vj5!,?;:<9=28:,?/a<>1d8\8:+<X.:,U3^>3Ec=<X,U.)14F?LK1H.
BkY|”Ea8:+<l7E$3=,U8,UE$3y8:+]148N8+<l8:,?/a,U3Ga7VE$3!.:8:;1d, 38:.h1;:<lJ, EF1d8:<9=
,?. Ë
BaL|+<9;:< Ë
, .N8:+<l79,U;:795!,?8N=<9FP1:HY [ +<o-;:E$m14m,UFU,?8PH
â
™Þ ƒ6° ÝVô † ‡ ½ € š 8:+]148C8:+<>ƒ68:Ý, † /),U3Gt79E$3.d8;14,?3c8:.v1;:<OJ,?EFP148Q<=ˆ,U.C8:+<
8:,?G+8:3!<V.:.\-!;:EmZ1dm!,?F ,?8PHyE$6 Ë
LN,U8:+O;:<9.:-k<97808:EIB&Y [ +<X7VE$3!=,?g
F
8:,?E3A8:+18)8:+!<I<=Gs
< ~>,?.a7V;:ƒ&,U8:ÝV,?† 71dFN,U. € 
€ oLN+<9;:< € l,?.a8:+<
â
.:FQ17^tE6|8+<n<9=G$I
< ~W1d3!= €  , .h8:+!<I79E$/)-!F?<9/a<93c8h.dFQ1d74^tE$6|8:+<
B&Y
<9=G$‹
< ~Y [ +,U.e79E$3=,U8:,?E$3Ÿ7c1d3mk<O;:<9L|;:,?8:8:<93p14. €  ë € 
â
< ~X,?.07;:,U8:,?7c1FN13=O8:+<
[ +<V3O8:+!<K79E3=!,?8:,?E3O8+148_m!E8:+>8:+!<K<9=G$Œ
8:,?/a,U3Ga7VE3.d8:;1d,U3c8:.X1;:<oJ,UE$FP148:<V=y,?.|<u-!;:<9.:.d<9=W1.
·N¸¹&º»¼Õ&¾
y Ĺ&¼cÅa¹&¸Ã]¹WÁ9È»|&º¹&ȏÆWÂ!ÃAÀºÁ9żcÁ9Å+
1y8:<V74+3,Uj5!<O8:E¤<9F?,U/a,?3Z1d8:<O;<V-&<18:<9=-!;:E79<.:.:,?3!G¤E6o8:+!<O.14/)<
<V=!G<cY [ +!,?.08:<97+!3, j5<o,U.0mZ1d.:<9=>E3n8:+!<oEm.d<9;:J148,UE$3>8:+]148X168:<9;
8:+<\79;:,U8:,?7c14F?,?8QHCE6N13I<9=G$<l,?.N79E/a-!58<=nE3!79<R8:+<l.:FP147^CE$6s8:+,U.
<V=!G<e,?.X5.:<9=¤E3F Hv6E;X79E$/a-58:,?3!GO8:+!<e79E/a-!F?</a<V38X.:FQ17^c.XE6
8:+<KE$8:+!<V;_<9=G<9.0mcHn/)<c13._E6\1\/O1uIE-k<9;18:,?E3]Y [ +!<o7E/a-!5g
818, E3nE6s8:+<\79E/a-!F?<9/)<38T.:FP1474^.q=!Ec<9.T3E8T;:<9j5,?;:<\^c3ELNF?<=G$<
E$6]8:+!<\,U3=!,?Jc,?=!5]14F—<9=!G<l.dFQ1d74^c.h143=¤13HIG;:E5-yE$6]<9=!G<9.|7c13nmk<
;:<-;:<9.d<938:<9=ymHI8:+<o/21uc,?/h5/îE68:+!<9,?;|<9=G$<o.:FQ17^.Y
z <T79E3!.:8:;:5!7V80143O1d;:;1:HKL|,?8:+)<9F?<9/)<93c8:.Z7E$;:;:<9.:-kE3=!,?3Gl8:E\8:+<
7V, ;:795,?80F?<9J$<9F?.Y [ +< ‡g8:+><VFU<V/a<93c8|E$6Z8+<I14;:;1HI+E$FU=.08:+<o/214ug
,U/h5/
.:FQ174^WE6\8+<y<9=G$<9.)8:+Z18)G$Ev8:+!;:E$5G$+‚/X5FU8, -FU<y7958:.d<98:.
13=C+]1dJ<X1q8:<9;:/a,?3Z1dF!3!E=<X18–8:+!r
< ‡g8:+aF?<9J<9FPY † 8–8:+!<Nmk<9G$,U33,U3G
8:+<e14;:;1He,?.0,?3,U8:,Q1F?,Ub9<9=nLN, 8:+n/a,?35.|,?3!“!3,U8PHeJ!1F?5!<9.Y [ +<l<=G$<
7V;:, 8:,?7c14F?,?8:,?<._1;:<|79E$/)-!5!8:<V=amHX-;dE79<9.d.:,?3!Go7958:.:<8.
,?3214.:79<93=,U3G
ó
â
B _
™:$• š
5. EXPERIMENTAL RESULTS
<)+1J<a,?/a-F?<9/a<93c8:<9=v8:+!<a-;:E-kE.:<=‰8:<97+!3,Uj5!<a6 E;l79E/)-!58:g
,?3!G‰mkE8:+ˆ537E3!=, 8:,?E3Z1F)13=ˆ7VE3!=, 8Q, E3Z1F|7;:,?8:,?7c14F?,?8:, <V.C,U3ˆ8:+<
,?3!=5.d8:;:,P1F.8148:,?.:8:, 7c1dF!.:8148Q, 7N8:,U/a,?3!GI1d3Z1F?Hcb9<9;rÞß à'áâeã&ä|㖊?ƒ4‹PY [ +<
79;:,U8,U7c1FU,?8:,U<V.y1d;:<C7c14F?795FQ1d8:<9=W6 E$;n1FUF–8:,U/), 3G><9=G$<.o6E;y1dF?F`79FUE7^
-!+]14.:<9.Rc;:, .:,?3!Gv13=O614F?F ,?3!GC8:;1d3!.:,U8,UE$3!.R<c1;:FUHW13=OFP148:<K/aE=<9.Y
z <n,?/a-!F?<9/a<V38:<V=ˆ8+;:<9<¤1FUGE;:,?8:+!/a.)6E;a7V;:,U8:,U7c1dFU,U8…H¤79E$/a-5!81dg
8:,?E3 Ê 8:+<ImZ1.d,?7t14F?G$E;:,?8:+!/
LN,?8:+A.:8:;14,?G$+c8:6E;:Ll1;:=A7c14F?795FP18:,UE$3
E$6
8:+!<h79E/)-FU<9/a<938_<=G$<X.:FQ17^c.R!8:+<X-14;:8:,?8:,?E328;:<<hmZ1d.:<9=ˆ14F?g
G$E$;:,U8:+/2Rh13!=‘8:+<Ÿ1dF?GE$;:,?8:+!/ÜLN,?8:+S8+!<v.:-k<9<9=S5-{8Q<74+3!,?jc5<
z
6:1,UFU,?3Gy7+!,?-!.l,U3v8:+Z18\;<VG$,?E3]R—8:+<93‰8:+<9;:<a,?.o3!En-kE$,?3c8l,U/a-;:EJg
,U3Gh8:+18`<9=!G<_E;
-Z1d8:+ZY [ +<07E3!79<V-!8
E6—79E$3=!,?8:,?E31F&79;:,?8:,?71F?, 8…H
+<9F?-!.
8Eo.:EF?J$<|8:+, .–-;:E$m!F?<9/©mcHh-;:EJ,?=!,?3!Go,?36E$;:/O148:,?E$3aE3X+!EML
7V;:, 8:,?7c14F`143n<9=!G<o,?.)1/aE$3Ga6:14,?F?,U3Ga7+!,?-.0E3!F?HcY
š
;:<9.d<938`8:+!<|;d<9.:5!F?8qE6—8:+!<0/a,?3IE-k<9;18:,UE$3eLN,?8:+‰1T.:^<9Lq<V=I3E;:/21dF
=!,?.:8:;:,Um58:,?E3Ÿ13!=v7E$/a-58:<C8:+<C8,UG$+c8:3<V..o-;:E$m1m!,?FU,?8QH235!/a<V;:g
,?71F?FUHcYɔ5!m.:8:,U8:58:,?3!GW8:+<O7E$/a-58:<9=-!;:E$m14m, F?,?8:,?<.I,U38:E{™:$ š R
Lq<279E/a-!58:<O8:+!<O79E$3=,U8:,?E31F_79;:,?8:,U714F?,U8PHˆE6o8:+!<O<9=G$]
< ~279E$3g
=!,?8:,?E3]14F
5!-kE$3t8:+!<C8:,U/a,?3!G>79E$3!.:8:;1,?3c8:.hm&<9,U3GOJc,?E$FQ18:<9=Y [ +c5.
79E3=!,?8:,?E31Fc<9=!G<T7;:,?8:,?7c14F?,?8:,U<.Z713)mk<q79E$/a-58:<=hL|,?8:+X8:+<T.1/a<
<9fa7V, <9379HA1d.l5!379E$3=,U8:,?E$3Z1dF–E$3!<V.YC”M,U/a,?FP14;:F?HcR&, 8_,U.\-kE.:.:, mFU<X8:E
79E/)-58:<C79E3=!,?8:,?E3Z1dF`79;d,?8:,?7c14F?,?8QHvE$3FUHv79E3!.:,?=!<9;:,U3GO74+, -.h8:+148
/a<9<V8T8+!<V, ;`8:,U/), 3GX7VE$3!.:8:;1,U3c8.Y [ +,U.`^c,U3=eE$6}79E3=!,?8:, E3Z1dFk79;:,?8:g
,?71F?,U8PHW,?.X5!.:<965FT6E$;).:818:,?.d8,U7c1FNE-!8:,?/a,?bc148:,?E3‚mHt=ELN3!g.d,?b9,U3G
Gk18:<9.|8:Ea;:<9=!579<o-kEMLq<;N7VE3.d5/a-!8:,?E3]Y
7VE/a-!F?<9/)<93c8)<9=G$<y.:FQ17^.a-;:E7<9.:.:<9.aE3FUHW8:+<n<9=!G<9.a8:+18O1;:<
3E$8_-!;:<9.d<938_, 3‚143Hy-!;:<9J,UE$5.\7958:.:<98:.Y [ +!<h79E/)-FU<9/a<938_<=G$<
.dFP17^c.X14;:<o,?3!79;:<9/)<93c8:<9=>LN,?8:+>8:+!<o/O1uc,?/X5/îE$6Z<9=G<o.:FQ17^.|E6
8:+<)<9=G$<9.o-;d<9.:<93c8l,?3v8:+<X-!;:<9Jc,?E5.:F H>-;:Ec79<9.:.d<9=2758:.:<8Q.$Y [ +<
7VE/a-!F?<9uc,?8QH\E68:+<q/aEc=, “<9=y14F?G$E;:,?8:+/Ž6E$;79E$/)-!5!8:,?3G_8:+<q79;:,?8:g
Ý
,U7c1dF ,?8QH_E6s14F?F<9=G<9.],U.ÖI™ª š Ð Ön™ ½ š R9L0+<;:< ½ ,U.]8:+<`=<9-8:+KE6c8:+<
8:,U/a,?3!GXG$;1d-!+t143!=nª¥,?.N8:+!<l35/Xmk<V;NE$6]G$;1-!+I<9=G$<9.Y]ŒQ3I-!;1d79g
8:,U79<cR!8:+<X=<9-!8:+2E6l1l8:,U/a,?3!GeG;1-+2,U.\/X574+2.d/21dFUFU<9;_8:+Z1328:+<
3c5/hmk<V;XE6N,U8:.h<9=G$<9.Y [ +<;:<96 E;:<cRs6 E;n14F?Fq-;14798:,?7c14F
-!5;:-&E.:<9.R
8:+<|79E$/a-F?<9uc,U8PHXE6k8:+!<X1F?GE;:, 8Q+!/£,?}
. Öe™ª š RML0+,U74+a,?/a-F?, <9. du
"q(X 6E$;|79E$/)-!58:, 3Ga8:+!<o7V;:,U8:,?7c1FU,?8PHIE$6<c17+><9=G<cY
+ <|79;:,?8:,U714F?,U8PHX,?3c8;dE=!579<=>14mkEMJ$<N,U.
8:+<|-;:E$m14m,UFU,?8PHXE6
1`-Z1d8:+ZR
[ <V=!G<¤E;23E=!<Amk<9,?3!G‘79;:,?8:,?7c14F>1/aE3!G 1dF FX8:+<A/21d356d1d798:5!;:<9=
7+!,?-.Ye_EL`<9J<9;R}E$-!8:,?/a,?bc18:,UE3W6E;hHc,?<9F?=W,?.h,U3c8:<9;:<V.:8:<9=W,?3W,?/ag
-;:EMJ,?3GNE3FUH08:+!E$.:<
7+,U-.s8:+18sJ,?EFP148<
8:,?/a,?3!GN79E$3.d8:;1,?3c8:.}L0,?8:+g
E$58ILo1d.8:,?3GW;:<.:E$5;:79<9.I.:-k<9<9=!,?3G¤5!-Ÿ7+,U-.n8:+18‰14;:<‚14F?;:<c14=H
.d5fa79,U<938:FUH>6d1.:8YlŒP3‰E8:+!<9;lL`E;:=!.R&,U6l13v<=G<XE$;l-148+v,U.oE3!F?H
7V;:, 8:,?7c14F|,?3Ž1I.:5!m.:<98CE$6_8:+!<>-;:Ec79<9.:.C.d-]1479<A1d3!=‚8:+!<9;:<A1d;:<>3E
€  « Ë
”E&R!8:+<h-!;:E$m14m,UFU,?8PH
B™ ~IØ æ ± ‡ˆÚnÞ ƒ6ÝV†° ô ‡ ½ € š 8:+Z18_8:+<h<9=G$<Œ~),?.
79;:,U8,U7c1F`13=e8:+!<\8:,?/a,?3GX7E3!.:8:;1,U38:.K14;:<_J, EFP148:<9=e, .}G5!.:8q8:,UG$+8:g
F
š LN,U8+e;:<9.:-k<9798`8EKB—Ysw_.:g
3!<V.:.q-!;:EmZ1dm!,?F ,?8PH)E$6 ó ‡…­
™ € &ë €  « Ë
,?3!Gl<V=!G$<N.:FQ17^c._13!=X79E/a-FU<9/a<938–<9=ƒ&G$
N
<
݆ .:FQ17^.$RM8:+,U.–-;:E$m14m,UFU,?8PH
7c143ymk<X<9f)79,?<93c8:FUHn7c1FU795F1d8:<9=OmHyF?,U3<1d;a1--;:Euc,?/2148Q, E3OE$6–8:+<
.:8148:,?.:8:,?7c14FN/a,?3‚E$-k<9;18:,UE3ZYtŒP6_8:+<y=, .:8:;:,?m!58:,?E$3‚E$6\.:81d8:,?.8Q, 7c1dF
/a,?3K,?.]+!,?G+!F?Hl.:^$<VLT<9=o8:E|8:+!<
F?<968MR98:+!<_147V795!;1d79H\E6c8:+< ¶ 1d5!.:.:,Q13
1--!;:EMuc,?/218:,UE$3O7c13Omk<XF?ELhY|ŒP3O8:+,U.\7c1d.d<cR,U8_,U.\m&<8Q8:<9;\8:Ee;:<9-g
E$;:=<;Ysœ\147+a8:,?/a<0Lq<|<93!7VE53c8:<9;\13C<V=!G$<|GE, 3GK8:+;:E$5G+)/2143H
7V5!8:.:<98:.RLT<y17V795!/h5!FP18:<h8:+!<h.:FP147^yE6–8:+!,?._<9=!G<X,U3O8:+!<h-;:E$-k<9;
<VF <9/)<93c8oE$6T8:+,U.n14;:;1H2mHv/a<c13.KE$6K1X/O1u2E-k<9;1d8:,UE$3Ya¢!;:E$/
8:+,?.I1;:;1HR&Lq<a79E/a-!58:<a8:+<a/21du, /h5/ÍE6q8Q+!<)<=G<X.:F1d74^c.lE6
1FUFN8:+<n<=G<9.),U3c8:<9;:.:<V798:,?3!GvmkE$8:+‚8+!<n795!;:;:<93c8X795!8:.:<98O13!=A8:+<
-;:<9Jc,?E$5!.:FUHy-;:Ec79<9.:.d<9=O7958:.:<98:.Y [ +!<y1F?GE;:, 8+/D6E$;_79E$/a-5!8,U3G
4.2 Conditional Criticality
‡­`™ €  ë
™: š
<9FU,?/a,?3Z18:,U3Ga;:<9-k<c148:<V=y-!;:E7V<9.d.:,U3GaE$6]<=G<V.0,?3c8<;:.:<97V8:,U3Ga/h5!F?8:,?g
-!F?<o7958:.:<98:.Y
[ 1dm!F?<l].d+ELN.s8+!<
;:53o8:,U/)<.sE68:+<–=!,?ik<9;:<93c8q1FUG$E$;:,U8:+/a.N1d3!=
79E/)-14;:<V.\8:+!<V/ÍLN,U8:+O8:+!<h;:5!3O8:,U/a<hE$6
m14.:,?7y”!” [ † YZ*]E$FU5/a3.
)1d3!=t|.d+EL74+,U-I3Z1d/a<C13!=e8:+!<_35/Kmk<9;NE$6sGk148<.YN*]E$FU5/a3.
•$R$~&R&›R&ƒT;:<9-kE;:8l*|˜kw‘8:,?/a<|6E$;\”!” [ † 13=C8+!;:<9<0=, i&<;:<V38`J<V;:g
.:,UE$3!.–E6k8:+<|79;:,?8:, 71F?, 8…Hh79E/a-581d8:, E3214F?G$E;:,?8:+/2Y † =!=!,?8:,?E$314F?F?HcR
79EF?5/a3.N›01d3!=nƒ-!;:EMJc,?=!<
,U36E;:/O18:,?E3oE3o8:+<l1dm!.:EF?5!8:<\13=K;:<9F?g
18:,UJ$<0EMJ<9;:+<c1=eE$6}79;:,?8:,?7c14F?,?8QHa7VE$/a-58148:,?E3t™E6T1dF?F&<=G$<9.q,?3e8:+<
G$;1d-!+ š EMJ<9;a13!=‚1mkEJ<X.d8M18:,U.:8:,U7c1dF8:, /),U3GkYN¢&;:E$/
[ 14mFU<>lLq<
.:<<–8:+Z1d8smkE8Q+h8Q+!<
-14;:8:,?8:,?E3o8;:<<_14--!;:E&147+I13!=o8:+<–<9F ,?/a,?318:,UE$3
E$6};:<9-k<c18:<9=e-;dE79<9.d.:,?3!GhE$6}<9=G$<9.T,?3c8<;:.:<97V8:,U3GX/h5F 8:,?-!F?<0795!8:.:<V8:.
L|+<;:<
™B~ÛØ
æ1± ‡AˆYÙPÞ
° ô ‡ ½ € š ,U.>8+F <t79E3!=,U8:,?E3]14Fo-;:EmZ1dm!,?F?, 8…H
8:+1808:+!<K<=G<~X,?.\79;:,U8,U7c1F]79E$3=!,?8:,?E31F]5!-kE3O8:+!<K8:,?/a,U3Ge79E3g
F
.d8;1d,U3c8:.0mk<9,?3!GCJc,?EFP18:<9=§
B™ ~ÜØ æ± ‡ˆYÚIÞ ° ô ‡ ½ € š ,?._8:+<h-;:E$m1g
m,?F ,?8QHy8:+Z18\8:+<X<=G$
< ~),U.l79;:,?8:, 71F0143=‰8:+<a8,U/a,?3!GI79E3.d8;14,?3c8:.
1;d<X,U/)-kE$;:81438l<V3!+]1437<V/a<938:.oE$6
8:+!<X79;:,U8, 71FU,U8PH>79E/)-5818:,UE$3
8:<97+!3, j5<cYW¡`3F?H‰L|,?8:+W8:+!<V.:<I/)E=,U“7c18:,UE3!.h,?.X8:+<C7;:,U8:,?7c1FU,?8PH
79E/)-5818:,?E3‚14F?Lo1:H.\6:1.:8:<9;_8:+143O8:+<Xm]14.:<h.:818:,U.:8:,?7c14F8:,?/a,?3!G&R
/21d^,?3GX,?8T.:5fa79,?<38:F?HC6:1.d8`6E$;T.:574+‰14--!F?,U7c18:,?E3.h1.qE$-!8:,?/a,Ubc1dg
8:,?E3]R
.:Hc38:+!<9.:,?.v1d3!=A8:<9.d8aG$<V3!<9;1d8:, E3ZYt¢&;:E/
[ 1mF?<¤IL`<y.:<9<
ƒY ¿p&Ã]ĸÁ9¸BkÃÂÿ&À»¸Á¸ÀÂÿ¸Ág}ÂhÇZÂÁȟ…¼Ä]¹&¼×
øXùúûükû ý&ûþ}ü
Ãksļ "
#N!!$1YQ'' \–(X!d$…|o# Ė##y#"w#\#"Mq!$%I"hd`4$!!]
#X# ‰M$… X"l(X
Xd!"d Q"4
*E3!=!,?8:,?E$31F}7;:,?8:,U714F?,U8PHeE6|13n<9=!G$<~h,?.|<9u-;:<9.d.:<9=¤14.|6 EF?FUEML|. Ê
™B~pØ
æ1± ‡ˆPÙPÞ
° ô ‡½ € š Ì
F
F
F
™B~pØ
æ1± ‡ˆYÚIÞ
™Þ
° ô ‡½ € š
° ô ‡ ½ € š
ürý
ü ü ü
üvÿ
ü åqÂ*ÿ¼O½k¾Œænº]ÏÁ¸ÆW¼OÀ=kÆtÇ»¸Å!Ã
ë|ë|îeï
ðYñ1òé ó
ôñ1õöé öé ÷1ø
ë|ê=í6íù|ú)ê
öí6ó&è|øû
öõíí
öíóAè{øû
þ û ýAÿ
ý û 1ò
þ û 1ò
þ û þ ò ýAþ û þ û ý 1ò'û 'û 1ò
þ û þ û 1ò
þ û þ ò þ û ÿ þ û þ ò þ û ÿ 'û þ
'û 1ò
ý "û û ò ý û þ û 1ò ýý û ý ûÿ ò
ÿ "û ý û ÿ û ý û ý ò ÿ û "û 'û ÿ òû ý û þ ÿ 'û ÿ òû û "û ýAþ û ý û ÿ "û åqÂ*ÿ¼(&¾nÀÀ$ºZ»ÂÀ"Ÿ|À»¸Á¸ÀÂ!ÿ¸ÁVAÀ"&ÆWÇ]ºÁÂ!Á9¸!Ã
þ û þ û ý ûÿ ûÿ ÿ ‚ñ ü é þ û þþ1þ
þ û þþ1þ þ û þ1þý þ û þ1þþ þ û þ þ û þ ÿ
òú ü é þ û þþ'ý þ ûþ ÿ þ û ý
þ û þ1ÿ ÿ
þ û ýý
ý û ýAþ
8:+18a6 E$;a8:+<yFP14;:G<y=<.:,?G3ALN, 8+‚~$~&R B$BBvGk18<.)8:+<n-;:E-&E.:<9=
8:<V74+3!,?jc5<a713v7E$/a-58:<a7V;:,U8:,U7c1dFU,U8:,?<9.o,?3‰E$3FUH‚$Y?ƒƒK/a,?358:<9.oE6
*|˜kwŽ8:,?/a<cRLN+!,?FU<l,U8N81^$<.h~kY?@_/a,?3c5!8<.N8:E)-k<9;:6E;:/É8:+!<lm1.:,U7
.d8M18:,U.:8:,U7c1dFs8:,?/a,U3GO1431FUHc.:,?.Y
¢!E$;aJ<9;:, 6 Hc,U3G‰8:+<¤1d7975;1479HWE6_E5;21dF GE;:,?8:+/a.RZLq<n,U/)-!F?<9g
/)<93c8:<9=>1_x)E38:<K*N14;:F?E_8:<974+3!,?jc5!<`6E$;Z7V;:,U8:,?7c1FU,?8PHo79E/a-5!81d8:,UE$3ZY
z <lG<93<;18:<C4BkR BBBa;13=E/É.14/a-F <9.NE$6]-!;:E7<V.:.0-]14;1d/a<98:<9;:.R
7VE/a-!58:<NGk1d8:<N=<VF1Hc.Z79E;:;:<9.:-kE3!=,U3Gl8El8:+<9/D143=)-k<V;:6E$;:/p=<9g
8:<V;:/a, 3,U.:8:,U7
8:,?/a,U3G)131F?Hc.:, .s8:E0“3!=n179;:,?8:,U7c1F-18:+K79E;:;:<9.d-kE$3!=g
,U3Go8:El<c147+a.1/)-!F?<cYT*E$538:, 3Go8:+<035/Xmk<V;
E6k8:,?/a<9.
8:+148–<c1d74+
<V=!G<l,?.|E3n8+!<o79;:,?8:,?71F}-]148:+y6 E;h1FUF`xCE3c8:<9g*|1;:FUE).1/a-F?<9.RLq<
7VE/a-!58:<o8:+<o79;:, 8Q, 7c1dF ,?8PHI-;dE$m1m!,?F?,U8PHIE$68:+]148N<=G<cY
[ 1m!F?<y.:+!EML|.n8:+<ˆ1479795;179HˆE$6o8:+<v7V;:, 8,U7c1dF ,?8QH‚79E/)-581g
8:,UE$3e6E;T=, i&<;:<V38K1/aE$53c8:.TE6s-;:E79<9.d.TJ1;:,Q18:,?E3]Y [ +<a1/aE53c8
E$6T-!;:Ec79<9.:.hJ1;:,Q18:,?E3W,?.KG,?J<93‘1.K8:+!<v1:J$<9;1G$<C.d813=14;:=t=<9Jc,?g
18:,UE3‘E$6oG&148:<O=!<9FP1:Hˆ<Vu-!;:<9.d.:<9=£1.W1n-k<V;:7<93814G$<2E6o3!E$/),U314F
Gk18:<o=<FQ1HcY [ +<o“!;:.:8NFU,U3<oE$68:+<l814mF <\;<V-&E;:8:.|8:+<o/O1uc,?/X5/
=,?ik<9;:<93!7V<vmk<V8PLT<V<93Ÿ79;:,U8:,?7c1FU,?8:,U<V.n79E$/a-58:<9=ŸmH‚8:+!<O-;:E-&E.:<9=
1FUGE;:,?8:+!/
13=>8:+!<nx)E38:<VgV*N1;:FUEC8:<V74+3!,?jc5<cY [ +<K.:<79E$3=>F ,?3<
;:<-!E;:8:.T8:+<l.:5!/„E$6]8Q+!<C1m.dE$F?58:<\J14F?5!<9.qE6s8:+<\=,Uik<V;:<93!79<V.Tmk<9g
8PLq<<93y8:+<K79;:,?8:,?7c14F?,U8, <V._79E/a-!58:<9=>mcHI8:+<K-;:E-kE$.:<V=A14F?GE$;:,?8:+/
13=ˆx)E$3c8:<9g4*N1d;:F Ee6E$;a14F?F<V=!G$<V.\E6–8:+<X8:,?/a,U3GeG;1d-!+]Y z <h.<V<
8:+18|8:+<o-!;:E$-kE.d<9=y8:<97+!3,Uj5!<o+]14.|+,UG$+W1479795;179HcY
† ==,?8:,UE$3Z1F
,?3cJ$<9.d8:,?Gk148:,?E3WE$6T8:+<C.:E$5;:79<9.KE6T79E/a-!58M148:,?E$314F
<V;;:E;`.d+ELN.`8:+18`8:+<0/O14,?3C-Z1;:8
E6—8:+<_<9;:;:E$;`,?.q=5<08:EK8:+<0F?, 3g
<14;_1-!-;dEMu, /21d8:,?E3)E6!8:+<N.d818:,?.:8:,U7c1F/a,U3O143=a/21duXE-k<9;18:,?E3.
5.:<9=C,U3C8+!<0-1;1/a<98:<V;:, b9<V=v”” [ † Y [ +,U.`<9;d;:E;`G;:EMLN.`LN+!<93C8:+<
=<9FP1dHeJ14;:,P18:,?E3n,?.0FQ1;:G$<9;RcLN+,?74+nLT<l713n.d<9<l6;:E/î8:+,U.|81m!F?<cY
z <K-k<9;:6E;:/)<9=‚1\35!/hmk<9;0E$6–<9uc-&<;:,?/a<93c8:.08:EC79E/a-5!8:<K79E3g
=,?8:, E3Z1F79;:,?8:,?71F?,U8:,U<V.Y [ +<N<9uc-&<;:,?/a<V38Q.
.d+EML‚8:+18–79E3!=!,?8:,?E$314F
7V;:, 8:,?7c14F?,?8:,?<.\7c13vmk<h7E$/)-!58:<9=2L0,?8:+ˆ14--!;:EMuc,?/218:<F?H>8:+<).14/)<
179795!;1d79H¦143=£*N˜—w¥8, /)<A14.e8:+<O537E3!=, 8Q, E3Z1F0E3<9.Y [ +,U.
7VE3!79F?5.:,UE$3>65FUFUHt1G$;:<<V.0L|,?8:+>E5;0<9u-k<978M148:,?E3O.:,U379<K8+!<K79E/ag
-5!81d8:,UE$3XE679E3=!,?8:,?E3]14Fc79;:, 8:,?7c1dF ,?8:,?<9.–,?.ZE3F HI1`F?,?8:8:F?<N<9u8:;1`L`E$;:^
168:<9;|8:+!<o7VE$/a-5!818:,?E3nE6537E3!=, 8,UE$31Fs79;:,?8:,U714F?,U8:,U<9.Y0¡q3y8:+<
E$8:+<9;I+Z1d3!=]RTE$5!;e<u-k<9;:,?/a<38:.I.:+!EML±8:+18I8:+<OJ&1dF?5!<9.IE$6o8:+<
7VE3!=, 8Q, E3Z1Fk7V;:, 8,U7c1dF ,?8QH)7c13Imk<_.d,?G$3,?“!7c1438:F?Ha=,?ik<9;:<38T6;:E$/„8:+<
J!1F?5<9.lE6
8:+<X5!379E$3=!,?8:,?E31FZE$3!<V.Y\ŒQ3v6:14798R&79E3!=, 8:,?E3Z1F–79;:,?8:,?g
714F?, 8…HX.:,?G3,U“71d38:F HK=!<V-k<93!=.`E3a8+<NF <93G8:+XE6&8:+!<N7V,U;:7V5!,?8–79F E7^
7VH7VFU<nLN+!,?F?<n8:+<nJ14F?5<nE6_53!79E3!=,U8:,?E3]14FT7V;:, 8,U7c1dF ,?8QH‰,?.21F?LK1Hc.
8:+<).1/)<cYK¢Z,UGkY–žK=<9/)E3!.:8:;1d8:<9.o8:+<)=!<9-k<93=!<V3!79<aE6q8:+<a79E3g
=,?8:, E3Z1F
79;:,?8:,?7c14F?,?8:, <V.oE3t79F?Ec7^O7H79F <)FU<V3!G8+‰6E$;o6E$5!;o=,?ik<9;:<93c8
8:,U/a,?3!G0<=G<9.Y z <T.:<9<T8:+]148L|+<3X8:+<T79F?Ec7^o79Hc79F?<T,?.ZFUE$3G<V;RM8:+<
7VE3!=, 8Q, E3Z1Fs79;:,?8:,?71F?, 8…HIE6=!,?ik<9;:<V38|<9=G$<.|/21HI<9, 8:+<9;0,?3!79;:<c1d.d<
E$;o=!<979;:<1d.:<C=!<9-k<V3!=, 3G>E3‰8:+!<a7,?;:795,U8K8E$-kE$F?EG$Hˆ143=W-;:Ec79<9.d.
J!1;:,P148:,?E3ZY
6.
1
ë|é ì6í
CONCLUSIONS AND DISCUSSION
ŒP3e8:+,U.q-1-k<9;`Lq<\=<9.d79;:,?mk<9=‰13‰1d7795;18:<a1d3!=e<9fa79,?<38`/a<98:+!E=
6E$;I79E$/a-58:,U3G¤79;:, 8Q, 7c1dF ,?8:,?<9.IE$6I14F?F_8:,U/),U3G¤<9=G<9.I,U38:+!<O79E3g
8:<Vu8IE$6K-]14;1/)<98:<9;:,Ub9<9=‘mF E7^cgmZ1.d<9=‘.:81d8:,?.8:,?7c1dFl8:,?/a,?3!G{1431F?g
Edge
Edge
Edge
Edge
0.8
Conditional Criticality
çPè|é ê
0.6
1
2
3
4
0.4
0.2
·|¸¹&ºZ»M¼&¾
Àÿ })
À zˆ"
À }Àÿ¼
0
23.7
23.8
23.9
24
24.1
Clock
¿p&ÃÄZ¸Á9¸&ÃÂ
ÿOÀCycle
»¸ÁV¸À(ns)
Â!ÿ¸ÁV±Â!ÅSÂ
…ºÃÀÁ9¸!Ã
Hc.:,?.$Y„¡q5!;‰14F?G$E$;:,U8:+/Ú79E/a-5!8:<V.n79;:,U8,U7c1FU,?8:,?<9.nE$6I1F?F\<=G<9.IE$6
8:+!<t8:,U/),U3GG;1d-!+{L|,U8:+{FU,U3<c1;O7VE/a-F <9u,U8…H{LN,U8:+{;:<9.d-&<978>8:E
8:+!<X3c5!/Kmk<9;oE$6`8:, /),U3Gy<9=G<9.I1d3!=v7c143v79E$/)-!5!8:<XmkE$8:+‰5379E$3g
=!,?8:,?E3]14Fo1d3!=W7VE3=,?8:,UE$3Z1F`79;:,?8:, 71F?, 8:,?<9.Y z <C,U/a-FU<9/a<V38Q<=W8:+<
-!;:E-kE$.d<9=A1dF?GE$;:,U8+!/î,U3¤13>,?3!=5!.:8:;:,Q1FN”” [ † 8:EE$Fs81;:G<98:<V=>6E;
mkE$8:+o.:,UG$3gEih8:,U/),U3GX13Z1dF?H.:,U.q143=o6E$;}G5,U=, 3G|79,?;:75,U8s.:H3c8:+<9.:,?.
13=‰E$-8:,U/),Ubc18:,UE$3Yn*]E/a-!5818:,?E3]14FZ<u-k<9;:,?/a<38:.oLN,?8:+v, 3=!5.:g
8:;:,P14F79,?;:795,?8_=<9.d,UG3!._+1:J, 3Ge5!-O8:Ee~$~&

Gk148:<9.0=!<V/aE3.8:;1d8:<9=
+!,?G+‚17795;1479Ht143=OFUEL{;:5!3>8:,?/a<hE$6Z8:+<h-;:E$-kE.<V=>8:<97+!3!,?j5<cY
[ +<`/214u,U/X5/Ž<V;:;E;E$679;:,?8:, 71FU,U8PHl79E/)-5818:,?E3h,U.N14mkE$58|ž$Y?›"Ô
79E/)-14;:<V=ˆ8:EŸx)E38:<9g4*N14;:F?Et.:,U/X5FQ18:,?E3.$Y [ +<¤*N˜}w±8:,U/)<>E$6
79;:,U8,U7c1FU,?8QHC79E/a-!58M148:,?E$3IJ&1d;:, <V.T6;:E$/²
B ÔS8:EOƒ${
› Ô¦E$6s8:+!<a*0˜kw
8:,?/a<oE$6Z.:81d8:,?.8Q, 7c1dFs8:,?/a,U3G2143]14F?H.:,?.|<9J<V3y6E;0FP1d;:G<o=<V.,?G3!.Y
7.! ý" ç‚REFERENCES
û#é ò$í6ò$ñ1õé ñè&%(' ü í&ñ1öè&%öñíòPñ1ø|ù*) ñ1é + é ø,‚ó&è|é ê|ò% -.0/2143506878789
:<;=?> @BADCEBF 18GIH FJ> 1 ALK 1 AM?; / ;4A 3 ; %ê)êû N O%Pú|ø)íQ þ1þ 'û
ïø|ñ1è|í6é R%çPï‚û
! "TS ûU‚ûVú|öè|ñ1ú|ò%WLû8#íø ñ1öí6ò$ñ1õñ1øX%ç‚û#é ò?$íò$ñ1õé ñèX%ñ1ø)ù
#LûY÷+ ÷öA÷[Z\%('V4ñöAí³òAé ìé ø],Lú{òé ø],Lé ø)óõí^‚í6øöñ+ê|ñ1õñ‚í&öAíõé ìí6ù
ò‰öñ1öAé ò‰öé óñ+öé ‚é ø],‚ñ1ø|ñ+ _òAé ò% -R`?a0a0ab` ABFc; / A H Fc> 1 A H]d K 1 A[M?; / ;[A 3 ; 1 A
K 18Gfe E]Fc; /^g CT>ih8;jhk:<;4=j> @lA %ê|êû ý‰þ N ýþ O%W÷4Z1í^Qm"í6õn þþ1ÿ ûë{ñø
P÷1òAí]%çkï‚û
! " ïLûïf,ñõ$ñ+%o`ûçPè)÷1ê|õAñp% ü ûðq+ ññ1ú8$%ñø{ùr#LûY'÷+ ÷öA÷4Z\%('AçYé õó6ú|é ö
÷1ê|öé wé ìñöAé ÷øOú)òAé ø,‚ò‰öñ1öé òöé ó6ñ+öAé ‚é ø,rñø)ñ+ _òé ò% -s.0/143450687878t
:<;=?> @BADCEBF 18GIH FJ> 1 ALK 1 AM?; / ;4A 3 ; %ê)êû ý N %Pú|ø)íQ þ1þ1ÿ û
ïø|ñ1è|í6é R%çPï‚û
! " o`ûçPè)÷1ê|õAñp%ëûë|è|ñè&%ïLûë|õé Zqñ1òAöAñ[ZqñO% ü ûð0+ ñ1ñú8$%ñ1ø|ù
ü ûëB_8+ Zí6òAöAí&õ%('ôñ1õñ‚í6öõAé óQ_é íj+ ù*wñ1é ‚é ì6ñöAé ÷1øOú|òé øB,,ñ1öí³òAé ìé ø,
m{ñòíùO÷1øOívuLó6é íøökòöñ1öé òöé óñ+ê=÷4$íõkñø{ùoù|ív+ ñ4_I,1õñù{é í&øö
ó÷wê|ú|öAñöé ÷1øw% -s`a0aqax` AlFJ; / A H Fc> 1 A H8d K 1 A4Mj; / ;4A 3 ; 1 A
K 18Gfe E]Fc; /^g CT>ih8;jhk:<;4=j> @lA %ê|êû ý‰þ N ýþ O%W÷4Z1í^Qm"í6õn þþ1ÿ ûë{ñø
P÷1òAí]%çkï‚û
! ÿ"Ty ûçkè)ñø],Lñ1ø)ùOëûëûë|ñ1ê|ñ1öø)í ñõ%\'ë{öñöAé òAöé ó&ñ+öAé ‚é ø],Lñ1ø|ñ+ _òAé ò
ó÷1ø|òé ù)íõAé ø,Lòê|ñ1öé ñ+ó6÷õõAív+ ñ1öé ÷ø{òú)òAé ø],Lñ‚òAé øB,+ íôXz{Uîqc+ é í
öõAñ[Zí&õAòñ+% -R`aqa0ax` ApFc; / A H Fc> 1 A H8d K 1 A4Mj; / ;4A 3 ; 1 A
K 18Gfe E]Fc; /^g CT>ih8;jhk:<;4=j> @lA %ê|êû ý N ÿ %W÷4Z1í^Qm=íõ| þ1þ ûë)ñø
P÷1òAí]%çkï‚û
! " ç‚û#é ò$í6ò$ñ1õé ñè&%orû8Ukñ[Zé ø)ù{õñø&%o`ûo³ñ+ ñ) ñ+ ñO%ëûVOû}-ñ+ íõ%ñø{ù
ëûWñõñ4_1ñ1øw%('?~é õAòö:÷õù|íõPé ø|ó6õívwíøöñ+(mB+ ÷ó m{ñòíùOòöAñöé òöAé ó6ñ+
öé ‚é ø,‚ñø)ñ+ _òé ò% -s.0/21435068787j€ :<;=?> @pATCTEBF 18GH F> 1 AK 1 A4Mj; / ;4A 3 ; %
ê{êû ý Np%]Pú{ø|íQ þ1þ ûë{ñø ü é í^,÷(%çPï‚û
! " ðwû ü ÷ù)é øOñø{ùoëûz&+ ‚ñ,1è|õñm8_]%('Aïkê{ê|õ÷4é wñ1öé ø,‚öè{í³ó6õé öé ó6ñ+ é ö_
é ø|ù|é óí6ò÷)öè{í4ñó6öé Zé öé íòké øoô{z&Uîø|í6ö$÷1õ ò% -R‚ƒH A H @B; G ;ApF
„p3 >J;[A 3 ; %Z÷+û ý %ê{êû þ N(%~|ívm|õú|ñ1õ_ ý ÿ û
! "T… û†é%Pû†í]% S ûçkíj+ é %ñ1ø)ù*†kûîwûôé + ív,,1é2%\' ü ív‡{ø|é ø],LòöAñöé òöAé óñ+
ò‰í&ø{òé öé Zé ö_r) ÷õöé ‚é ø],L÷1ê|öé ‚é ì6ñöé ÷1øO÷)X+ ÷,1é ó³ó6é õóú)é öòf$Yé öè
+ ñ1õ,íviòóñ+ íê)õ÷óí6òòñ1ø|ùOí6ø8Zé õA÷‚í6øöñ+(ZVñ1õé ñöAé ÷1ø|ò% -`a0a0a
` ABFc; / A H Fc> 1 A H8d K 1 A4Mj; / ;4A 3 ; 1 AK 18Ge EFc; /^g C>h8;?hk:Q;[=?> @BA %
ê{êû N ÿ'ý %]W÷[Zí^m"í&õf þþ1ÿ ûë|ñ1ø*P1÷1òí%çPïLû
! " WLû ü í÷O%(ˆ/2Hje\‰ F ‰ ; 18/^ŠD‹ >JF ‰kHje8e\d > 3jH Fc> 1 Ap=QF 1 ;[[email protected]>Al;j; / >A4@ H Alh
3j1]Gne EFc; / = 3 >;4A 3 ; ûôõíøöé ó&ív y ñ+ +% ý û
! ýþ"Ty ûçkè)ñø],O%#Lû8Y'÷+ ÷1ö÷[Z\%çwû#é ò$íò$Yñõé ñ1èw%ñ1ø)ùOëû8Wkñ1õñ_ñ1øw%
'Aôñ1õñ‚í6öíõé ì6íùrm+ ÷ó m{ñòAíùoòAöñöAé òAöé ó&ñ+öé ‚é ø],Lñ1ø)ñ+ _òAé òn$Pé öè
ø{÷øBV4ñú)òò‰é ñøOñ1ø)ùø)÷1ø+ é ø)íñõkê|ñ1õñwíöí6õò% -s.0/143450687878t :<;=?> @BA
CTEF 18GH Fc> 1 AK 1 A4Mj; / ;4A 3 ; %ê|êû ý NO%Pú|ø{íŒ þþ1ÿ ûïø|ñ1è|í6é k%)çYïLû
! ýý" ç‚ûz4ûç|+ ñ1õ %('AîYè{íŒ,1õí6ñöíòö÷)ñ‡{ø|é öAí³òíök÷)õñ1ø|ù{÷ZqñõAé ñm]+ íò% Ž0e ; /2H Fc> 1 Al=q;[=j; H8/234‰8%ê{êû ýÿ N ý p% S ñõó&èiïê|õé + ý ý û