Effective Safety Property Checking Using Simulation ... - CiteSeerX

Effective Safety Property Checking Using Simulation-Based Sequential ATPG Shuo Sheng

Koichiro Takayama

Michael S. Hsiao

Department of ECE Rutgers University Piscataway, NJ, 08854

Fujitsu Labs. of America Inc. 595 Lawrence Expressway Sunnyvale, CA, 94086

Bradley Department of ECE Virginia Tech. Blacksburg, VA, 24061

[email protected]

[email protected]

[email protected]

J6"LK !'()§§+X(M1/&2!!Aj/Pv 1¡ /() ( Rg +,&-'()/.

ABSTRACT


 

     !!"  $#%&  &!'()*(# +,&-'()/. 0  12 34'&657()+89!;:=>9"*?@"A'()8BC5:=D?2E

#F(7 '#F"HGI /() "G8J6"LK!9()MNLO@A'P"N()OJ6"L#FG/ P

9#%"GQ () HGR('#@&-'P)1/ $-&L.S $PT9A1/'U1/".

P V#F(*N !AR!W#%('+8&T+X" (M1/ W#%&ZY\[/J)"A&!/. -3M *'I1"J6&() 1](^-!"' IX"_`!"J6  V1\"ab. !"-" !"GU1PX $A'*"c/ &(A9-(d 1,e$ $LK !'()d('#2 $ P A'(X#F(XJ)"LK!9-(T !&1/ PQB$f9E*!( ('A'()g(#@

+8'&&!(+

0 - '() & 5T:=T?h P )BSiE  " ;('# $A''1WA L()V#% !"()

+X &!L&LG

0 GIL N!() !'& $!"Y: W'A'!"J6#%'

0 \+V !Av +8&&"

