Symbolic Simulation of Algorithms Specified in HDL Klaus-Jiurgen ...


  

         ! " $#&%' ( )%'*  + , .0/21436587:9A@CBEDFB6>A/2@C=HG:I JK@L=HB6MNJO@LPRQ4@C=:I SUT4/WVYXZ=?@CPR[65?/W@L=]\ I_^ [`1ba2=cVdTA= ^ TAegf63G?@L=ihj=HPR[6aWG?@LPkG]36=H@ \ml B65HG?aWG]3nG]@oT4V ^ TAepf3G]@C=jq PLa2@CB6PL@ hr/2st@L=HG87:uv36MwiaW>A587yxrB6a{zA@C=?5?a{Gy| xrBaWzA@C=?5HaWGy|}T4V~JK=H@Leg@LB ‡4ˆA‰Š € JO=?@Leg@LB6…`†o@C=?ep14B| st@LPRQb@L=C…‹@CB6>A/2@C=HGRŒ0aWBVdTA=He1bG?a2QŽ36B6a{7‘Vd=?@Ca2s636=H>6ŽM6@ M=?@LPR[5?/2@_ŒZa2BVdTA=He1’G]a2QŽ36B6a“7ys6=H@Leg@LB”ŽM6@ —• –~˜k™ƒšœ›`4™ žUTƒwc14M61ƒ| 5ŸG][6@EaWepftTA=HG]14B6PC@—T4Vr[`14=?Mnwc14=H@ M@L5?PC=?aWfG]aWTAB¡/¢14B6>43`14>A@¤£¦¥jX0uv5R§>4=?Tƒwi5L…O@L5?ft@k7 PCa¢14/W/W|¨a2BG][@r1b=?@_10T4VAB1bB6Mgz4@L=HaW©`PL1bG]aWTAB”ŽªJO3G«365?aWB6>¬¥jX0uv5­e1_|PL14365?@U5?T4ep@ 5Hf®@CPLa214/AB”Ž­±¯[6@L=H@CVdTA=H@0G][6@¬14B`1b/W| 5?aW5¯T4VY14/2>AT4=?aWG?[6eg5Ks|}eg@_14B65 TbVc1}PLT4epf6/W@CG?@²5H| e²stTA/2aWP²5?aWe²36/21bG]aWTAB³st@CVdTA=H@²G][6@Ÿa2egf6/W@Leg@LBGR1bG?a2TAB a25o14B¤aWepftTA=HG]14BG014BM aWBG]@L=H@L58G]a2B>G]TAfa2P4ŽFhrB}@L5H5?@LBG?a¢14/®f6=?TAs/2@Le&VdTA=«G][6aW5cQa2B6M—TbVY5Ha2e²3/¢1bG?a2TABga25«G][6@ZPCTAegf6/2@µ´a{Gy| TbV`G][6@¯=H@Lf6=H@L5?@CBGR1bG?a2TABT4Vt5H@CG]5FTbVB 3e²s®@C=?5CŽ~¶·@¯f=?@L5H@LBG«1Zeg@CG][TnMVdT4=YG][@¯=?@Lf=?@L5H@LBGR1’G]a2T4B TbV¬=?@LM36PL@CMTA=HM6@L=H@LMsa2B`14=8|²M6@CPLaW5?a2T4BpM6a214>A=?14ep5¯£¸S¯¹0JcX0XZ5]§YwiaWG][Ÿwi[6aWPR[ 1g5?aWe²36/¢1’G]a2T4BE145reg@LBG?a2TAB6@CM³14stTƒzA@—£¦ft@L=HVdT4=?eg@LMN58G]@Cfn7ys|7y58G]@Lf`§rT4Vªep14B|(14/W>ATA=?a{G][6eg5cwia2/W/ st@LPCTAeg@rftTA5?5Ha2s6/W@4Ž l epftTA=HG]14BG­Vd36B6PCG?a2TAB5O/Wa2Q4@ZºR» ¼ ½µ¾t14B6M(¿]À’¾mÁ4¾y­PL14Bst@raWepf/2@Leg@LBG?@LMŸwiaWG][ 1ŸftTA/W| B6TAega¢1b/®PCTAepf/2@k´na{Gy|¤£¦PCTAegf`14=?@CM(G?Tg14B @µ´nf®TAB@LBG]a214/”wKT4=?5HGrP_1b5?@¬PLTAegf6/2@µ´naWGy|—a{V:…VdTA= aWB65HG]14B6PC@4…`wKT4=?M(/2@Cz4@L/ÃM6a214>A=]1bep5¯1b=?@o365?@CM³a2B5HG]@L14M(T4VªSc¹oJKX0XZ5R§kŽ«xU5?a2B>pTA3=Ueg@CG?[6T M 1bB 1b/2>ATA=HaWG?[6e5?a2e36/¢1bG?TA=ª[`1b5Fs®@C@LBaWepf/2@Leg@LBG?@LM”…1bB6M©`=?58GO@µ´nf®@C=?a2eg@LBG]14/`=?@C5?36/{G]5«14=?@¯5H[6TƒwiB aWB}G][6aW5¯f`14ft@L=L…`@bŽ‹>Ž­VdT4=i1gJO36s6s6/W@L5?T4=HGU5?TA=8G]aWB6>Ÿ14/2>4TA=?a{G][6e(Ž Ä ÅÃƗÇFÈFÉEÊ'Ë'̯ÇFÍLÉgÆ ¯± [6@PCa2=?PC36aWG¬M6@C5?aW>ABÎTAB·1 [6aW>A[”…Y14/2>AT4=?aWG?[6e7yB6@L14=Z/2@kzA@C/OT4Ï®@L=H5¨G?[6@pM@L5?aW>AB6@C=¨zb14=?aWTA365o365H@CVd36/«Vd@_1bG?36=?@C5L… /2a2Qb@i@4Ž>6Žª5?[TA=HGOM6@L5Ha2>ABŸG]@C=?eg5L…=?@C365?@rT4V”PCTAegf6/2@µ´ŸepT M636/W@L5C…a2B6M6@Cf®@CB6M6@CB6PL@rT4VA@L5rPLTABGR1ba2BNG?[6@=Ha25?Q—G?[`1bGUG][6@¨M6@L5Ha2>AB@L=rwOTA=HQ 5 a2B`14PCPL36=?1bG]@C/W|4…tTƒz4@L=?/WTnT4Q 5U5?T4ep@¬epaWB6TA=¯M6@kGR14aW/25i14BM G][@L=?@kVdTA=?@¨M6@L5HPL=Ha2st@L5Z1V¦1436/{Gy|(14/2>4TA=?a{G][6e(Ž­±¯[`1bGra25 wi[|NG][6@²G]145?Q T4V«f6=?Tƒz a2B6>—G?[6@PLT4=?=?@CPCG?B6@L5H5¬TbVK1bBÑ1b/2>ATA=HaWG?[6e °5UM6@L5Ha2>AB'aW501zA@C=H|'aWepftTA=HG]14BGZ5H36s ÒH@LPkG_Ž JK3G²ÓHPLTA=H=?@CPCG]B@L5?5HÔep@L14B65O[6@L=H@}ÓHPCTA=?=H@L5?ftTAB6M@LB6PC@jwiaWG?[pG][@jM6@C5?a2>4B6@L=C°‹5Oa2BG]@CBG?a2TAB5?Ô²1bB6MpG?[6@L5H@Za2BG]@CBn7 G]a2T4B650P_14BÑ[`14=HM6/W|'st@Ÿ=?@CPLTA>ABa2ÕL@CM £d@k´nPL@CfGwia{G][¤G][6@Ÿ[6@C/2fT4V¯1bB6T4G][@L=0VdTA=?ep14/ª=H@Lf6=H@L5H@LBGR1bG?a2TABÑT4V«G][6@ 14/2>AT4=?aWG?[6e&G][`1bGUep1_|}s®@0V¦143/WGy|—G?TnT§µŽKžU@Cz4@L=HG?[6@L/W@L5H5Z5?TAeg@os`145Ha2Pof6=?T4f®@C=HG]aW@L5iT4Vª14BN1b/2>ATA=HaWG?[6eÖPL14B(s®@ @k´14ega2B6@CM(G?Tp>A@kGr14BNaWepf6=H@L5H5?a2T4B(TbVªaWG?5iPLTA=H=?@LPkG]B6@C5?5C…®VdTA=¯aWB65HG]14B6PL@b×K=H@_14PR[`1bs6a2/WaWGy|—TbVª5HG?@Lf65C…®T PLPC36=?@CB6PL@ T4V~M@_14M6/WTnPRQ5ia2BE/WTnTAf5L…6ftTA5?5Ha2s6/W@Zzb14/236@C5¯T4VY5?a2>4B`14/25i1’Gi@_14PR[(5HG?@LfN@kG]PbŽ q®ŽØ aWB`1bG?TZ5?[6TƒwO@LMŸa2B}Ù ’Ú G][`1’Gª5?@kzA@C=]14/14/W>ATA=HaWG][ep5ÃP_1bBs®@cM@L5?PC=?aWs®@CM365?aWB6>0s6a2B614=H|¬M6@CPLa25Ha2TABM6a¢14>4=]14eg5 £¸JcX0XZ5]§kŽE¶ÛaWG][G][6aW5M6@C5?PC=?a2fnG]a2T4BÑG][@—@LÐ36a{z41b/2@LBPL@TbVcGywKT¤1b/2>ATA=HaWG?[6ep5g£dTAB6@gG]T³st@pG?@L5HG?@LM¡14BMÎTAB6@ G][`1bGiaW5¯QB6TƒwiB G]Tst@oPLTA=H=?@CPCGµ§cPL14BEs®@of6=HTœz4@LB TA=¯=?@kVd3G]@CM”܏1e1œÒHT4=cf6=?T4s6/2@CeÝT4VÞG][6aW5¯ep@kG][6T MEa25cG?[`1bG 5?TAeg@Ÿ@LB6M6/W@L5H5/2T TAf650PL14B6B6TbGst@ŸM6@CG?@LPCG?@LM”Ž(¹jG?[6@L=oeg@CG][TnM65¨14=H@gs6145?@CM·TABÑf6=?T T4Vd5oT4VKG?[6@LT4=?@Leg5os63G T4VßG]@CBEG?[6@C|EB@L@LM 365?@C=L°5r5Hf®@CPLa214/”QB6Tƒwi/2@CM6>A@oG]TwKT4=?Q—f6=HTAft@L=?/{|£¦@bŽF>6Ž­5?@C@ÙŠ Ú 14BM·Ù €bÚ §kŽ