(, +V &-'()/. 0  1^5:=D?VÍ  0 &G8(,-1L#FGIM" $A 0 &

 ¬ O $A' X / 1qB%Ng\PJ6QJ)94 0 &U('A1"EY

#Z' &L BSiE#% !"()* > 1/12(xP -1DD 9! 

:M ;V , 0 &X(n'1&8+X(X $A9 WRc &-!"V+X"/.

("N 2W&-('(# +X7N&& 0 7 $18()8AJ6"  PW 7 .

(M1/ Yo;c'+X &J6"LK " T, !"&4'  97[ ¨^• k'Œ 1byD
Hz?2{

&  @ $A9 YN57&()P)^2 -+V &-'(. 0 ' 1U+X" (M1/ N! (

('#X{yTŽŽ ^ ^ 'I ]{yDŽŽ¸ œ]+8G

Lfs'ŒCYW: ( Pw+X('W"aX!@ d"c/ &!L+X (M1   W L.

(9J6@!(!   NOJ)"LK!9-(LK  N3 LxD&& ( 0 e$"!".

+89Gd&-+XLA9-(]('#yDŽŽx. 0  1w  ()!A  2  \½H+X+X('G

J6N(#N½H1 0 P)P P)¾/Y;
HX /A!"!))#%(&-'P)71/ $G,1 P) 

c &() ()¾X ( 0 &+UN!O(!! NN "^ 2yTŽŽ #%('7" .

 7J6"LK !'()O( 0 e$!-J)@   &&LG8!()!"1I&  NLI ('.

" -P^ V $A',A' L()]#F !"() 2('# V!L! L W+8G

JM-1 Pw#%(+8'&N ((#F 8(#2!('!"  X¬K 1 P

(

0 V!( $!"1nL&LG ~9ŒCYW57 @X  &L`+X"(M1 7("

 8yDŽ@Ž ;J6

0 X /() ( 1  !b [/5T:u lΠ1X5T:=T?

0  1w  ()!Ad#F(W+X(M1/&Ÿ!A !AjM-Pd sM;f9¿M;f"lŒCY*: ,5T:=T?

!( "c '+X &2(I#%& L#FGd I²±¯Zγ@1 PN !A\ P . &&LGO "7'^ (9JM PbL#>L7 2f ) )Ï«!(!Y

0  1^ /(6'!^1( N ('7"c/ &!L&GI $(' !(+X &" $A9

 !](

0 &-1¡¬!' ()!&2 / A'()¡(#V \yD(()&'

0 P) Yh
H

("X('A1 1 P)" I'O+X(^!"() !"" 1¬NLQK 1P]

{@*+8'-]!() 0 /-(R  *D(j\- V()"&-+X9()¬(#  VH(h½$1/A

0 !Aj/ ¾n('#N +, &-9-(. 0 ' 1]5:=T?«#F(*J6"LK.

$A9TA' L()2#% !"() '- $)1`9 ; $A';A (V Ÿ1/()

!9-(YI}ŸL $-1L#FG*!A,M +

0 "(#M" $A 0 &

0 "]'!3 L1`Y2m@("J6" 5:=D?Á!"() &-1d (-&&LGnAj)

#Z' &L YT[/"!() 1 'N1"J6&() 1* J6"A'&/"! -3  +,&-'()/. 0  1W' ()!Ab'!-"J612!()+X 'A 0 &D('

 7 11`/N&-W5:=T?ª' /(6!A " @92&-+XL1I-O-+XY
\"+X @(# 34'&5T:=T?V(n' /(6!A " W'X ()  L. 0 &)1/""+X  $!V1n +,&-'()/. 0  1`Y*rD"M&LG '&-+X( $

0 ""7 "#F(+8' ! ^"c/ $-Pb#%('+8& /(6'! x/. !&1/ P8rDm@5@}>}v £'ŒCY

'&& JM() X(jQ()h  P¬5:=D?Â#F(OJ6"LK!9()q'd1/".

: X('P6' œ'(Q('# X  "* * W#%(&-&(N P/8[/"!"()¬i

0 ! U "G¬!v /('J)R³Ã"´ZÄ`³··

" T (+XN &+X'   !AX' T /( 0 &+|#F(+,&-'()8'1

+X- $-!R sM2f9¿M2f"lŒ

BZZY )YDNR I+X(M1&1#% &L8 bM" $A 0 &9EY]
HR  b! ) 

(M1 !-(\('# 34'&;5T:=T?È((&D[/:¢@5:oT?5T:o 

0 A!/.H'1M. 0 (  1w'&P)(L+Å *+X &(G1n(n"c/' $2

#%(('#Ÿ(' /(6!A " D#%('N  P* 3 -&5T:=T?¡#%('J6"LK.

0 

!9-(^91/ !" 0 1XU[M!"()Ik/ [M!"()8l*P)J6 Dx(9J6A&&

'!Aw  !W /()P"  -J)&LGn (X'x (X 7J6"!"(x!()&-1

#F()1b(,1/"!"T NA'P"1X#Z&L/M 6x!8 '#F&LGI!&-+  '  ( "HGn &-1\'  * '!Aw  !"b'

0 w"cM.

  $1 YT
#> (!1W !!1/ N-UK 1/-Pbb 3 !(

(!"1/ 8 1h1 !   X v½&(!&x+X-+8¾w ( 0 &+Ð/. !( "1`Tc -+X"MA'&"  &L b9I / 1]Q[M!"()Q¿  1I#F()&&(9D1

0 GO!"() !"&- ()Ud[M!"()n£MY

1/"!" 1V1 +8e$('21MA

0 '!jA'!jM ŸJ6">(!"!Y>mx(J6

0 !AjM '2B$f9EL!'n (x (9J6W!('!"   1

2. PRELIMINARIES

: V ('(HG/ *(#T * 3 -&5:=D?ÈD, V#%('2J6"LK.

!9-(g b[:¢x5T:oT?5T:oÁ tMxf 'ŒCY
S, ,w +,&-'()

0  1

5:=D?«9V  *P)"!O'&P)(L+ÑBS?5E2' *X!(O&P)('. L +Ò#F( $;P)" "A9-(Y;
X?5*xÓ/®AÓÊ/²±´ZÌC®ÄW!(A x  (# "#F(+X1W(1.

J62W $WBC*J)!"(N('#> +89GX / ÛÜV &  $A'*Ý`ÞFßàáâ$ÞHE N !An!nc!"2W#%&@n() 2+X#FA'+X)`'   +X Pb#F && !(M(&Ÿ(#>W $A') "!() 1 6eH $LK!9()d (!"  7ãOb 9!  21( W#%('WI 3M !"XäbÛå`Û)æ"-YYY( 0  0 &LHG`wL#2 ^ 

( 0  0 &G^

Ú»'&)(B*#Û

0 !' 2L7/J)()&J6   "M-'&-&LG^ 3 -&5T:=T?VY

{@/D(j7#%(!  DND"N  P@-V "c/ "+X Y>}(!Ab!L!L6 

?5v(*1(W2 +,&-'()/. 0  1X!(+

M +

0 - '() & " $DP "A9()Y

0 "(#>}>}Ÿ xO 7!"!" L@ K  $NPJ6Yzx"cM!AU  0 .

mx(J6L7!n(7P) 'A*b (&-/()nJ6"UL#;() 2c $ Y

3 "M;!"()& +X* ( > D/+

:""#F()D* 7dX=D{@ŽoD¨O. 0 ' 1n1"+X  $!2 P-

!('  () 1 PIM +

(d& h[/:¢@5:oT?5T:oY[/!I ,1/""+X  $!O" P)O

0 "Ÿ(#`=;
H >9;!V "; 

0 @('#TÀ - /.CÀ()  Y2} ('"c'+X &) *J& 

½f"¾  1", ^!"()& +XȽf"l¿)i9¾#%('O!"!" Ln·:9
;=;1? 1!'"

0 '(& $NP A'()  L !( $N- &(

9 x ()@=;
;'!8 "f"l¿iV}>}Ÿ D#F(  !"!" LY

"J68#%(N&-9P)2!L! Y;Æ]@+X(M1LK 18=T{@Ž2oT¨Â&P)('L +

:  N 7!" &&LGU,P&( 0 '& " "7 -P'&<  !W'&&}Ÿ 7'" "Y

( &LGI!&&18#%(N!"()+

(X 'x@!nP A'O°VÊ/² ´ZÌ Ó²-³ ()&() ,BZL#; "G^"c/ $E#F( ]A9P)"I#Z' &LYª:- I ^1/ LA 0 &- '  (!-'1nNLd,A'P" $A9W(

} ('!L! L2·9 @A;)@J& O½Hl¾,  1"D!()&+XQ½Hk¾b 1!'"

0 ! d'!u (&()u

92 ","c/- $*l^=
 W 'W!'\ VP'() 2(#7kO}>}Ÿ YXƝ

0 eH $LK1`YÆu,e$ $LK .

 ('!1V#4()+| DA 0 &9 ()+X=;
H ;J6D $() P" " P

!'()b#%& D#%('D( 2BZ /!A 0 &9EŸ $A'6N!'X $N!Ab(@ "cM@ (&() Y:- @1"+X- $-!WP) V& (I&1/ ("

(" 'X(  M)Y PY;X N +XN!L!D(#;·:9
;=;3?M "  7 (' "x=;
D9N!O "Wf kX}>}Ÿ Y

1JAP)x!w-1L#FGd (+XVM" $A 0 &*#Z&L Y,yT!  (,1"+X- $-!X" P)I *+8 &LG\!()+

0 9()'&T('1 

LN ( (#% &`()P)8(,-1L#FG8 3M-&&LG8  $A 0 & #%& Y;mx(J6LD!'X-1L#FG,&&!(+ #%& OBZP)J6R" ()P)

0 - '() &  $A 0 &

0 !AjMA'!j\&-+XL AEW 1]/ W!R /('J)

3.3 Threshold-Value Simulation

:"  ()&-1M.J&^+X(M1"&(#@&-(P)!UP)' b bK  $, ( () 1

0 G\rD PU'1]57PA'&xLff"ŒCYO: "Gw1/J6&() 1]I" $VP . '('

0  1h()Q ()&-1gJ& ^ -+V &-'(•Lf9i9ŒCY§:"  ()&-1

2!("!"   N('#; ()+X /() " Y

J& d+X(M1"&@ U'q'&()PQ+X(M1&x(#*&()P)!\P6'" ON !Aq (

3.2 Reset Signal Masking

 N 21MG +X!@!"()()&&- 0 -&LHGU-/#%('+8'()^NL^!('".

U,?5§P)"A'()d /(!  x(8J6(-1^JM- L P8 /JM-( &LG

J& INQI'&NJ)'&-IA' P]  /  /YfŒ2 1¬w&()P!DB4f)Í

JM L1¬ $A' UB%M *#F(+X Pw!"G/!& AE,1/ Pd $A'IAJ6" &ZY

 / 1

Éx '&-&LG 1 P " NN&-&< NI "VBZ(7 94'&4E x P&

 '!#%('x!( ! /N(#W½ $() P¾8 1g½DjM¾X ,1wf)Y: 

()&LGXj6  @yT(()&I&()P-!@J)'&-N-/#%('+8'() 5ü!A  -3 ^!&&1Ò¯³·"³´b·Ì-Îı)²N°X±·$ý'Ì%ÄÎn I !(' (A'1

(8!L! Lx#%(@Ž P)n#F(2: $A 0 -&LHGBZŽ2}>:NEN  (  Yx5x $.

-(V('#  T P& ŸN&&#%(!"T !L!Ÿ $A'T(N"/W(

0 /'& (V!9.

 () 1 Pw ()&-1gJ&)Yv5p&()P)!CB  /ÍT b " 1

0 GQ

0 G¬nJ)'&-INL-¡  /Y t/fŒSYg:""#%(')LX&J6"

!&() O^ gJ)'& ^(R M U $( P"8 U&()P!EB  MÍ Y rD()MJ6 &LG/@!&( "N N ()&-1OJ& 7(Of/@ $( P)

!""AX "T(D '-'&.C  $A'"  " 0 G* 9-P2!"G/!&

 N&()P!FB4f)ÍM Y: 7J&9()8(#2P69x 1/() 

('&(()  8@};[¨pAJ6" '&CY: DN&-& P LK!'&GX1 !"

 xJ6"A'P)@ DJ)'& 7(#  7P6'7(**( /DJ&7NL 

0 "Ÿ('#"¬ $A' >JM L1,'1W&-+XLŸ1/ W  $

AP)8  /f"Œ2P6'Y: 

DM +

0 Gb+8' -P

P A'(V!'\'!\-w 8[A'X: A L()R?xA gBS[:N?2EY

1A&mx(9DJ6"L!V (1/ $-P)- *HD(1L_`""M; 3M !"

m'+X+X Pn1/- $A' !^1( V ('b "!  '&LG¬!('&-'^NLR 

0 ('weH $L#FGR^ +XO  0 "X(#}>}Ÿ

N"

0 /b ""X('#

+ªe$ $LK  x*"ML* $A')Y: ()&-1nJ)'& W +, &-9-( 0 G

] *! )ŸN&&D& ] W#F"*1 $ P    PU,HD(

!&D1 $A!X $A'X  !dLf£9ŒCYU:""#%(')>8' ! L

0 G]DP) Pd 

0 L ,R I $A'

0 GLb!(()&&- 0 &L.

LHGYO
H LJ6&LG 81L_`"" !XRU 'A1/.C('.!"()()&D}>}uN&&

+X P (ü $()P(8Dj¬ n ' 8(df I'U#F(8 ( 

!(M 0 +X('T'b7 $GM.C(.S!(M(& }>}^(7 (9J6A&& 1/ $.

 +89!1RB%#Z&1 EW}>}Ÿ Yb}ŸP)XiI  (N WI -+X &b"c+X &-

A!,('#T*(I $A' YV:"b9VHD(O!  (

('#(9§ ()&-1dJ)'&-V+X(M1/&>1/_`49*(I! " N !

 N O!&!&49 PX 21/L_`" !")

 J6 N +XN&()P-!xJ)'& )Y[M  () 'T(e$ $L#FG82}>}D

i

 

0 NO! 1-1 9 $A'2 7 ,'1OIA'P)x $A92 Wf

i

 

0 NO! 1-1 9 $A'2 2f2'1OIA'P)x $A92 x MY

N() b - ^k'.S 5xz@ŽÈP69)YV5x  +X*,( 0 e$"!"J6 0 wf)YQ
H¬KP9iMBC6E,'1RKP)/9i/B 0 E

 b(8e$ $#4G¬ U}>}¡( X( 0 e$!-J)

0 !' I^&()P!B  M͟ W( 0 A' 19

0 (\#%&1

b()/ /2(#T X57z@ŽÈP6'YXm@("J6"W W( 0 "J61n9 V! " (#T W&()P)!LB  MÍ}DY/
#A'P"N $A'J&I-

0 L WfM ILN- Vf 0 N(#T}>}Ÿ YN: * X'1

f*!()(&-&- 0 &Gd 1n",9*W ( 0  0 -& $!

0 0.074

0

FF

1

0 ' 1U+X9.

"+X@ $)1d(#N[r{x5x=v (I '@L2J& V',&LG/

0

1

0 LT(

e$ $L#FG8 @}>}J)'&-'1IIf7(b *A' L()O- 1/1I8 

!(M(&&4 0 &LHGYoR x(A&M +

*  &LŸBC)ED 7#%9J)(1^ $)1I(#NB 0 EDd?5¡J6(&-/()Y

0 b1/L_`"1

0

0 "¬ MY  n1hfY  /Yn
 A'!"!);8 bX#F3 " !"G\(# '!O}>}] $NL! PV(V *1Uf@1/-PW -+V &-'(^'   V'1

FF

fV!()()&&- 0 &-LGY,:""#F()  * "2b}>}h @(I!(M(&

0

 b(Wf  2!"&-( W N!('  () 1 PX $NL-Pb#F3 !"GOJ& 

(a)

 D(Xf)Y  /'1,#F(+«1/"K(OkM N +8&&NDP)#F(D

(b)

’NéFêë  ' $K1^( 0 e$!-J) YT} (De$ $K 1^}>}Ÿ NO@A'P" @K   #% !"()



&&`PM1^m'+X+X-P,1/ $A !"

f

VW  +YZ [ X 2 .)0A0

}>}DY)

(' ! D- Ÿ 'x[ }>}^ J6"Ÿ $N!A 1*(x 
pMf6 "*L >!('.

[ N OÙ2Ù

y

7vu

'1Ù2Ù

+ E

[

Z[

z

\

æ

[ [ ] Ù2Ù y c]Ù2ÙFz ]

'X 

l8Ý{m

[ BSi)E

0 *J& b#F(* b(n $A'"

  !-J)&LGYûFíDN`ïVˆVéFì'I6ëŸé4÷OˆQ}Ÿ 8N !Av!h (-&&LG

+8j)dn#%(+8'&2J6"LK!'()q+X"(M1 8'OMJ6()&J6\yDŽŽ

1LaX!" &L(^  1&)Y,: , 9#%"Gw () -" (

0 ,J)"LK1n#%('


[r5[/s)tU!L! ,'8A 1()+Å!(e$ !"/ *(#7M&D -P'.

ž (!&-ž+XLE

'& x('#> 2!L! YD: W( 2 ( "HG8#F(*°,°X±   (J)"

P A'WVA'1(+© 38 7 "cMN+X(9J6)  ž(!'&-}&

t

k)s'lf~

 $1g()u ()+Xn&-9P)d
[r5[st

‡V

L#NBZž (!&-}'-&

( "

f9~t

J&  
+,&49()*P) -1/1V@o;LK¾,BC:m@¢7
H@oDEY:mx¢x
oU'

L#>#Z'-&}Ÿ

k) l)k

(#>iMf   ) ,& " (#ŸrM‡

 !"!  TP)((, "cMN ( "HGY & 

P6'"

A¿k)~s

Ɲ+X &-"+X1*x9#%('+X() 1,! -3  ;8@(A'&

!1/-1 '  `1 'x 2!/N $A') l/Y iMY l8
#BZ!"N $A'

'+X

&@ () HGQ#F()+

 MP((bl/Y iYf

 w1/ P) xN-!Au ^jM (Nh(

0 

#Z'& )YÁÆ]d!()+X '1h(I  &L INu#F()I(()& ¬mx
$:oTr

 1OL#

Lf9~ŒSyD
Hz?2{

 1OL#

Lfs'ŒC7rDm@5@}>}– £9Œ'1R I(P)'&[/:¢@5:o>.

?5:o« tMf 9ŒSY\m@
H:oDrª V 8+X( $*N-1/&LGR 1R1/""+X.

18N &

 $!O5:=T?«((&DR'!)1/+X-/YnyT
Hz2?2{– VaX!* $G+b.

:W+8n / () 2(#(M1! PX $  ib'1UkX 7(X"!

0 ()&!7+X(M1&!!jM Px(()& #F(J)"L#FG/ P'&- $!@ /() " T(#

U $A'OA 0 &)Yu: ^ $8P A'(I+8'-A'- 8] $A'OA'.

3 "M-'&>!L! L 2'1n ('(!()& YVrDm5x}>}g 2O[5:§ (&-J)"Y

0 &@N !AO $(' NJ6"GXJM L1O $A92 18@J6"!"( 3M !"

ŽT(27!'"#F &/ P "P(#&& '  !" ;(# '!ArDm5@}>}

B½+X(9J6¾E9@((j^ *!L! Lx(8 @ $A'Y57&-&!A /() "Gw(

0  $

?5ü() /+X-œ'() D 8 $XP A'(XN&&x "1 

0 XJ6"LK1w

0 G8 /()&&-P, @!L! L

6

!1/-1 '8Q?5«' *R½H c/V+X(9J6¾I(U b $V "Yd:

!(/J)"1I(,XrDz}]#F(+V &-

"!+XX(#@ $A'UA 0 &^N&&@ "&-

#FA'+X YdƝI1-1]I(&-& PnNL¬¬ !+XA&T $ R(#

0 !' n $ glY iMYfd1/".

+X

"1 D()Ox!A  "  (#57&&("b"c/ "+X

0 G

*U()wX=Ÿ +ü


f9?@mxœW!&(!jŸf 6i'l6¨

 $NP)" "A9(Y

0 G/" 7¢x5¨

+8!A  $A&&1^NL^¢71/'7ž //c^~MYf)Y :Ÿ 0 &*iV ( N @! 'A!" $-!" @(#>2!L! L  -!&1M.

4.1 Local Minima 57 ^(!1u#F(+

 \ (!1()/U $A9]  '!] '!A

' ^w $A9OeH $LK!9()q ( 0 &+

 PbW('A&ŸM+

 nR&-'P".S !&( .

A&7M +

0 "('#P6'" (A&M +

0 ",('#2 ( " X(

0 N(#T}>}Ÿ @'1^('.

0 OJ6"LK1¬#%('8!Ah&-'Pd!L.

+Xœ9-(8 ( 0 &+UY[/! N( 0 e$!-J)@P)" "A'&-&LGX! ( 0 

!,"c/ "+X1 YUT"LK !'()R &L b'I  (N¬A 0 &-

!A 1¬hn#%"ü $" T /- $! ^B% ()&-1QJ&OK   

k/RN !AI!()+X '1]I &L V#%('bmx
$:oTrxyD
Hz?2{V

DP)1Rm'+X+X PU1/ $A !"9E*98 1](nP -1X X '!A (W' /(6!Ab A9P)"T $

rDm5x}>}DT[:¢x5T:oT?5:oÒNQ:mx¢x
o> ( () 1¬¬

0 GV $ Y;?5h TX!A'PN(#`&(!&

' "Yq} ('8!Ah!"!" L ^/+ 0 G,N/+

0 ",(#2 /() " X XK  $

0 "('#M +

NLU&-'PV!(+X /A'() & !() $ YrDm5x}>}¬J)"LK1O&&‡Vf 

J)"LK1

k)£)sk6¿

J6K 1

[:¢x5T:oT?5:o

-+X)BZ AE t

f MY k

0 -&-1UyTŽŽ

f9i

ss) )¿

0 -&-1UyTŽŽ

k/f

f)f~t)~

J6"LK1

:m@¢7
H@o

+X6BZ AE f

J6"LK1

+X6BZ AE

¿s

t

i £)k

t

l/f9~s

fs

s)t)¿)~

i~

ks6¿)i

is>‡2i

fi£)¿£

k) >‡2i

¿'t/ffl

i)~)‡2i

¿)~~Mf

it>‡2i

+X+8

f

 0 ('1  

f

~'lli

+X, ¬rDm@5@}>}DY} ('I·:9
;3?ÿ=@b 1g·:9
;=;1?/;yD
Hz?2{«!()&41 0 &-1U VyDŽŽª#%(@ * $A'VA' L()d#% !"()\1*(

(

+X"+X(G\&-+XLA'(Y\:m@¢7
H@oN()R X(' ",'1 ŸJ6"LK1 fs* /() " MN-!A8 @f£W+X(N ( " D 8m@
H:oDrQ1 t*+X(N'^[/:¢@5:oT?5T:o¬ 1O£W+X(N'UrDm@5@}>}DY/} (' ·:9
;
;1?;mx
$:oTrª /('J)1iO('# b /() " W(

0 b#%& I1

0 ^!('!"dBZ (9Ng Ii)‡Vf )EYurDm@5@}>}Ò /('J)1¬k/f^(

f w(

0 8#Z'& )YR[/:¢@5:oT?5T:oÒ /(9J61¬i)~^( (8 /('J)UGR(

0 ^!('!"Yq:- X

0 8#Z'&- ^ 1!()&41 0 ! ^8 X &LG

+V &-'()/. 0  1 Y:m@¢7
H@o\(()jbW&( PW-+X(*  !!"  $#%&-&LG /(9J6,k 8( !"()+

0 W#Z& X'1wi,(

0 *!('!"YW:biX!+XW#F(+

0 111I1"+X  $!*" P)2ã8"G^'W (9J61I(

W+

0 

0 '(&2 $A 0 &-n#% &L YÁƝwP6J6w+, &L &n!A !Aj

(M Ih $IP)" "A9-(v+XU#%(I  8!L!Iu:Ÿ 0 &wk/Y Æ]^!'h O'b+X() $X('#@ I+XO' X  X()gJ6"L#FG/ P x&-' $N /() " Y} ('D7'&1 $Gb!L!L@°,°b± 0 ('Xm@
H:oDr¬ 1X[:¢x5T:oT?5:ow#Z'&-1 YTyD
Hz?2{v  !!"11 9#F"T ()+XD"cMAx('jVV" $-!-P  '!Ab  '! ' . &-1wLft9ŒCYDmx(9DJ6"ML((j8 -P LK!&LG8+X(x+X*BS~'lli' AEY rDm@5@}>}QJ6"LK1^ x /() "Gn x&& 0 7(()jU&()P)"x+X  n:mx¢x
ouBCk6~9lX !(1 NJM Yfstb !(1 AEY

f

k6~9l

 

 0 (1

ft)s)¿)i f

fst

 £'ŒV¨\Y/ƕY¨^() j6"N!œ`rxY}DY¨U)1/P6 –VYx—'(žYx—`  P/  1U[Y¨U'&-j¾6rD9_>Do; P "P8Uo>aX!@[5: [/(&J6"¾x¯®ÃAþ“8‘> Y ¿k) 9.H¿k6¿`¤) *i  /fY

 ~9Œ*¤Y ¤6'- 5WYz@'AGM'¨\Y} 'e$LAb'1U5WY [' P-(9J L.S@ !"M"&-&ZT½$5|[MJ6"G8('#;:c/ "+X N()n&-'P

0 !+8'j8'1^'&