hjB6T4G?[6@L=owK1ƒ|¤TbV¯14B`1b/W| 5?aW5¬aW5ZG][6@g5H| e²stTA/Wa2P5?aWe²36/21bG]aWTAB³G][`1’G¨aW5o5HG]aW/2/F1bf6f6/2aW@LM'G]T(PLT4e²s6a2B61bG]aWTAB`14/YPLa2=:7 PL36a{G]5LŽ l GZe1_|N14/25HT—s®@f®@C=HVdTA=Hep@CM³5HG?@Lfn7ms|7m5HG]@CfÑT4B'5?@LÐ36@CBG]a¢1b/ªPLaW=?PL3aWG]5²£dG?[`1bG0PCTABGR14aWB³/2T TAf65]§kŽo¹ZB6@ a2egf®TA=8GR14BG0Ma gPL36/{Gy|¤a250G][@pPCTAepf/2@k´na{Gy|³T4VOG][6@g=?@Cf6=?@C5?@LBG]1bG]aWTAB·T4VK5?@kG]5TbVKzb14/23@L5LŽphj5¬5?[6TƒwiBÎ/21bG]@C= B6T4G¯TAB/W|p/¢14=H>A@jzb14/23@Z5?@kG]5¯e²3658Gis®@058G]TA=H@LMEs63Gi@kzA@CB /214=?>A@r5?@kG]5iT4VÃzb14/236@ RÀ L¼ tÁ4¾¸¼‘À ºkŽYhj5cwO@L/2/®G][6@ 5H| 5HG?@Le e²3658GUs®@¬14s6/W@ZG]TŸ[`14BM6/2@ZG?[6@L5H@¨5H@CG]5U@ gPCa2@LBG?/W|AŽ ¶·@iwia2/W/65?[6Tƒw 1oep@kG][6T MŸVdTA=«G?[6@U=?@Lf=?@L5H@LBGR1’G]a2T4BT4V®G][6@C5?@j5H@CG?5Ks|Ÿ365?aWB6>=H@LM63PL@LMTA=?M6@C=?@CMs6aWB`14=H|ŸM@k7 PLa25Ha2TABM6a¢14>4=]14eg50£¦S¯¹0JcX0XZ5R§µŽ­qnTg14B}@ gPCa2@LBGiPCTAepf/2@CG?@Z5H| e²stTA/Wa2Pj5Ha2e²3/¢1bG?a2TABgwia2/2/tst@LPLT4ep@ZftTA5H5?a2s/2@ VdTA=Zep14B|N5H@LÐ36@LBG?a¢14/­14/W>ATA=HaWG][ep5CŽoqn36PR[1—5?aWe²36/21bG]aWTAB³14/W/2Tƒwi5rG?TE14B`14/{| 5?@²ep14B|³T4VFG?[6@Ÿ14/W>ATA=?a{G][6e(°5 a2egf®TA=8GR14BGŸf6=HTAft@L=HG?a2@C5—145gep@CBG]a2T4B6@LM1bs®TƒzA@bŽÛ±¯[6@'14/W>ATA=?a{G][6eg5²G]TÑs®@(5?aWe²36/21bG]@CM14=H@NPCTAB65HG?=?36PkG]@CM wiaWG][¤1 ^ hjX 5H| 5HG?@Le wi[6aWPR['wc1450aWepf/2@Leg@LBG?@LM'14BMaW5jPC36=?=H@LBG]/{|'365?@CM¤s| G][6@aWB6M63658G]=8|AŽ¬±¯[6@C|'M@k7 5?PL=Ha2st@}a2BG]@C>A=]1’G]@LM¡PCa2=?PC36aWG?5G][61bGg14=?@365?@CM 145 ^ PLTAegf®T4B6@LBG]5g1bGG][6@Ea2BM6365HG?=?a214/ ^ f6=?T M636PkG]a2T4B”Ž „ 3=HG][@L=?egTA=H@ZwK@0wia2/W/”f6=H@L5?@CBGj5HTAep@0@µ´nf®@C=?a2eg@LBG]14/v=?@C5?36/{G]5LŽ È _Í Í_Æ ²È­Í


  













 









"!#%$'&)(+*+,-./0&12!3/#4!657,

„ T4=cG][6@0Vd36=8G][6@C=U3B6M6@L=H5HG]14B6M6aWB6>gwO@oM6@C©6B6@ L¼ tÁ4¿ ÂRºk¼ k¼‘À 4¼¦Á 4¿HÁ Ý£¦5?@C@pِ‰ Ú VdT4=¯epTA=H@0M6@CG]14a2/W5R§µŽ ™ ›6š  ˜ › šœ› s6aWB`14=8|ZM6@CPLa25Ha2TAB0Ma¢14>A=?14e ¯¼2ºKÁ 4¼ß¿] k¾: ¿RÀƒÀ’¾y }Á ¼ 4¿HÁ `» F¼ß¾d»(¾ß»`­½_À 2À F¼ t¿]À `Âk¿µ¾¦¼‘ÂRº Á R»—¾yÂk¿ ¼ tÁ ;

@?

A

4]^>_

gl

a`cb d"dfe

;

g

W;

n

1ucvxw

yu{z|w



AM;

}l

†`‡„ˆg‰‹Šˆ

i

~

}l

M; h? 

A

¦’

AM;

”4• š { • £ ¤c¥

Fj

‘

ts W;km

“’

Fj



A



h l



; 

k



AM;f„ŒŽ=4e

›š •œ”4• š •2ž}Ÿ¡ {žf¢

W;

AjQ

S

i€|g

:€™r

~ Ajj W;

b d"d¬;

o

ISKMG[BDI %\

 Ajj W; :

o

I

jj m

; ˜„

b d"d

BZC

=

M

4ƒ

” • – 4

o

@Y

ILKMGONQPSRUTWVXISG

:9A=?14e(תa2B6PC=?@Cep@CBG¯G?[6@0zb14=?a214s6/2@ ’Á4¿ 0145¯/WTAB6>Ÿ145cG?[6@oa2B6f3G$#&%('*),+Oa25¯@CÐ3`14/ G]T  Ž l V-#&%.'/)/+KaW5¯@LÐ3`14/vG?T ‚ G?[6@LB(=?@C5?@CGUG][@¬58| 5HG]@Ce Ž hj5(ep@CBG?a2TAB@LM s®@kVdTA=?@ ^ XZ± wK145NaWepf6/W@Leg@LBG]@CM 1bG 1 ^ f6=HTnM63PLa2B> PCTAepf614B| 14B6M$aW5E365?@CM$VdTA= M6@L5Ha2>AB6aWB6>oa2BG]@C>A=]1’G]@LMŸPCa2=?PC36aWG?5LŽ l GOaW5ªG][6@i©`=H5HG­G]T TA/G?T¬st@i365?@CMaWBŸG?[6@iM6@L5Ha2>ABp14B6MŸf6=HTnM36PCG?a2TABŸf6=HTnPC@L5?5 14B6M·G?[6@TAB@G][`1’GB6@C@LM65²G?[6@egTA58G²365H@L=²aWBG?@L=?14PCG?a2TABÑ5?T³a{GaW51 z4@L=8|·aWepftTA=HG]14BG¬f6=?TA>4=]14e(Ž l BÑG][6@ epaWM6M6/2@0G?@L=?e TA36=UwKT4=?Q³1ba2eg5j1bGrG][6@¨M6@Cz4@L/WTAf6eg@LBGoT4V­14B¤1b/2>ATA=HaWG?[6e 5?aWe²36/21bG]TA=¯wi[6aWPR['a25ra2BG]@C>A=]1bG?@LM a2B ^ XZ±14BM(aWBVdTA=Hep5KG?[6@oM6@L5Ha2>AB@L=iTAB6/Wa2B6@o14stTA3GiftTA5H5?a2s/2@0M6@C5?a2>4B(@C=?=HTA=?5C…`=?@LM36B6M`14BGr5HG?@Lf65U@CG?P4Ž 0 12 3·É _Í_Ì 4 5'È 0Æ—Ç ¨ÇªÍLÉgÆ ~’

v

[

›

6

˜





J

7 98 (

"#4(+,-(…f·-!H·42.f

;: .

µ

;:=
A@ B7DC

!6¿ "(+,

$



&)&½,

¹0B@ep14aWB f=?TAs6/W@Le wia{G][G][@Ñ58|nes®TA/Wa2P'5Ha2e²36/21bG]aWTAB T4V²14B 14/2>AT4=?aWG?[6e a25—G][@ÑPCTAepf/2@k´na{Gy| T4V¨G][6@ =?@Lf=?@L5H@LBGR1’G]a2T4BT4VA@C=¬zb14/W36@L5¨T4Vi1N5Ha2>AB`1b/O1b=?@ =?@Lf=?@L5H@LBG]@CM³s|E1Ÿs®T TA/2@L14B—Vd36B6PkG]aWTAB 'aWB}G][6@0VdTA/W/2Tƒwia2B6>¨wc1_|t× ™   š ˜ ™_›™  ™œ˜  '– šb˜–  ˜  Âk¾ kÂiÁ0º kºƒÂk¾FÀ:½ ¾d»` tÁ4¾ ¿?Á kÂk¿]ºUÁ  Á  "! 2Âk¾ $#&% kÂrÁ tÁ4¾ n¿HÁ kÂk¿UÁ ' $# kÂi¾ß»`¯ºLÁ Â kÂk¿ ¼ L¼ tÁ4¿ U½_À’¿ :Á RÀ 4¼ Ÿº R»` gÁ ”»` N¾d»`­½_À 2À F¼ Ÿ»`À ’º ¿] t¿RÂRºƒÂ `¾ß(º  )+*  $#,%  .- ' $# 0/ )F£ 21§  š

BDCFEHGJI ˜



 

ILKMG

S€

QPSRUT 8C

Aj44€h

:9

C

ChG

AM;

ILKxGK

‚±/b d"d

:0` A49Z ; h? }l

@

i

i

—´rC rj

ieA–

]

K

”

‰

6

i

~

”

jj m ‰

C

S€

h?

rY

Aj44€h

AM;

”

jª; n

”

^

8²VXBDB

‰

=š

‰ 8

½

i€-

A

4€h

q TAep@0ep1œÒHTA=i1bMzb14BGR14>A@C5iT4VYG?[6a25cwK1_|ET4VYM6@L5HPL=?aWfG]aWTAB(14=?@b× „ TA=PCTAepf/2@CG?@zb14/23@5?@kG]5Ÿ[6TA/WM65L× 1  Ž±¯[@ES¯¹0JcX0X VdTA=¨G?[6a25Vd3B6PCG?a2TAB PCTAB65?aW5HG?5T4ViTAB6@ G]@C=?ega2B`14/®B6T M6@oTAB6/W|4Ž ±¯[6@oVd36B6PCG?a2TAB5U=H@Lf6=H@L5H@LBG]aWB6>5He14/W/F£dTA=iB6@_14=H/W|}PCTAegf6/2@kG]@ƒ§K5H@CG?5rPCTABGR14aWB(Vd@kwega2BG?@L=?eg5¬£¦T4=cG][6@ B6@L>A1bG]aWTAB}T4VÞVd@Cw ega2BG]@C=?eg5R§µŽFS¯¹0JcX0XZ5cVdTA=cG?[6@L5H@¬Vd36BPCG]aWTAB65i14=H@¬14/25HTg5He1b/2/‘Ž ±¯[6@¯36B6aWTAB(£¸1bB6M²G][6@Ka2BG]@C=?5?@CPCG?a2TAB§~TbV`GywKTo5?@kG]5­T4V`zb14/W36@L5ª=H@Lf6=H@L5H@LBG]@CMs|S¯¹0JcX0XZ5~P_14Bst@¯P_14/“7 PL36/21bG]@CMps|Ÿ365Ha2B6>¨@ gPLaW@LBGKS¯¹0JcX0X 58GR14BM`14=?MgVd36B6PkG]a2T4B65Z£¸¹0S¯7Y14BMhZžrXr7y58|nBG?[6@L5Ha25R§µŽFhjM6Ma2B6> 1²z41b/236@ZG?TgT4=U=H@LegTƒznaWB6>aWG¯Vd=HTAe 15H@CGra25i14/W5?TM6TAB@owia{G][(5HG]14B6M`14=HM(Vd3B6PCG?a2TAB65CŽ XZ@CG?@L=?ega2Ba2B6>wi[@CG][@L=r1zb14/W36@0st@L/2T4B6>A5cG]Tp15?@kGraW5¯@_1458|(14B6M([`145i1Ÿ/2Tƒw PLTAegf6/2@µ´naWGy|AŽ ØN14B|¤TAft@L=?1bG]aWTAB65p£¦PCTAepf614=]1bG?aWz4@4…Þ14=?a{G][6eg@CG?a2Pb…v/2TA>AaWP_14/¢§UPL14B·st@Ÿa2egf6/2@Cep@CBG?@LM¤@_1b5?a2/{|¤14B6M@ 7 PLaW@LBG]/{|VdTA=Fzb14/23@¯5?@CG?5KM6@C5?PC=?a2st@LMgs|gS¯¹0JcX0XZ5LŽ~±¯[6a25Fwia2/W/st@r5H[6TƒwiBaWBŸG?[6@iVdTA/2/WTœwiaWB6>Z5H@LPCG?a2TAB5LŽ ¶ÛaWG][g10/2a{G?G?/2@KegT M6aW©`PL1bG]aWTAB¨G?[6a25Feg@CG?[6T MgPL14Bgs®@i@k´ G?@LB6M6@CMpVd=HTAe!G?[6@i=?@Lf=?@L5H@LBGR1’G]a2T4BpT4Vtzb14/23@L5FT4V®TAB6@ 5?a2>4B`14/G?ToG?[6@i=?@Cf6=?@C5?@LBG]1bG]aWTABT4Vtzb14/23@¯PLTAe²sa2B`1bG?a2TAB5~VdTA=­5?@kzA@L=?14/5?aW>AB`14/W5LŽ „ TA=ªG?[6a25Ff36=?ftTA5?@rS¯¹0JcX0X z41b=?a¢1bs6/2@C514=H@M6@k©`B6@CMÎVdTA=1b/2/­s6aWG?5T4V¯14/2/­5?aW>AB`14/W5¬G?[`1bGTnPCPL36=¨a2BÑG?[6@}14/W>ATA=HaWG][e ŽEq T³@_14PR[ 5Ha2>AB614/­a25 M6@L5HPL=?aWs®@CM s|Ea{G]5¯TƒwiB 5H@CGUT4VªS¯¹0JcX0Xz41b=?a¢1bs6/2@C5L…G?[6@L5H@¬5H@CG?5re²35HGUs®@oM6aW5dÒH36BPCG_Ž­±¯[6@CB T4B6@oepaWBG?@L=He T4VYG?[6@¬S¯¹0JcX0X M6@C5?PC=?a2st@L5izb14/23@L5cVdTA=¯@L14PR[N5Ha2>AB`1b/­£¦aWB(TbG][6@C=cwKTA=HM65L×O1PLTAes6a2B`1’G]a2T4B}T4VYzb14/W36@L5]§kŽ ¹ZVOPLT436=?5H@gG?[6a250Qa2BMÑT4VO=?@Cf6=?@C5?@CBG]1bG]aWTAB·PL14Bs®@Ÿ365H@LMÑVdT4=0B 3ep@C=?a2PL14/~zb14/W36@L5¬1450wO@L/2/­1b5oVdT4=0s®T TA/2@L14B z41b/236@C5LŽ l GgaW5p1b/25?TÑ14f6f/2a2PL14s6/W@G]TM6aWÏ®@L=H@LBGpB 3ep@C=?a2PL14/c@CB6PLT M6a2B>A5p/Wa2Qb@EG?[6@Es6a2B614=H| 58| 5HG]@Ce …cG?[6@ ‡œ7 PLTAegf6/2@Cep@CBG_…G?[6@¨†o=?1ƒ|PLT M6@o@CG?P4Ž AB6aW©6P_14BG—saWG£d/2@_1b5HG 5?a2>4B6aW©`PL14BGsaWGµ§µ…~=H@Lf6=H@L5?@CBG]@LM¡s| # £ §kŽ(±¯[6@5H[6aWVßG /2@kVßGH7mVd3B6PCG?a2TAB£¦5H[6aWVßG =?aW>A[GH7mVd3B6PCG?a2TAB§Z5H@CG]5¨G][6@ /2@_1b5HG­5?aW>AB6a{©`P_14BG­s6a{Gr£¦egTA5HGª5?a2>4B6aW©`PL14BG­s6aWGR§YG]T ‚ Ž „ TA=YG][6@i@L58G]aWe1bG?a2TABTbV®G?[6@¯Vd36B6PCG?a2TAB5L°APCTAepf/2@k´na{G]a2@C5 wK@¬B6@L@CM(G?[6@0VdTA/2/WTƒwia2B6>GywOTgM6@C©`BaWG]aWTAB65C× ™ š š  4™  š  ›6š ›6– ˜ ”»`ÂÃTA=HM6@L=:7mVd36B6PkG]aWTAB % t£  §F¿RÂk¾ ¿ º ¾d»` `Àƒºk¼ß¾¦¼‘À ÑÀ:½¬Á  º ’Á4¿µ¼¦Á 2 ¯¼ '¾d»` ’Á4¿k¼¦Á 2ÂÀ’¿ Âk¿²À:½0¾ß»` ™  ›n™  šœ› š š   ›6š ›6– ˜ ”»` ’Á4¿µ¼¦Á 2ÂRºgÀ:½gÁ  Á4¿R ¼ —B`1bG?36=]14/vT4=?M6@C= «¼ $½ % t£ d§  »`À ’ºª½_À’¿Â?Á R» ’Á4¿µ¼¦Á 2 BDCFEHGJI

ILKMG

QP OT 8K

CF³

j

JG

^

ILKMG

j

cš­

”

  

”

œ

š­

”

ª?

cš­

”

  

”

œ

š­

”

l

BDCFEHGJI 

”

”

  

” ”





ª?

”

BDCFEHGJI

  

ILKMG



ILKMG

QPqT:² A



C

³

QP"!OT i«

JG

‚±/bfd"d

#



”

‰

ILKxG

’



²



œ

”

{K

Fj

C

K

jª;

”

8²VXBDB²PCa2=?PC36eg5HGR1bB6PL@C5rep1_|—st@¬>4aWzA@CB”× ±¯[6@zb14/W36@p5H@CG?5²T4V¯5HTAep@p5?aW>AB`14/W514=H@PCTnM6@CMÎa2BG][6@S¯¹0JcX0X ŸŽ =?@Cf6=?@C5?@CBG?5G][6@ps®T TA/2@L14B Vd36B6PkG]a2T4B ~Ž 
a25G?[6@E5?a2>4B`14/cwi[6TA5H@Ns6a{Ggf`1bG?G?@L=HB aW5ŸG?TÑst@(epTƒzA@CM”Ž l Gpa25ŸM6@C5?PL=Ha2st@LM s| G?[6@ S¯¹0JcX0Xr7 zb14=?a214s6/2@C5 OG]T  Ž Oa25cG][@¬/W@_1458GU5?a2>4B6aW©`PL14BG¯s6a{G_… ²G?[6@oepT45HGi5?aW>AB6a{©`P_14BGLŽ ±¯[6@Zzb14=?a214s6/W@L5  G]T  14=H@ZB`1bG?36=]14/W/W|gTA=HM6@L=H@LM”ŽF±¯[6@k|VdTA=HeÝ1²PC/2TA5H@LM}s6/WTnPRQŽ­q T²G][6@ZftTA5HaWG]aWTAB T4V~1zb14=Ha¢14s/2@ZPCTA=?=H@L5?ftTAB6M5UG?Tga{G]5¯5Ha2>AB6a{©`P_1bB6PL@bŽ ¯

o

¯

š­

„

o





‰

”

”

o

‰

‰

”

‰

”

‰

”

‰

”

žrTƒw$G?[6@o5?[6a{VßG 2/ @kVßGH7‘Vd36B6PCG?a2TABP_14B(s®@o=H@_14/Wa2ÕL@CM(145¯VdTA/2/WTœwi5C× 

¼ p¾d»`   «¾ß»Á4¾ ÂRº k¿µ¼ kÂRºo¾ß»`­½ k¾¸¼‘À  

 

½  ¾d»Á4¾KÁ4¿] gÁ4¿  F¼ß¾d» Á ’Á4¿µ¼¦Á 2ÂF½µ¿]À o¾:À     ÀƒÀ ÎÀ 4Âk¿¨Á A@C50G][6aW50TA=?M6@C=p£ G?=]1_zA@C/250Vd=?T4e G][@/¢1458Gof®TA5HaWG?a2TABNG?T}G][6@ ©`=?58GftTA5?a{G]a2T4B§kŽ qnT Ne²3658G²st@egTƒzA@LM s614PRQÑG?[6=?TA3>A[ )  /W@CzA@C/25CÜ«G?[`1bG²aW5¨ftTA5H5?a2s/2@pwia{G][ Ð3`14M6=?1bG]aWP0PLTAegf6/2@µ´naWGy|—aWB  ®£¦5?@C@pÙ LÚ §kŽ ¯

o

„





¯

o

¯

o

” ‰

”

‰

¯

¯± [6@L=H@CVdTA=H@¬G?[6@o=?T4G]1bG]@ =?aW>A[GH7mVd3B6PCG?a2TAB”°5¯PLT4epf6/W@k´naWGy|a25¯Ð3`14M=]1bG?a2P0a2B}G?[6@o5?a2ÕC@oT4VYG?[6@o>AaWz4@LB(S¯¹0JcX0X²Ž hj/WG?TA>A@kG][6@C=ŸwO@N5H[6TƒwK@CM G][`1’GgG?[6@ GywOT·aWepftTA=8GR14BGVd36B6PkG]aWTAB65}ºR» ¼ ½µ¾i14B6M$¿]À’¾‘Á4¾:Â[`1_zA@'1¤f®T4/W| B6TAega¢14/ £¦egTA=?@r@k´14PCGL×FÐ3`14M6=?1bG]aWPƒ§«PCTAegf6/2@µ´a{Gy|ŸaWVÞ14ff6/2aW@LMT4Bzb14/236@r5?@kG]5i145OM6@L5HPL=?aWs®@CM}a2BEq @LPCG?a2TAB—‰Ž  ŽF±¯[6a25Oa25 1ŸPC/2@L14=i14Mzb14BGR1b>A@0T4VYTA36=iep@kG][6T M}TƒzA@C=rT4G?[6@L=H5i/2a2Qb@0365?aWB6>wKT4=?M(/2@Cz4@L/vM6a214>A=?14ep5OVdTA=KG][@¬=H@Lf6=H@L5H@LBGR1’7 G]a2T4B(TbVYzb14/W36@05?@kG]5r145iM6@L5HPL=?aWs®@CMNaWB·Ù Ú …6VdTA=¯a2B5HGR1bB6PL@p£dG?[6@0wKT4=?5HGrP_1b5?@¬PLTAegf6/2@µ´naWGy|—TbV~stT4G][EVd36B6PkG]aWTAB65 a25¯@k´nftTAB6@CBG?a¢14/”VdT4=cG][6@o/¢1’G?G]@C=¯ep@kG][6T M§µŽ 


˜C™œ˜ C

„ T4=YG]@C5HG?a2B6>jG?[6@c=H@L5?3/WG]5FTbV®qn@LPkG]a2T4BŸ‰Ž ‡Ua2B²=H@_14/WaWGy|owK@Ka2egf6/2@Cep@CBG?@LM1 ^ XZ±K7 „ q6ØÝaWBwi[6aWPR[Ÿ1ZPLTAB658GR14BG z41b/236@¨a25Z1b5?5?aW>AB6@CM³G]T}1zb14=Ha¢14s6/W@4Žr±¯[6@LB'G][@zb14=?a214s6/2@b°‹5UPLT4BG?@LBG]5oaW5j5?[aWVßG]@CM¡£¦T4=Z=?T4G]1bG]@CM§i©VßGy| G?a2eg@L5 £¦5?@C@1b/25?Tgq @LPCG?a2TAB §µŽ ±¯[6@ ^ xrX0X f`14PRQ’14>A@(zA@C=?5?aWTABۇnŽ‹‰Ž ‚ s| „ ŽOqnTAeg@LB6ÕCaia25g365?@CM VdTA=G][6@ PLTAB658G]=H36PCG?a2TAB1bB6M[`1bB6M6/2aWB6> T4VcG][@S¯¹0JcX0XZ5£¦5H@L@³Ù ƒ‚œÚ §µŽ(¹ZB 1 ^ £ Y@LBG?a236e7 ^ ­x¨…~‡  ØN¥UÕ4…  ‡bˆNØNJSUhZØх ^ |n>4B 35J¯‡ ‚ @LBz a2=?T4B6ep@CBGµ§KG][6@0VdTA/W/2Tƒwia2B>²=?36BB6a2B6>G?a2eg@L5cPL14B st@oTAs65H@L=Hz4@LM”× zb14=Ha¢14s6/W@L5C°wia2MG?[ G?a2eg@²¿]À’¾mÁ4¾y ¿k¼ ’» ¾ G]aWep@¬ºR» ¼ ½µ¾ 2Âd½µ¾ 5?aWÕL@oT4V~S¯¹0JcX0X Ù saWG]5 Ú Ù 5?@LPCTAB6M65 Ú Ù 5?@CPLTABM65 Ú Ù B6T M6@L5 Ú ‰A‡ ‰€ ‚ Ž‹‰ ‚ Ž‡ Ž Ž ‰ ŠnŽ Ž €  ‡bˆ  ‰Š ‡AŠ ‡ € Ž‚ ‡ A‰ ƒ€ Ž ‚ ¶·@(5?@C@ G][61bGg@CzA@CBVdTA=Ÿ/¢1b=?>A@}zb14=?a214s6/W@L5L°Ywia2MG?[65gG?[6@ 14/2>AT4=?aWG?[6e P_14B s®@(5?aWe²36/¢1’G]@LM¡@ pPCa2@CBG?/W|4Ž hj5 @k´nf®@CPCG?@LMG][6@O5?aWe²36/¢1’G]a2T4B¬TbV`G][6@O5?[6a{VßGH7mVd3B6PCG?a2TABoGR14Qb@L5F/WTAB6>A@C=ÞG?a2eg@­G?[`14BG?[`1bGYVdTA=ÞG?[6@c=HT4GR1bG?@k7‘Vd36B6PCG?a2TAB—T4V«G][@²z41b=?a¢1bs6/2@C5L°®wiaWMG][ £ßG][`1bGoeg@_1bB65ZG][6@ŸM6T436s6/2aWB6>—T4V«G][@5?a2ÕC@ŸT4V­G][6@ S¯¹0JcX0X G?[`1bGO=?@Lf=?@L5H@LBG]5OG][6@izb14=?a214s6/2@C5L°Azb14/W36@L5C… G?TnT§ªPL14365?@C5OG?[6@jÐ3`14M=?36s6/Wa2B6>¬T4V®G][6@U=?36BB6a2B6>¬G]aWep@bŽ ±¯[6a25iPLT4B©`=?eg5cG][@¬PCTAegf6/2@µ´a{Gy|—f6=HTnTbV~T4Vªqn@CPCG]aWTAB(‰Ž ‡nŽ ¹Zz4@L=?14/2/¸…TA36=¯wK1_|ET4V~5Ha2e²3/¢1bG?a2TABpP_14B([`14B6M/2@0G][6@o5H[6aWVßG87«14B6M(=?T4G]1bG]@µ7mVd36BPCG]aWTAB65cz4@L=H|E@ gPLa2@CBG]/W|4Ž  1EÍ Ë ¬ÇFÍLÉgÆ ÈFÉEÌ 0Ê'Ë'È hj5«ep@CBG?a2TAB@LMgs®@kVdTA=?@¯G][@r5Ha2e²36/21bG]aWTAB²aW5«ft@L=8VdTA=?eg@LMg5HG?@Lfn7ms|7m5HG?@Lf”Ž „ TA=­@_14PR[p5HG?@Lf UT4VAT4=?aWG?[6e G][6@C=?@E@k´naW5HG]5ŸTAB@ES¯¹0JcX0X ¨G?[`1bGŸM6@C5?PC=?a2st@L5G?[6@EPLTAe²sa2B`1bG?a2TAB·T4VU5?a2>4B`14/Kzb14/W36@L5²G?[`1bG e1_|}T PLPC36=ia2B ŽOD­14PR[N5Ha2>AB614/”a25i=H@Lf6=H@L5?@CBG]@LM's|Ea{G]5iTƒwiB 5H@CGrT4VFS¯¹0JcX0X zb14=?a214s6/W@L5LŽ­±¯[6@C=?@kVdTA=?@¬TAB6@

S





ª?





j

 







i



i

>



˜



a¯

pe aWBG?@L=HeÝM6@C5?PL=Ha2st@L5iTAB6@oPCTAe²s6aWB`1bG]aWTAB}T4VY5?aW>AB`14/AB`14/W5R§kŽ qna2e²3/¢1bG?a2B6>¬5HG?@Lf…nG][6@oS¯¹0JcX0XZ5OVdTA=KG][@05?36PCPL@L@CM6a2B>p58G]@LfÑ£dTA=c5HG?@Lf65]§cT4V ¨14=H@0s636a2/{GcPCTA=?=H@L5?ftTAB6Ma2B6> G]TG][6@0Vd36BPCG]aWTABET4V Ž „ TA=caWB65HG]14B6PC@¬/WTnT4Q—1bG¯G?[6@0VdTA/2/WTœwiaWB6>14/W>ATA=HaWG][e × ¿]ÂRºƒÂk¾  ¼ ½ m¼ E Ÿ¾ß»` À’¾:À   ºƒÂ À’¾:À   ¼   ¼   ¼ n¾«¼ v



vFv v

` 

v



v v



zge



AlM€



iD?

°‹5iM6@Cf®@CB6M6@LBPL@²TABEG][@L5?@ozb14=?a214s6/W@L5LŽ«žUTœw$G][6@ z41b/236@0PCTAe²s6aWB`1bG]aWTAB65cTbVYG?[6@oT4G][6@C=i5?a2>4B`14/25Ke1_|—T PLPC36=¯G]TA>4@CG][@L=¯wiaWG?[(@L14PR[NftTA5H5?a2s/2@Zzb14/23@0T4VK¼ 4Ž ±¯[6@r5Ha2e²3/¢1bG?a2TAB²=H36B65­Vd36/2/{|²1b3G]TAep1bG?a2P_1b/2/W|¨14BMpf6=HTƒznaWM6@L5­G][@U35?@L=­wiaWG?[pep14B|aWBVdTA=?ep1bG?a2TAB65ÞG][`1’GK1b=?@ zA@L=8|E365?@kVd36/vVdTA=i14B`1b/W| 5?aW5i14B6M}zA@C=?aW©6P_1bG?a2TABET4VÞG][6@o5Ha2e²36/21bG]@CM(14/2>AT4=?aWG?[6e(Ž „ TA=¯aWB65HG]14B6PL@b× h /2aW5HGiT4VY36B6=H@_14PR[`1bs6/2@o5HG?@Lf65Ua25¯>4@LB6@C=]1bG?@LM”Ž „ TA=¯@_14PR[(5HG?@LfEG][6@oftTA5?5Ha2s6/W@05?aW>AB`14/