Formalization of Cadence SPW Fixed-Point Arithmetic in HOL Behzad

1 downloads 0 Views 345KB Size Report
O f ten , the architec- tural style w ith w hich these ..... Round ¦ default ¨ : The bloc k uses the nearest representable v alue on either side o f the original v alue.
  

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

1 23 

 46587 9:=@?BAC'DEF?HGJILKBM>G@NOPKHQS:@R T>:VUW?B;3?XG@N>CELA>::[G\':[DPAK*M>D ]^`_badcfehgiajk^ljkmonqpsrJtWu[vwcf_eF]PmwxJgimw__eygzmwx|{}_u[j~eyc&t_bm€c psrJmoadrkehnogij}mog`‚k_eyƒ&gic…„k†[‡qrJm€cfe&_bjk^ˆ†@p>jkmojknoj ‰lŠ‹bŒŽH‘ ’”“h•J–h‹ —w˜k™š‹b•€‹œ›h˜k‹œ—J“yk—kžœŸ€” b¡P“h¢y“œ£ ¢&žœ¤”¢&žœ›š—kŒ¥‹J£ ¢y‹ ¦¨§©}ª¬«¬­~©¯®,°²±³§´¶µq·>¸ ¹ ºH»¼ ½ ¾o¿J¼ ÀÁmÂc&Ãogzƒ2ey_u@rkeyc}Äs_uoe&rkuÅrJƒf_|c&Ãw_ƐrkeytWjk^ig`Çbj~c&girJmÈgim)Ã[g`xJÃw_efɈrkeyno_eL^irkxJgia|rkÆÊwËÌ_bnÌɈuÅrJgim”c}j~eygic&ÃÌÉ t_c&giaFÍ[jkƒf_bnrJmÎc&Ãw_ÏÌÐ0Ñ ÒˆÏwg`xJmojk^[Ðe&rÌad_bƒ&ƒ&gimwxÑÈrke&ÓwÏ̄ԃfcf_bt ÕÖcfrÔrJ^Ø×ÖÑÈ_}_bmoadrÔno_bnÎc&Ãw_2ÊwËÌ_bnÌÉ uÅrJgim€c}m”v[tÍÅ_eLƒf„Ôƒ&cf_btÙjkm[nƒ&u@_bagiÊo_bnc&Ãw_nog`Ú@_e&_bm”cFeyrJvomonogimoxÎtrÌnw_bƒLgimÊwËÌ_bnÌɈuÅrJgim”c2j~eygic&ÃÌÉ t_c&giaۃ&voayÃÂjkƒ}c&Ãw_nog`e&_badcf_bn)jkmonq_‚k_bmÂe&rJv[monogimwxWtWrÔnw_bƒb×3ÑÈ_jk^iƒfradrJm[ƒ&ginw_e&_bn)c&Ãw_ÛÆÜrkeytÎjk^¥É g`Çbj~c&g`rJmqrkÆÖ_dËÌad_uoc&girJmoƒFnw_cf_badc&girJm)jkmonqc&Ãw_bg`e}Ãojkmono^igzmwx|^zg`Ók_¯rœ‚k_eyÝorœÄ+jkmon)gim€‚~jk^igin,rkuÅ_eyj~c&girJmÞ× ß m_e&e&rke|jkmojk^`„̃&giƒgiƒc&Ãw_bmuÅ_e&Ɛrkeyt_bnScfrÂayÃw_bayÓc&Ãw_adrkeye&_badc&mw_bƒ&ƒÛrkÆ>c&Ãw_We&rJvom[nogimwxjkmoncfr ‚k_eyg`Ɛ„c&Ãw_Í[jkƒygiaÛj~ehg`c&Ãot_c&giaÛrkuÅ_eyj~c&g`rJmoƒb†ljknonog`c&g`rJml†ÅƒyvwÍocfeyjkadc&g`rJml†Åt|vo^`c&giu[^igiaj~c&g`rJm)jkmonSnog`‚Ìg¥É ƒ&g`rJmj~xJjkgzmoƒfcFc&Ão_bg`e2tWj~c&Ão_btWj~c&giajk^XadrJv[m€cf_e&uKJ8L+UsB_RUsBVsBJ8Lt`uLW>KHIJ“;~‰rJ H #B$U #>€B z"H ?`ŸƒDHI%J #IBJ8LW>KHIJ `uCR>K‡I>ALt` VW>€‡IJ `?_RUWHƒBDVWVW>€JR' ‡ &)(+*K‡I. J  H >€VŒCRB_KƒDLWBC¤>KJg=?>K‡ORUWS B ð0/ 2\ 143b ; 5PVWO `uK€x…L/ŠRB–ƒDHI6J HIUsQi`J€J8L0>KQh_R€BQhBJ8Lt`uLW>KHI7J N>AL/Š…UWBVs_1BDƒDLrL/H3LWŠR8B RH8`uL/>€JR‡uE _1HI>€J8L+VW_BƒD>  ƒ`uL/>€HIJX>€9V #BUW>  BC S8xgVW>KQaOR `uLW>KHIJšLWBƒtŠRJ dORB8 V NŠR>KƒtŠ£ƒ`JRJRHuLaƒDH #BUZL/ŠRB3BJ8L/>€UWBh>KJR_ROLYVs_ `ƒDBCRBVsƒUs>KSBC7S8. x  H8`4L/>KJKJ8L)UWBD_RUWBDVWBDJdL/`uL/>€HIJ(;3w+ŠRB3H;S :sBƒ‹L/ #BiH ~L/ŠK= V H>U m>KVŒLW H HUWQ3`K BaLWŠRB  @€JdLY`Us>€LWŠRQ3B‹L/>€ƒ >KJ ŠR>€‡IŠRBDU E HUWCRBDUZ€HI‡I>€ƒŸ`VZ`”SR`VW>€+ V HUŒƒtŠRB?ƒ d>KJK‡ŠRBU)KB #IBDy`K‡IHUW>€LWŠRQh>KƒaC€_€HIJRV+H @(+*KA J  H8`uLW>KJR‡4Ey`JRC  @BCE _HI>KJ8LNUWBD_RUWBDVWBDJdL/`uL/>€HIJRVDC ; B HIJ8LWU/`U xL/H L/ŠKJR‡4E _HI>KJ8L~`Us>€L/ŠKE ƒ NŠR>€ƒtŠ>KV VsLt`uJRC `UsCR> DBC¦>K J F ‚y‚~‚ GE 1Iˆ p /`ð ": 3“`JR7 C F ‚y‚y‚ EGv8ˆ p /`ð p 3HL/ŠRB  @BCE _HI>KJ8LŸ`uUW>€LWŠRQhBDL/>€ƒ3C€_€HIJ£CRBD_1BDJRCRVŸHIJ7LWŠRBiLWHHII B¦ORVWBiLWHšCRBDVW>K‡J£L/ŠRAB (+*J F &K(0>K‡I>ALt` *>€‡IJ `FUsHƒDBVWVsHI?U ,0ƒtŠR>€_(; ‚ @U d?V ,Q/ið13H!B RH B BJ8LWUW>K0 ƒ &H*dxJKBV U (0BDVW>K‡WJ ,X/ið 4v 3¥;¦= HIU)>€JE VsL/`JRƒDB f>KY J *€‡IJ `?FyUsHƒDBVsVW>KJU dV xV L/BD7 Q ,X/ \4[ 3)`  @BCE _1HI>€J8L)JOKV0CRB  JRBDC£`V)` SR>€J `Usx)V L/UsBž`Q `JRCa`rVsBDL"H #`uLWLWUW>€SROKS€JdLWBUs_RUWB‹L/BC ORVs>KJR‡–L/ŠRUsBBY`UW‡ORQ3BDJ8L/Z V HIU+L/ŠRB)L/HuLt`JdORQTSBUNH ?SR>€LW V  L/ŠKJ8L/BD‡IBUNSR>AL/VP`JRC L/ŠK‡IJ HIUsQi`uL;= HIU+`Us>€LWŠRQ3B‹L/>€ƒrHI_BUW`uL/>€HIJRV R>€L VWOR_R_HIU L/V+L/ŠRUsB+B d>KJRC\G_`^H] acbd HIe U \4fg hji9\4kNRlL HH #IBDU  H QhHCKPJ 3=?>A@BDCEGFHI>KJ8L o €H?ƒ dVWB‹L /ið143H  @€JdL)JdORQaS1BDUWVZ`UWBŸV L/HIUsBC >KJmCR`uLt`L x_1BDVŒL/Š `uLZ`uUWBŸƒtŠ `UW`ƒDLWBUs> BDC SdxXL/ŠRBD>KU HIUWChVW 8B &OR_–L/H ð \uv)S€L/SV , p` hq%ratsuv\4ajdvw)d`J€‡IJRBDC3HIUO€‡IJRBC“;w+ŠR+B h>q%rats uv\4ajdvw0>€VZO€J8L/B‡BUWV xUW`ƒDLW>KHIJR`KV f`JRC7‡BJRBDU/`€> BDC  @€JdLZC `4Lt`¦L x_BVD;w+ŠRB  `uLW `S o KH?ƒ dVWB‹L0_RUsH #>€CRB9V HIORUPUWHIORJKJR‡3Q3HCRBDV†ƒHUWUWBDVW_HIJRCR>€JR‡3LWH3LWŠRHIVWBaVWOR_R_HIU L/BCXSdn x *KHIJh`J€JR‡ZLWH)CRBž`v N>AL/Š–H #IB$U  H yHIU~`K @BCE _1HI>€J8LyC `uLt`ŒL x_1BDV; ‰†JKJ L/ŠKCRBDQU B `uCRBJRƒDn B *N F M /|\u"[ 3  @BCE _HI>KJ8Lh`Us>€L/ŠKƒiSRO€‡IŠRBDU E HUWCRBDU~€HI‡I>€ƒ IL/ŠKJ8L~JdORQTSBU~>KV~BJRƒDHCKUyƒDHIQ3_HIVsBCi"H `)S1HHIKB`J VsLWUWB` Q N`uJRC `¤LWUW>K_KJRCR>€ƒž`uLW>KJR‡mLWŠRBšVsLWUWB`Q €BJR‡uL/Š  LWŠRBX€BJR‡LWŠkH 0LWŠRBš>€JdLWB‡IBDUi_HIUsLW>KHIJ!`JRC L/ŠK‡I€ J HUWQ3`uLž;¤w+ŠRB J A B HIUsQi`€> DB3L/ŠKJ8‚ L dO `uJdLW> `uL/>€HIJi`uJRCƒHUWUWBDƒDLWJRBVsV H (LWŠRB†S `uVW>KƒPHI_BUW`uL/>€HIJRVyK B :

Floating-Point Algorithm

No OK?

Yes Quantization

Fixed-Point

Algorithmic-Level

Floating-Point

Idea

Fixed-Point Algorithm

No OK?

Yes

Implementational-Level

Code Generation

Architectural Description

No OK?

Yes Target System

=?>€‡IORUsB,ðI(+*€‡IJ”=?KH ` CRC€L/>€HIJ#QTORAL/>€_RK>€ƒž`uLW>KHIJR`JRCšCR>c#>KVW>€HIJ(;Pw+ŠRBTŠR>€‡IŠRBDU E HUWCRBDUr€HI‡I>Kƒ=HIUsQi`uK>`uL/>€HIJ”`JRCš_  BDC¦_ `U L/V H L/ŠKJ @`JKJ€JR‡uE _HI>€JdL JdORQTSBUWVD; „†`UsUW>€VWHIJ/ {"3 CRB  JRBCh`JRC8 HIUWQ3`K>KS€L VWORƒDƒBVsV OR€€xLWe H #IBDUW -x3L/ŠR B ZˆaV OR`UWB)UWHH L R`JRC¦LWŠRBŒ‰ L/ŠR€HIJ¦QTORAL/>€_RK>€ƒž`uLW>KHIJ CR #>KVs>KHIJ  >V dO `uUWBZUWHHOL AL/>KHJ `K‡IHUW>€LWŠRQhV;  HIUsBUWBDƒBJ8LW€2x I(Œ`uORQi`uVYB‹L–`¥' ; / 143 ŠR` #B¦_RUWBDVWBDJdLWBC!`X‡IBDJRBUs>Kƒi€>KSRUW`Us x HUYUsBž`VsHIJR>KJAL/ŠR>€JaL/ŠR9B B ;H aV xVsL/BDQ…; o BUW‡ŒB‹L~`¥C; / 4: 3RŠ O` #IZB HIUsQi`uK€=x #BUs>  BDCi`†LWŠRBHIU x H F ‚~‚y‚ UWHORJRCR>€JR‡Y_K J / \I4\ 3ORVW>€JR‡)L/ŠRBNL/ŠRBDHIUWBDQ _RUWH #BU F= } * `JRC3LWŠRBJ3ORVWBDCiL/Š `J8+ L  H8`uLW>KJR‡4E _HI>KJ8LZORJR>ALaORVsBC >KJgL/ŠRBh}?‰  F _RUsHƒDBVWVsHIU;yw+ŠRB‹x¦Š O` #IB)ORVsBC…} ` HIUWQ3`CRB  JR>€LW>KHIJ¦H UsHIORJRCR>€JR‡ŸS `VsBC HIJ  >€JRBUsC V HIUWQ3`K ž`uLW>KHIJ–H  VsL/`JRC `uUWC(; ‰0`‡I`I`UWCg`JKJ€JR‡”LWBƒtŠRJ dORBV L/n H #BUs -x 0 ` RH8`uL/>€JR‡uE _1HI>€J8LaQTO€_RK>€BUD. ; B ŠRBJ!`JRC o U x8`J8 L / "[ 3+ORVsBC HIUWCE KB #IB9  *  }L/n H #BUWc> -x `  H8`uLW>KJR‡uE _1H>KJ8L `CRCKJ -x L/Š€JR‡uE _HI>€JdLr>V dO `uUWB–UWHHOL “CR #>KVs>KHIJš`JRCmUWBDQi`u>KJRCRBDUŒ`€‡IHIUW>AL/ŠRQhV; ^  B`Usx”BDL0`¥8  ; /`ð "[ 3UWBD_1HIU L/BDCšHIJXLWŠR8 B #BUW>  ƒž`4L/>KHJXH LWŠR} B F J8LWB  VŒ=I F 5 `uLrLWŠRBa‡I`uL/BYKB #BORVW>€JR‡¦` ƒHQTSR>KJR`uL/>€HIJH ?Q3HCRB E ƒtŠRBD?ƒ d>KJR‡–`JK€BiL/Š€JR‡uE _HI>€JdLZUsB_RUsBVWBDJ8Lt`uLW>KHIJ!`JRC `Us>€LWŠE QhBDL/>€ƒ fL/ŠRBDUWB3>KVZJRHXQ3`ƒtŠR>€JRB‹E ƒtŠRB?ƒ uBC HIUWQ3`CRB #IBDKHI_RQhBJ8LaHIJ7_RUsHI_BUsLW>KBDVYH   @BCE _1HI>€J8LT`Us>€LWŠE QhBDL/>€ƒ;”w+ŠRBUsB HIUsB LWŠR B HIUsQi`uK> `uL/>€HIJm_RUsBVWBDJ8L/BC >€J7L/ŠR>€VY_R`_1BDUT>KV)L/HXHIORUaSBV e L dJRH NKBDCR‡I"B L/ŠRB  UsVsL "H f>€L/-V d>KJRC“;y^0ORmU HIUsQi`uK> `uL/>€HIJŸH (LWŠRB  @€JdL `UW>AL/ŠRQhBDLW>KƒNŠ `V S1BDBJ¦>€JRVW_R>€UWBDCiQhHIVsLW€x–S8x L/ŠU ”CRHIJRBTS8xX„†`UsUW>€VWHI J /`ð  3`JR C B `UWUsBJRY H / p 3HIJXL/ŠKJR‡4E _HI>KJ8E L HIUWQ3`€> ž`4L/>KHJ(;+„†`uUWUW> E VWHJ | V HIU  `V0QhHIUWBYHIUW>€BJ8L/BDCXL/ H #IBUs>  ƒ`uL/>€HIJš_ROU WL/H¦ƒtŠRBD?ƒ šL/ŠRe B #u`€>KCR>AL x…"H  H_1BDU/`uLW>KHIJšUsBVsOR€LWV)`JRCmL/H¦CRH¦LWŠRBŸBUsUWHIUŒ`uJ `€xVs>KV HIJHORU CAL/>€HIJiH LWŠRB  @€JdL UWHIOKJ€ƒtŠ>KV~JRHL ƒH #IBDUWC S8x „†`uUWUW>€VWHIJ 2 Z B HI€KH BDL C B `UWUsBJR+ H NŠR+ H HIUWQ3`€> BDCaB @­~© F J¤LWŠR>KV)VsBƒDLW>KHIJY BhCRBDVWƒUs>KSB7* FNM &H*>€‡IJ `yFUWHƒBDVWVs>KJR‡M7HIU|*xVsL/BDQ7,ŒS `VsBC  @€JdLY`Us>€LWŠE QhBDL/>€ƒ;*FNM >KVY`J7>€JdLWB‡IUW`uL/BDC  UW`Q3B HU>š  L/ŠR`uLZ_RUWH# >KCRBDVT`”ORJR>  BC7‡U/`_RŠKƒž`u>KJ8L/BDU`ƒDBLHIUY`€ `Vs_1BDƒDL/V)H~V xV L/BDQ CRBVs>K‡IJ Vs>KQTOKHIJ1 `JRC >€Q3_R€BQhBJ8Lt`4L/>KHJ HIU0CKHJ `+SR€Hƒ?d V;yK‡IJ  H VsOR_R_HIUsLWVhCKHJ!€BI# BDKV–VsL/`UsLW>KJR‡n UsHIQ   HI`uL/>€JR‡uE _HI>€JdLT`K‡HIUW>AL/ŠRQh>Kƒ3CRBVsƒUW>€_E L/>€HIJƒHIJ%# BUsLW>KJR‡TLWŠ `uL L/HŸ`JiHI_€Q3>KJ8L Vs_1BDƒ>  ƒž`uLW>KHIJ UWHIQ N ŠR>€ƒtŠ `J q?w b& qNB‡I>€VsLWBU wU/`JRV$BU B# Bj, >€Q3_R€BQhBJ8Lt`4L/>KHJ.& >€J}Œ„D ( ¤HIU }yBUs>KKH‡R~, >€V+‡IBJRBDU/`uLWBC€b& =?>€‡IORUWB ð‹, ; 







ˆ



 



!#"

 @BDCE _HI>KJ8LJdORQaS1BDU>KJX*FNM Š `V`  @BC–JdORQTSBUHSR>€J `U xYCK‡I>AL/V`uJRC–`  @BC–_HIVW>AL/>KHJ8HIUL/ŠRB CRBDƒ>KQ3` _HI>KJ8LI N>€LWŠ3UsBVs_1BDƒDL LWHZLWŠ `uL VWB‹L H“CR>K‡>€L/VD;=?> @BCE _1HI>€J8LyJOAL/ŠRBDU~O€‡IJRBC &b`u< ` xV _1HIVs>€LW>€‡IJRBDC.&>€J3Ll H |V ƒHIQh_RKBDQ3BDJ8L UsB_RUsBVWBDJ8Lt`uLW>KHIJW, ;y= HIU B @AL/VŒSB>€JR‡¦ORVWBDC¤LWH¦UWB_K‡J `@#u`€ORBVD;eF  LWŠRBŸJdORQTSBUsVY`uUWBŸORJRVs>K‡IJ€JdL>KV  @BC3`uLLWŠRB+_1HVW>€LW>KHIJ–`4-L/BULWŠRB+VWBDƒHIJ€‡I>€Lp%& $&$a;'$ $+,`( L/ŠRB–UWBD_RUWBDVWBDJdL/`SR€B3UsBž`!u# `€ORBVŒUW`JR‡IBe UsHIQ €L†>KV†LWŠRBŸVW>€‡IJšSR>ALž;)w+ŠRBŸUsBQ3`>KJR>€JR‡iS€L/V†VW_Bƒ>c- xXLWŠRBŸQi`u‡IJR>€LWORCRBu; F Z HIORUZSR>AL/VZUWB_€‡IJ `Nu# `€ORBV `JRC¤L/ŠRB3SR>KJ `uUsx _HI>KJ8LY>KV  @BC `uLZL/ŠRB3_1HVW>€LW>KHIJ¤`"- LWBU)L/ŠRB VWBDƒHIJ€‡I>€Lm HIK€HN >€JR‡aLWŠRB)VW>K‡J”S€L8&H(* $&$T;)$+,`R L/ŠRB)UsBž`u# `€ORBV+UW`JR‡IB= UWHQ E p ;]TL/H+*Œ:A@BDCE _HI>KJ8LmVs>K‡IJR`8u# `€ORBVm`uUWB B‹@_RUsBVsVWBC `V `kSR>KJR`Usx VsL/UsBž`Q `JRC ` VWB‹L H  `4LWL/Us>KSROL/BV , wKh?g>.q -0/ , g w8\G2 _ 1DwKw)h`4a 365;wGg?8] 7);w+ŠRBZ`uLsL/UW>€SRO€J `Usx3VsLWUWB`Q >KV >KJ8L/BDUW_RUsBDL/BDC(; 9 BJRBDU/`€€x2 L/ŠRBZ`uLsL/Us>KSRO  BC…>KJ¦L/Š€JR‡8 HIUsQi`4L ‰

/;:=A@BDCE:F>HGI@J6KLJNM A@BDCEBN>AKOG PRQSMUTVW@7 X;Y[Z - —.\ w+ŠRBŸL/HL/`?JdORQaS1BDUZH" S€L/VŒOKJ8L)VsLWUWB`Q“>KJRƒDKORCR>€JR‡ >€JdLWB‡IBDU†SR>AL/V  UW`ƒDLW>KHIJ `uSR>€LWV 1`JRCšVs>K‡IJ…SR>€L 1>cy`J8xI;Pw+ŠRBaLWHLt`fJdORQTSBU†HSR>AL/VPQTORVsL†S1BY>KJ LWŠRB)U/`JR‡BŒHLðŒL/H3\Iˆu[€J8L/B‡BU†S€L/V}&LWŠRBaJdORQaS1BDU0HSR>AL/VNL/HiLWŠRBa€B-LPHLWŠRBaSR> E J `uUsxh_1H>KJ8LOdB‹@ƒDKORCR>€JR‡YLWŠRB†Vs>K‡IJhSR>ALO>€V JdORQaS1BDU >KV~JRBD‡8`uL/>c#IB"UsB_Bž`uLWBC€Bž`CR>€JR‡ Vs>K‡IJ SR>AL/VNHIZ U BDUWHIVr`UsBY`uCRCRBC L/H–‡IBDJRBUW`uL/B)L/ŠKJ `uUsxQ#u`€ORB;IF L/ŠR>€VNJOKV ‡IUsBž`uLWBU LWŠ `J¦L/ŠRB0LWHLt`u(JdORQTSBU+H SR>€LW V L/U/`u>KK>€JR} ‡ DBUsHBDVr`uUWB)`CRC€JR‡¤LWŠRBšVW>€‡IJ HUWQ3`uL ]sO_^'HIUhORJRVs>K‡IJAL/ŠiO€‡IJRBC`uLWLWUW>KS€VW>KHJ

µq·

to



round

convergent

HCRBDV

,® °~­Û­~« ­ §=  µq­~«S¸  ·3­ ¸>ª §|¸­~©!­ê«   F JL/ŠKV VsBƒDLW>KHIJ| BŒ_RUWBDVWBJ8LNL/Šž`4L/>KHJhH"z*KJ8LN`uUW>€LWŠRQhBDL/>€ƒN>KJ¦ŠR>€‡IŠRBUGE HIUsCRBUKHI‡I>€ƒ S `VsBCTHJaL/ŠRB ‡IBJKJ|BUWBDJRƒB¦UsORKBDVTL/HmB @€VsLW>KJR‡ L/ŠKBJ8LWBC–_RUWHH VV Lt`U LNN >€LWŠ–LWŠRB+‡IH8`uL/HŒSB+_RUsH# BJ(;yw`ƒDLW>KƒDVy`UWB+`u_R_RK>€BCTLWH)LWŠRB+‡IH8`uR`JRC–VsORSR‡IH8`uKV ORJ8L/>€~LWŠRBi‡H8`y>KVYCRBƒDHIQ3_HIVsBC£>€JdLWHXVs>KQh_RKBDUYB @€VsLW>KJR‡”L/ŠRBDHIUWBDQ3VYHIUT`4@>€HIQ3VD; w+ŠRBVsxV L/BQ S `Vs>Kƒ  `uJR‡IO `‡B”>€JRƒ€ORCRBDV3L/Š€JRƒ€ORCRBDV3HLWŠRBU3VW_BƒD>  ƒ B‹@LWBJRVs>KHIJRVZK>€SRU/`U x / {"3!N ŠKƒtŠg_RUWHI# BDC¤LWH”SB–BVsVWBJ8LW> `N HIUŒHIOKJ8L†`UW>AL/ŠRQhBDLW>Kƒ HIUsQi`€> `uL/>€HIJ(; w`SR€B)a ð VWORQhQi`uUW>D BVPVWHIQhBZH L/Š€J…L/ŠKV



_ `_BUP`J€U+Q3B`JR>€JR‡IV;

w?`uSRK B ðI;~„†^'*xQTSHIKV &“ R fR 4 —D§f6 Z  jmlhnz     

&JRHIJRBO, &JRHIJRBO, b 0ð   







 

V U
KJ%#Y&-@P,

V(< BQ&

,

@ _H J

zRe

„ >K€S1BDUsL+ƒtŠKƒDB r M†`uLWORU/`uQi`_  ƒŒL/ŠKHIJ¦H f@  OR€LW>K_R€>Kƒž`4L/ #B†>€RJ #BUsVWBZH@ ‰†SRVsHIKOKSKVrL/UWB`uL/BDCg`VŒ`SHHI€Bž`J HIUsC &L x_1B v

DFEGE?HJIKEL?M

j~cfcfeyg`Í b*@R>+*G) 14@65 >A@ 5 )+*?8 : A> @ )- >  b *  9.1 @ 5 >A@ 5&)Q*?8 : +) * @

ÑÈ_|nw_Ê[mw_uoey_bnogiaj~cf_bƒu[j~eyc&g`c&g`rJmogimoxÛc&Ãw_ÊoËÔ_bnÌɈuÅrJgim”cm”v[tÍÅ_eyƒgim”cfr΃&gixJmw_bnjkmonvom[ƒ&g`xJmw_bn,mÔvotÍÅ_eyƒ ë > ))b> 9. 1?8;: 1 b ) >  b*

9.1?8;: 8 > )  ?)- >  9 .  1 W8 : 1 )b> b*

.1?8;:98

" #&%(' " #&%('

ì3Ão_qm”v[tÍÅ_erkÆnog`xJg`c&ƒWrkÆLjÊwËÔ_bnwɈu@rJgzm€cmÔvotÍÅ_eÎgzm¬c&Ãw_eygixJÀcWÃojkm[nVƒ&ginw_rkÆLc&Ãw_qÍ[gimoj~e&„'uÅrJgim€cWgzƒ nw_Ê[mo_bnÎjkƒ !#"%$%& ×ÖÀZc>ajkmÍ@_2nw_eyg`‚k_bnjkƒPc&Ão_2nog¥ÚÅ_e&_bmoad_FÍ@_cZÄP__bm c&Ãw_2cfrkc&jk^Åm”votÛÍÅ_erkÆÞc&Ãw_2Í[g`c&ƒPjkmonWc&Ãw_ mÔvotÍÅ_erkÆÖgim”cf_xk_e3Í[g`c&ƒb†oadrJmoƒ&ginw_ehgimwx|c&Ãw_ƒ&g`xJm,Í  . 1 /\[_' 

?8 : >))->  9.  1K*-*-,?>A@/G8 œ )Q3/9>   1 /[_'  R

8 : > )=3/ 9>#1b.”  /98

k2rkcf_Sc&Ãoj~cÄs_Sƒfc&j~e&c c&Ãw_Âm[jkt_)rkÆc&Ãw_qÆ vomoadc&g`rJm[ƒÎtWjkmogiu[vo^ij~c&gimoxÈÊwËÔ_bnwɈu@rJgzm€cÎmÔvotÛÍÅ_eyƒÎÍԄVaj~u[g`c&jk^ ^`_cfcf_eyƒFcfrÎnogiƒ&c&gimwxJvogiƒyÃWc&Ãw_bt ÆÜe&rJtc&Ão_¯rJmw_bƒ3c&j~ÓÌgimwxujkƒFj~eyxJvot_bm”c×

{





2ptpq_

k2rœÄ+Äs_ƒ&u@_bagiÆÜ„c&Ãw_|e&_bjk^*mÔvotÍÅ_eL‚~jk^ivoj~c&g`rJm)rkÆÊwËÌ_bnÌɈuÅrJgim”c2mÔvotÛÍ@_ehƒ×2ÑÈ_voƒ&_ÛcZÄPrƒf_u)# ?)b> 9. 1?8L, ” 

1a)bc dB1c f/9e œ^] K/_ fO1 )Q*-,./+0.. -* O1?8-8=_?8F5_?8 ” 

1 a ] K/_B1 >1 aAbc da` c ” bW8K5 >1 aAbc d 1 c f/9 e œ^] K/_ fO1 1 )Q-* ,b.-/+0..-* 1?88Z/4 8_W8-8-8F5 W8-8

" #&%('

@ ] *-* ]+A 0 ' 

: 1>)# ?)b> 9. 1?8L, ” 

1a)bc dB1c f/9e œ^] K/_ fO1 )Q*-,./+0.. -* O1?8-8W”?8F5_?8 ” 

1 a ] K/_B1 >1 aAbc da`d_cbW8K5 >1 aAbc d 1 c f/9 e œ^] K/_ fO1 1 )Q*-,b.-/+0..-* 1?88Z/4 8V”W8-8-8F5 W8-8

eGfg>ihH†wc&Ão_adrJmoaj~cf_bmoj~c&g`rJmqrkÆ*c…ÄsrÎÄsrkeynoƒ†ogiƒjWuoe&_bnw_Ê[mo_bníLîLïƐv[moadc&g`rJmÞ× jDk “3‹ —kžJl ™Ö™Z•J“3¢yžœ¤/œm “h¤ ™ÁŒ ž ¤¯™Á•€‹™0’JŒ ™on ‹b›Á“PŒŽ¤€—k“q~p “ —sir ›Zž Š ™Z•J“›ÁŒ(œt •ê™Ö•€‹b¤€—uZn ŒŽ—k“ £

ð 

2

2

 n #r p t 





î}uÅ_eyj~c&g`rJm[ƒFrJmSÊwËÌ_bnÌɈuÅrJgim”c}mÔvotÛÍÅ_eyƒ2ajkmȃyg`xJmojk^B_dËÌad_u[c&g`rJmoƒLjkƒj,e&_bƒ&vo^icFrkÆuÅ_e&ƐrkeytWgzmwxÎc&Ãw_rkuÅ_eyj~c&g`rJml× ]ÖËwad_uoc&g`rJm[ƒ3j~e&_nw_bƒyadeyg`ÍÅ_bn,gimqÏÔ_badc&g`rJmW5 _Îjkmonnw_ba^ij~ey_bnjkƒFjWmo_ÄãíLîLï'noj~c&jWcZ„”uÅ_ ë "$#&%('

?

B

f  (=. b*W>] :S)].A(=. b*x2 ] 3b. ,' ]^02 >b3/9> x2† ])-))b> 

giƒ>e&_bƒ&_e&‚k_bnƐrke3c&Ãw_¯ajkƒf_ÛÄFg`c&ÃwrJvocs_dËwad_uoc&g`rJml× ìÄsrWr ‚k_e&ÝorœÄ trÌnw_bƒj~e&_jk^zƒfrWe&_uoey_bƒf_bm€cf_bn‚Ôgijjkm_bm”votW_eyj~cf_bncZ„”uÅ_¯nw_Ê[m[g`c&g`rJm ë

9:˜)9 HŒ$

" #&%('

]=3. ,' ]^=0] -. :



st e

a-,/ X2

]

9>

ß aadrkeynogimox2cfrc&Ãw_>nw_Ê[m[g`c&g`rJm¯rkÆ) (]9)=.9)Q* 3B)V/ P 1 1-@–“ >) ( ]9) .9)Q*;3 )+ @xP K1 @R8-8;:)

R1 /G88 à*gimojk^z^`„k†e&rJvomon[gimwxtrÔno_  × " #&%('

‘

1' 

)=, ] 1W8 ] ]b3. , b.b* 0 ] b.L : 1NM 5 K 6?8+P 1 0] b.: ] 9> R8V, 14* ] '  B1?825 ] 3. ,' ]^R862 1NQ 5 œ g6?+ 8 P 1 0] b.: ] 9> R8V, 1 @)] *-* ]A0 ' 

1?825J]=3. ,' ]^R862 1NM 5 K 6?+ 8 P 1 0] b.:Oa-,/ R8V, 1>ab,/ B1?8V 5 ] 3. , ' ]^R8 2 1NQ 5 œ g6?+ 8 P 1 0] b.:Oa-,/ R8V, 1>ab,/ B1?8V 5 ] 3. , ' ]^R8 2 1`( ])=.9)Q* 143 / .G8 1 /\“•e ™ , 1 ™ *-,/-.+0O/98 :O”?8 1\ / [•' 

RZ 8 2 œ )Q3 / ># /ZP 1K-**-,?>A@ / : ?8 65= ]. ( . b*?8-8

 n…“h“ l lԓy¤”—kŒ p



 

ðÌð







!   _  lon

!#pq#rt"

Àšmjkaadrkehnojkmoad_ÄFgic&Ã'c&Ão_ÏwÐ0Ñ no_bƒ&adeyg`uoc&girJmrkÆ}ÊwËÌ_bnÌɈuÅrJgim€c|j~eyg`c&ÃotW_c&gia Ɛvom[adc&g`rJmoƒ†ÖrkuÅ_eyj~c&g`rJm[ƒ|ƒyvoayìjkƒ jknonogic&g`rJmrkeWtÛvo^ic&g`u[^igiaj~c&girJmc&j~Ók_cZÄPrÊwËÔ_bnwɈu@rJgzm€cgimwu[voc|ƒ&gixJmojk^iƒjkmon¬ƒfcfrke&_c&Ão_bg`ee&_bƒ&vo^icgzm€cfrÈjSc&Ãog`ehnÞ× ì3Ãw_j~cfcfeyg`Í[vwcf_bƒÛrkÆ>c&Ãw_gzmwu[vwc&ƒ¯jkm[nrJvwcfu[vocÛmw__bn'mwrkcÛtWj~c&ahÃrJmw_jkmwrkc&Ão_eb× srkc&Ã'vom[ƒ&g`xJmw_bnjkm[nc…Äsr ƒ adrJtu[^i_bt_bm€cÛgimwu[vwc&ƒjkm[nÈrJvwcfu[vwc¯j~ey_Îjk^i^`r ÄP_bnÞ× ì3Ãw_e&_bƒyvo^`c¯giƒƐrkeytWj~cfcf_bn'gim”cfrc&Ãw_WrJvwcfu# / P œ )Q3b/9># @R8L, 1g A $5 >b3/>#W8+2 143/#9. / Y 3/.;@0Q +G8VP 1 > ) ?)->  9. V?8+, 1” 

1>aAbc B d 1c /f 9e œ ] /K _ fO1 )Q*-,b.-/+0..-* +?8V”W8F5š?8F5 ]9)-))b>  ?862 1' 

)= , ]   1W 8 , Z=] 3. ,B1 3b/9. /6Y 3/#9. @R8-8

[1 œ

'

5 A1?8 ,   ] 3.=,/;@B: )Q3b/9># / P œ )Q3b/9># @R8L, 1g A $5 >b3/>#W8+2 143/#9. / 7 3/.;@0Q +G8VP 1 > ) ?)->  9. V?8+, 1” 

1>aAbc B d 1c /f 9e œ ] /K _ fO1 )Q*-,b.-/+0..-* +?8V”W8F5š?8F5 ]9)-))b>  ?862 1' 

)= , ]   1W 8 , Z=] 3. ,B1 3b/9. / 7;3/#9. @R8-8

[1 œ

§ ·3­ ᩯ®¸­ µ)« µ    ·3­ ¸>ª §|¸­ê© ³´ §·®¸­ µ)«m ß aadrkeynogimwxLcfrLc&Ãw_nogiƒyavoƒ&ƒ&g`rJmÛgimWÏÔ_badc&g`rJm w× 5}_bjkahÃÊwËÌ_bnÌɈuÅrJgim€cBm”v[tÍÅ_eÖÃojkƒ*jadrke&e&_bƒfuÅrJmon[gimwx3e&_bjk^wmÔvotÛÍÅ_e ‚~jk^ivw_k×ì3Ãw_Îadrkeye&_badc&mw_bƒ&ƒ|rkÆ3jÊoËÔ_bnÌɈuÅrJgim”crkuÅ_eyj~c&g`rJmajkmÍÅ_΃&u@_bagiÊo_bnÈÍԄSadrJtWu[j~eygimwx)g`c&ƒrJvocfu[vwc¯ÄFgic&à c&Ãw_2cfeyvw_2tÎj~c&Ãw_btWj~c&giajk^@e&_bƒ&v[^`c†”voƒygimwx¯c&Ãw_2‚êjk^zvoj~c&g`rJmƐvom[adc&g`rJm  NC Cj,Í@Õh×ÛÀšmSrkc&Ãw_e¯Äsrkeynoƒb†ÞÄP_ÎahÃw_ba&ÓÈg`Æc&Ãw_Wnogij~xkeyjkt gimÈà*g`xJvwey_ 5,adrJtÎtÛvwcf_bƒb×ÀÁmSƐrJ^i^`r ÄFgimwxw†ÞÄs_Înogiƒyavoƒ&ƒ}c&Ãw_Wjknonogic&g`rJmÂrku@_ehj~c&g`rJmÞ×Wî}c&Ãw_e¯rkuÅ_eyj~c&g`rJm[ƒajkmÈÍÅ_ Ãojkmon[^`_bn,ƒ&gitWgi^zj~ey^`„ y~× àwrkeÎc&ÃogiƒÛu[vwe&uÅrJƒf_ÄP_nw_Ê[mo_c&Ãw_ _e&e&rkee&_bƒyvo^`c&gimwx)ÆÜeyrJt eyrJvomonogimoxqjÂe&_bjk^>m”votÛÍÅ_ecfrSjÂÊwËÌ_bnÌɈuÅrJgim”c ‚~jk^ivw_ ë









"$#&%('

'

9. ,-,] ,O1?8 ,  ] 3. ,6 :

1 3b/9.O1” ™ B _ 1›'

A=, ]  1?8 ,  6

jkmonc&Ão_bm_bƒfc&j~Í[^igzƒ&Ã,c&Ãw_¯adrke&e&_badc&mo_bƒ&ƒ3c&Ãw_rkey_bt jkƒ3ƐrJ^i^`r ÄFƒ ë n…“h “  l lԓy¤”—kŒ p 



ð \

] 3b. ,?8-8 /

?8

+ value (a),value (b)

value (a) + value (b)

~ ~?

value (fxpAdd (a,b)) value value

fxpAdd (a,b)

a,b

=>K‡IORUsB):

_ 9. ] "

-B

fxpAdd

HIUsUWBƒ‹L/JRBDVWVB UW>€LWBUs> `T>KJ”=?> @BCE FHI>€JdLN‰rCRCR>AL/>KHJ

,.+0 F[ ” 39)K d d _/5 1 œ Q) 3b/9># /G8+P 1 œ )Q3/ 9># @R8VP!3/ 9># K-**-,O1?8 :*) 1 œ )Q3/9> O1” ™ _ 1' 

K  1W8 ] ]b3. , b.b* ] 9> / @?8-8-8VP 1 3b / 9.O1 ” ™ _B1›'

K  1?8 ] ]b3.=, .b* ] 9> /;@R8-8;: 3/ 9.1 /G8+Y 3/#9.O14@R8VY 1›'

9. ,- , ] ,O1 ?8 ] ]b3. , . b* ] 9> 1 3b/9.O1 /G8+Y 3/#9.14@?8-8-8-8

ì3Ão_)c&Ãw_rkey_bt giƒ,adrJtuÅrJƒf_bn¶rkÆc…Äsr u[j~e&c&ƒ× ìFÃw_)Ê[eyƒfc u[j~e&c,giƒ,j~Í@rJvocc&Ãw_‚~jk^iginog`cZ„¬rkÆÊwËÌ_bnÌɈuÅrJgim”c kj nonogic&g`rJmrJvwcfu[vwcjkmon¬ƒfc&j~cf_bƒÎc&Ãoj~cWg`Æ2c&Ãw_gimwu[vocÊwËÌ_bnÌɈuÅrJgim”cmÔvotÛÍÅ_eyƒjkmon c&Ãw_rJvwcfu[vocj~cfcfehg`Í[vwcf_bƒj~e&_ ‚~jk^iginSc&Ãw_bmÈc&Ão_e&_bƒ&vo^`cLrkÆ>ÊwËÌ_bnÌɈuÅrJgim”cLjkn[nog`c&g`rJmSgiƒ‚~jk^iginl×ìFÃw_Wƒf_badrJmonÈuc&Ãw_c&Ãw_rke&_bt e&_b^ij~cf_bƒc&Ãw_ e&_bƒ&v[^`cÖrkÆÞÊwËÌ_bnÌɈuÅrJgim€c0jkn[nog`c&g`rJmcfrÛc&Ãw_Fey_bjk^oe&_bƒ&v[^`cÖÍ[jkƒf_bnÎrJmÎc&Ãw_2adrke&e&_bƒfuÅrJmonogzmwx_e&e&rkePƐvom[adc&g`rJmÞ×*ìXrÛuoe&rœ‚k_ c&ÃogiƒtÎjkgimc&Ãw_rke&_bt†[jm”v[tÍÅ_erkÆÖ^`_btWtWjkƒFÃojb‚k_¯ÍÅ__bm_bƒ&c&j~Í[^igiƒ&Ão_bn  × ì3Ão_3ÆÜrJ^z^`rœÄFgzmwx¯_bmoƒ&voe&_bƒÖc&Ãw_2_dËÌgiƒ&cf_bmoad_FrkÆÞc&Ãw_2ÍÅ_bƒfcj~uouoeyrbËwgitWj~c&g`rJmÎcfrÛj¯xJgi‚k_bmÎe&_bjk^mÔvotÛÍÅ_eyƒ ë eb.+00?/xF[ ” /9) œ#™  ] e b ™ f ™ )_ f  œ™ _ ™ " ” œ g œ _ f 1 )b8;:*) [1) : f/5/93_?8 :*)

21 /[='  R8Œ“

>)( ]9)=.)Q*;3

)+/

2_dËÔc^`_btWtÎjqƒfc&j~cf_bƒc&Ãoj~c|c&Ãw_,ayÃwrJƒ&_bm'ÍÅ_bƒfcj~uouoeyrbËwgitWj~c&g`rJm'ƒ&j~c&giƒfƐ„Ôgzmwx)j)uoe&rkuÅ_e&cZ„+H giƒÛgic&ƒf_b^`Æ>c&Ãw_ Í@_bƒ&c j~uouoeyrbËwgitWj~c&g`rJm,rkÆÖjxJg`‚k_bme&_bjk^lmÔvotÍÅ_e ë k

eb.+00?/6R\[ ” /9) ] e b ™ f ™ _) œ™  ] e b ™ f ™ _ " ” œ g œ _ f 1 )b8;:*) [1) : /f 5/93_?8 :*)

>) ( ]9)=.9)+* 3

)V

1_(]9)=.9)Q* 36 B)+?8

ì3Ãw_bm,Äs_¯uoeyrœ‚k_¯c&Ãoj~cFc&Ãw_ƒf_c3rkÆ*jk^i^ނ~jk^igin ÊwËÌ_bnÌɈuÅrJgim”cm”votÛÍÅ_eyƒ>ÄFg`c&ÃjWxJg`‚k_bmqj~cfcfeygiÍ[vwcf_bƒ3giƒ>Ê# K-*-*,O1W8-8 :*)

_

1' 

A , ]  V

]

]b3. , b.b*

]

>

?8-8

ì3Ão_΂~jk^iginog`cZ„)rkÆ>c&Ãw_e&rJvomon[gimwxnog`ey_badc&^`„Âgztu[^ig`_bƒLc&Ão_΂~jk^iginog`cZ„)rkÆÊoËÔ_bnÌɈuÅrJgim”c¯jknonogic&g`rJmÈrJvwcfu[voc†Bjkmon c&ÃogiƒsadrJtu[^i_cf_bƒ>c&Ãw_2u[e&r”rkÆXrkÆlc&Ãw_LÊoeyƒfcPu[j~e&c>rkÆlc&Ãw_}c&Ãw_rke&_bt×ì3Ãw_Lƒf_badrJmon u[j~e&csrkÆXc&Ão_2c&Ãw_rkey_bt giƒu[e&rœ‚k_bn voƒ&gzmwxc&Ãw_Îu[e&rkuÅ_e&c&g`_bƒLrkÆe&_bjk^Pj~eyg`c&Ãot_c&gzaWgimíîLï¶jkmone&_ÄFeyg`c&gimwxÄ2g`c&ÃÈc&Ãw_Îno_Ê[mog`c&g`rJm[ƒLrkŠÆ  ˜ H > CYCjkmon ˜H.9#DB WÆ vomoadc&g`rJm[ƒ× ì3Ão_|ƒf_badrJm[nÈtWjkgimÂc&Ãw_rke&_bt rJmÂ_e&e&rke¯jkm[jk^`„Ôƒygiƒ2adrJm[ad_eymoƒLÍÅrJvomonogzmwxc&Ãw_e&rJvomon[gimwxÎ_eye&rkebׯì3Ãw_|_e&e&rke ajkmÍÅ_j~Í[ƒfrJ^zvwcf_b^`7„ I”vojkm”c&g`Êo_bnjkƒFÆÜrJ^z^`rœÄFƒ ë ž ›0‹¢&žœŠ lJŽ“&™Á“> Œ nˆ™0ž r@Ž“yŠLŠ‹ n*›Á\“ ri“h›*™Zž  lYl”“h¤€—k!Œ ps£ ð :

_ 9. ] "

,.+0-R\[ ” 39)f c c bc) ,Ab g d)_ /5 41 3/># K-*-*,L?8+P [10M 5 K  1?8-8+P /=@?) 1' 

9. ,, ] , 1?8 ] ]b3. , .b* ] 9>

[ 1NQ 5 œ g 1 ?8-8 :*) ?8 >-3 21 + RL) ]^3',/)(A@R>+*W)*W8

ß aadrkeynogimoxqcfrqc&Ã[giƒ¯c&Ãw_rkey_bt†*c&Ãw_Î_e&eyrkeÛgime&rJvomonogzmwxje&_bjk^sm”v[tÍÅ_e¯ÄFÃ[giayÃ'giƒ¯gimc&Ãw_Îeyjkmoxk_Îe&_uoey_dÉ ƒf_bm”c&j~Í[^`_¯ÍԄ,jxJg`‚k_bmƒf_cFrkÆBj~cfcfeygiÍ[vwcf_bƒ Rgiƒ^`_bƒ&ƒ3c&Ãojkmc&Ãw_ IÔvojkm”c&g`c…„;Ns _  T V 

 × ìHr_dËÔu[^zjkgimc&Ão_c&Ãw_rke&_bt†JÄs_adrJmoƒ&gino_eBc&Ão_ÆÜrJ^i^irœÄFgimoxFÆ jkadc0ÄFÃogiahÃey_b^ij~cf_bƒÖc&Ãw_nw_Ê[m[g`c&g`rJmÛrkÆ[c&Ãw_ÊwËÌ_bnÌɈuÅrJgim”c mÔvotÍÅ_eyƒ>cfrÎc&Ãw_¯eyj~c&g`rJm[jk^iƒ× ß m kFɈÍ[g`cPÍ[gimoj~ey„|ÄsrkeynކÔÄFÃw_bm gim”cf_e&uoe&_cf_bnjkƒ>jkmvom[ƒ&g`xJmw_bnÎÊwËÔ_bnwɈu@rJgzm€cmÔvotÛÍÅ_eb†”ajkm c&j~Ók_LrJm΂~jk^ivw_bƒ Ɛe&rJt jWƒ&voÍ[ƒf_cÐárkÆBc&Ãw_morJmÌɅmw_xJj~c&g`‚k_¯ehj~c&g`rJmojk^iƒxJgi‚k_bm͔„ ë  V

S



~ -_  P

~

_



ÏÌgztWgi^ij~ey^i„k†”ƐrkeFƒ&g`xJmo_bn,c…Äsr ƒ2adrJtujkƒf_bnrJmc&Ãogiƒ>Æ jkadc†[Äs_ajkmq nw_uc&Ãw_¯eyjkmwxk_rkÆH‚~jk^ivw_bƒ3adr ‚k_e&_bn)͔„ _bjkayÃÂajkƒf_jkƒ2ƒ&ÃwrœÄ2m,͔„à*g`xJvwe&_ w× 



MIN

0

x

b 1/2

MAX

a

b 2/2

b p/2

N b (2 - 2) / 2

N b (2 - 1) / 2

a) Unsigned MIN

-2

N-1

/2

b

x

(- 2

N-1 b + 1) / 2

0

b 1/2

MAX

a

b 2/2

b p/2

(2

N-1 b N-1 b - 2) / 2 (2 - 1) / 2

b) Signed

=?>€‡IORUWB p y=?>A@BCEGFH>KJ8L+}~`KOKV

ì3Ão_e&_bj~ÆÜcf_eœ†Ôc&Ão_2e&_u[e&_bƒf_bm”c&j~Í[^`_}eyjkmwxk_}rkÆlÊwËÌ_bnÌɈuÅrJgim€csm”v[tÍÅ_eyƒPgiƒPn[g`‚Ôgznw_bnWgim”cfr _ _I”vogzƒfu[jkad_bn|I”vojkmwÉ c&g`Çbj~c&g`rJm,ƒfcf_u# K-*-*,L?8+P [10M 5 K  1?8-8+P [10Q 5 œ gB1W8-8LP 1 œ )Q3/9>  /G8VP 1K*-*-,?>A@/ : ?8;:*) /=@?) 1'  9

. ,, ] ,  ] ]b 3.=, .b* ] 9> ?8# K-*-*,L?8+P [10M 5 K  1?8-8+P [10Q &%–“ 1'% OR f / 9 )Q*-,.-/A0..* +W8LP /=@?) 1X/ + % 0 16+R )]^ 1' ,/ +( @R>+*W)1?8-88-8

5



œ gB1W8-8 :*) >b3B12+ RL )]^

1›' ,/)(+@R>A*W)1W8-8-8

à*gimojk^z^`„k†wÄP_uoe&rœ‚k_bnqc&Ãoj~c3ƐrkeF_bjkahÃqe&_bjk^l‚êjk^ivo_¯ÄP_ÛajkmÊ[monjWÊwËÔ_bnwɈu@rJgzm€c3mÔvotÛÍ@_eÄ2g`c&Ã,c&Ãw_¯e&_IÔvog`ey_bn _e&e&rke2ayÃoj~eyjkadcf_ehgiƒfc&giaƒ× 

[ ” /9)f c c)bc)^,Ab g d ef/5 5 K  41 3/># K-*-*,L?8+P [10M 5 K  1?8-8+P [10Q 5 œ gB1W8-8 :*) R1^–[ @)] ]V^)] ,W8 “ /=@?) 143/9.O1” 

1^65 ?8-8 / ?8 >b3 16+R )]^ 1 ',/ (+@R>+*W)1W8-8VP 1 a)bc de f gL^ : )Q*-,.-/A0..* L?8

eb.+00?/ "





ÏÌgzmoad_2c&Ão_}eyrJvomonogimox¯uoe&rÌnovoad_bƒsc&Ãw_LtWgimogztÛvot _e&e&rkejkƒƒfc&j~cf_bngzm ?9 ;=; ~†wc&Ão_}u[e&r”rkÆXrkÆXc&Ãw_ƒf_badrJmon &c Ãw_rke&_btâÒ àLÐ ] î î k}{ ì3íL‡SÕFgzƒ}j nog`ey_badc}adrJmoƒ&_ I”vw_bm[ad_|rkÆ ?\9#;š; k×ÀÁmÂc&Ãw_bƒ&_|u[e&r”rkÆ ƒ†@ÄP_ Ãojœ‚k_Pcfe&_bj~cf_bn|c&Ãw_sajkƒf_>rkÆoƒ&g`xJmw_bnÛjkmonv[moƒ&g`xJmw_bnm”votÛÍÅ_eyƒXƒ&_u[j~eyj~cf_b^`„¯ƒ&gzmoad_0c&Ãw_„¯Ãojœ‚k_nog¥ÚÅ_e&_bm€cHnw_Ê[mog`c&girJmoƒ Ɛrke@"=>NM¯†"LD$†wjkmonI  CYC~ †  "›?¨Ò t|vo^`c&giu[^`„qÍԄjqadrJm[ƒfc&jkm€chÕh†0jkm[ n =9  GSÍ[^`rÌa&Ó̃¯cfrkxk_c&Ãw_eÄFgic&à ƒ&g`xJm[jk^ރfrJvweyad_¯jkmonqƒ&gimwÓ_b^`_bt_bm”c&ƒ×à*g`xJvwe&r_ CwҐÍ@Õƒ&ÃwrœÄ2ƒc&Ãw_adrJm”‚k_e&cf_bnÊoËÔ_bnÌɈuÅrJgim”cnw_bƒ&g`xJmqgim ÄFÃogiahÃ,_bjkayà Í[^`rÌa&ÓgiƒÖey_u[^ijkad_bnÄFgic&Ãc&Ãw_Fadrke&ey_bƒfuÅrJmonogimwxLÊwËÌ_bnÌɈuÅrJgim”c*Í[^`rÌa&Ó@×*à*g¥ËÌ_bnÌɈuÅrJgim”cÖÍ[^`rÌa&Ó̃0j~e&_FƒyÃwrœÄFmW͔„nwrJvwÍA^,A ])(% ; / @0( : 1E’A “ W ( O: ” ]-/ )* d./  ,A ])( % / @O: E1 ’x “ @ O  : ” ]-/ )* K   ,) ])(% /;@X( : E1 ’x “ (WO  :

" #&%(' " #&%(' " #&%(' " #&%('

' ]-/ )* A0 A R @ 8  8-8 /L ' ]-/ *) /  @ R8 /

/L

1X/

” ]-/ *) œ b*.,/ * ] , œ 0 ;/ œ g b  _ : ™  ™ R\“ ” ]-/ *)K   ,) ])(% œ g ™ R ™ VP ” ]-/ *)d ./  ,A ])( % ™ +b _ P ” ]-/ *) b/G>A^ ,A ])( %+b _/ ™ R



Àšmc&Ãw_bƒf_snw_Ê[mog`c&girJmoƒÅÄP_PÃojb‚k_>voƒf_bn¯í}j~e&eygzƒfrJm ƒÞƐrkeytWjk^igiÇbj~c&g`rJmrkÆÌÝorJj~c&gimwx~ɈuÅrJgim”cXj~eygic&Ãot_c&gia X NQP-^ˆ×*à*^`rJj~c&gimwx~É uÅrJgim”c>n[j~c&jc…„ÔuÅ_bƒFj~e&_ƒ&cfrke&_bngimqÏÌÐÑ8jkƒ2ƒfc&jkmonoj~ehn,ÀÁ]P]]0D ÎÍ[g`c3nwrJvwÍ /  @  8 ÀšmÎc&Ão_2mw_dËÌcPƒfcf_uX†”Äs_}no_bƒ&adeyg`ÍÅ__bjkayÃno_bƒ&g`xJmÎjkƒsjn[g¥Ú@_ey_bmoad_F_IÔvoj~c&g`rJme&_b^ij~c&gimox¯c&Ãw_2gzmwu[vwc0jkmonrJvwcfu[voc ƒ&jktuR>A*.18b _ R8LP œ )Q3/>#O18b _ R8+P 16.b/18 b _ R8 / 3b/9.1%b _ R88 : 16.b/1 œ g 1> / =8-86/ 3/.1 œ g 1> /4 8-8-8WY 1 12./O1% b _B1X/  8887./ /G8 / 143/. 1%b _ 1X/  8-8I7 3/9. / 8-8VY . ,-, =] , 16./ 1% b _ 10/ =8-8I71./ /G8VY . ,-, =] , 16./ 1 œ g 10/  8-8W8 Y ./1%b _ 1X/  8W' ]/ *)A0)) /G8-8VY '  9 .=,-, ] ,O1 # 65 R  5 8 ] ]b 3. ,  .b * ] 9> 143/9.O1%b _ 1>X/4 8-887 3b/9. / 8+Y '  9 .=,-, ] ,O1 # 65 R  5 8 ] ]b 3. ,  .b * ] 9> 1 3b/9.O1 œ g 10/  88VY 3/#9.O18 b _ 1X/  8V' 

)A 0)A;/ 8-8



















ß ƒƒ&ÃorœÄFmÍԄ|c&ÃogiƒÖc&Ãw_rkey_bt†€c&Ãwey__FƒfrJvweyad_bƒ0rkÆ@_eye&rkeajkmWÍÅ_3nogzƒfc&gimwxJvogzƒ&Ãw_bn ë _e&eyrkeyƒ0novw_cfrc&Ãw_ IÔvojkm€c&g`É Çbj~c&g`rJm|rkÆogimwuƒf_badrJmonÛc&Ãw_rke&_bt gimc&ÃogiƒHu[j~uÅ_esÒ à }Ð ] 3î 3îLs k2{ ì3íL‡ÂÕ jkmonc&Ão_¯adrke&e&_bƒfuÅrJmonogzmwxc&Ãw_rke&_btWƒƐrke3_e&eyrkeFjkmojk^`„̃&giƒgim,Ý[rJj~c&gimwx~ɈuÅrJgim”c3ajkƒf_k× 

 µq«¬©°Om>­êµq«m šÀ m¬c&Ãogiƒunog¥ÚÅ_e&_bm”c e&rJvom[nogimwxWjkmonqrœ‚k_e&Ý[rœÄ+trÌnw_bƒ2jkm[n_dËwad_uoc&g`rJmÂÃojkmono^igzmwxw†wc&Ãw_bm)ÄP_|uoe&r ‚k_bnqcZÄPr,tWjkgimqc&Ãw_rke&_btWƒ}ƒfc&j~c&gimwx c&Ãoj~c2c&Ãw_rkuÅ_eyj~c&g`rJm[ƒ3rJmÊoËÔ_bnÌɈuÅrJgim”c3mÔvotÍÅ_eyƒFj~e&_Ûa^`rJƒ&_b^`„,e&_b^ij~cf_bncfr c&Ãw_adrkeye&_bƒfuÅrJmonogimoxrku@_ehj~c&g`rJmoƒ3rJm gimwÊí ß }‡q] _-PbPRN ë 5b_C É 55 Ô× X -^ |× ß ×wpj~e&e&_bmwrw†ÔÀÁm”cf_e&uoey_c&j~c&g`rJmÎrkÆXÀÁ]P]]ÖÉ aC à*^`rJj~c&gimox~ɅÐHrJgzm€c3ÏÔc&jkmonoj~ehnjkmon {}_Ê[mog`c&girJmÎgimÎc&Ãw_}íîLï ÏԄ̃fcf_bt† k ß Ï ß ìH_bayÃom[giajk^H‡q_btrkeyjkmon[vot NbNQPRN a ԆÞÏÌ_uocf_btÍÅ_e N CÔ× X C ^‡×Öpsrkehmw_bjêɅí2jkƒ&_xJjkmކPÐe&rœ‚ÌgimwxÂc&Ãw_ ÀÁ]P]] psrke&ey_badc&mw_bƒ&ƒ|rkÆ3ÀÁcf_eyj~c&g`‚k_à*^`rJj~c&gimwx~ɅÐBrJgim”cÎ Ï I”v[j~e&_ Fr”rkc† {Lg`‚Ìginw_k†wjkmon F_btWjkgimonw_e ß ^`xkrkeygic&ÃotWƒ†ÌÀšm€cf_b^lìH_bayÃ[mwrJ^`rkxk„ krJvoeymojk^؆ _Ԇ N baÔ× X D ^ × É ß ×@pÃw_bmjkmon ×[]3× se&„Jjkm”c† Ö_ehg`Ê[aj~c&g`rJmqrkÆBà*^`rJj~c&gimoxÎÐBrJgim€c ß nono_eyƒ†wÀšmqp ß baԆ ÖrJ^zvot_ N 9_ rkÆ*\ï kp3Ï@† N baÔ× X =^‡×Ì{LjkvotÎjkƒ†wï0× Fgino_bjkvކÔï×ÔìFÃwe&„k† ß }_bmw_ehgiaLïXg`Íoehj~e&„ÆÜrke3à*^`rJj~c&gimox~ɅÐHrJgzm€c k}votÍÅ_eyƒsjkmon ÀÁc&ƒ ß uou$N^JI3U+$K,O)@L$ 1:M2XR 1:MJ1;D 1:/*~N8:'zkN~{^J~X'Wm)*3$K25,'])?4+$K/*'+9~ _5Dba?NQPbPbPRN-'u ^J~X'I*32 NCV



X`_?NA^3V^xVCn//,

2'l{V6WGJ*[email protected]'x)*+%dC

Vx

)I3b0?q)*+*'6~

_98:/)-$ 1;*3$(R 1:MJ1;D 1:/*&i#, /Qf2*>$K,.1;@



_ PbPJ'7M/8;I+?2

^$ I+%+G 1;*_3/,.?)8H25,.1:|@5)-$ 1;/*n/b 25$K25,.*+)-$ 1:/*+)8 X`_D ^ ^J1:i#,

Qf/*3b025, 2*+@L2

Dbaph D-PJV



/@L2D.D 1;*3
1v%Ufk!w()e%G wxl’e!6g?SŸXM>wx%) / iST;]¡‘#!.!‚iUD/›C!>’%J($!&l>M•l>LKt–O>.*; m mFg XZh%o?’(XZx … eOv%k!wSŸ>1e%Ufw(xl)’lG XLw1’e!6_!e SŸ>r  )(’%.OJ($!> &%/ >•l>LK–O>@.cSŸJ($!&l>M•l>LKf–2‚:>tgFU@A m mFSSg XZ!h%o?=6’(XZ/zx … eOv%C!k!>(wSŸ’%>1e%JUfw($!xl&l)’l>G Xˆ•lol>Z’!Kw6e!–RxSŸ>>@)[))G/ SŸJ($!‚ &%>SŸ•lJ(>L$!Kf&l>–2•%>L‚:Kf>t–gF‚RU2>@XZoOgFU > U m mFg XZh%o?’(XZx … eOv%k!wSŸ>1e%Ufw(xl)’lG XLw1’(…!6v1k!SŸ>we%)(> ’%/ J($!&%>•l>LK–O>@.cSŸJ($!&l>M•l>LKf–2‚:>tgFU j + †FXˆo m?mFXZXZoFoFXZXˆx x e e2  );RŽ S`m%w(x:STw(o W*;\U2Pd\UAISum%wxcSTw(o W:S~wo W;\U U S`m%w(xRS~wo W ;lUt mFXM w1U XZo?’MU@_ XZAx †1elv?’XZSTw(_!W%o †1’W:olv?kXZWlo STw(e!’Mo j † W:h x xx!S~r?w(Xˆo!),VW*),;l+ U +U-F}g -?/ gd\/8U@mFAXZo?SyXZq\x ke r W1  v(;Re oOŽ¢SuX!m1>Lw(–1x ;1$l;lCLUf”2)L–%‚;1$%g*CL”2./ ;AISu† K!K 'FCˆ=;)PgFU(£t)Pe j h!x FU –%SSu;1† $%K!CLK ”!'F† CˆK =*K!';\Utg)š)G gFU(£ŒX!.F>ZU–%;1$lCL”SŸJ($!&%>•l>LKf–2‚   ;RŽ¢X(>L–%;1$lCZ”2;A XMXMw1w1’M’M_ _ †1†1v?v?XZXZW%W%’’MV\xlkkh x m!x%g khtj m!)g!h+ )[+-?g/›-?gX!>L/›–1;1X!$l>L–%CL”; $lK%CL&M”t‚%=l#!.!&(‚2K!K%g&Zs?#!.(‚fg XMXMw1w1’M’M_ _ †1†1v?v?XZXZW%W%’M’q1rlr kLn%† o!h!Wlhf’()[…1kMo + _%’(…(-?v?gXˆh. /),X!+ >Z–%;1-F$lg2CL”t.q / '%;‚ ‚2g. –%;1$%CL”!† K K!'g)G X!>Z–%;1$lCL”S`m%w(xRSu#!.!‚\’M'%&“ 4%”@g …1&4 –%•(' —%•M41K…%$%Cˆ‚.FU U    ¢ !     !  " # ‘ $ !" m + g h%’!S‡X!wMn1>L–1V\;1’M$lx CL ”2j ;\UtAS‡X!>L–%; $lCL”t=iU@A –%; $lCL”!† K!K 'S`gFUf)G SSu–1X(;1>L–%$M“l;1•$lCZ”S`m%w(Sum%xRwx:ST#(.!Su‚l#!.!w‚%“ =w“ =gg*…1&41… &–141•(–%' —%•('!•—%4 K•41…%Kt$l…%C¦‚ $lCˆ‚*;=i;U =iUU )PU U@–1A ;1$M“l• ST;\UQ}–%;1$M“%• S`=iU@ m + g h%’STS‡#(X!j(.!nl>L‚l–1v%•(;1’M' $lx'1CL &(”2j ';\gUt…1A&41S‡–%X!•>L' –%—%; •$l41CLK”t…%=i$lU@Cˆ‚:A S`–%–%; ;1$l$MCL“l”!•2† K!;K 'QS`gF–%; Uf$M“l)•tG =iU U U SSu–1X(;1>L–%$M“l;1•$lCZ”S`m%w(Sum%xRwx:ST#(.!Su‚1#!.!j!‚ “\j!$t“\g$tg*…1&41… &–141•(–%' —%•('!•—%4 K•41…%Kt$l…%C¦‚ $lCˆ‚*;=i;U =iUU )^U U@S`A –%;1$L“l•2;@–%;1$M“%•@=iUt m + g h%’STS‡#(X!WF.!>LXZ‚l–1_l•(;1’M' $lx '1CL &(”2j ';\gUt…1A&41S‡–%X!•>L' –%—%; •$l41CLK”t…%=i$lU@Cˆ‚:A S`–%–%; ;1$l$MCL“l”!•2† K!; K 'tS`–1gF;1Uf$M“l)•tG =iU U!U SSu–1X(;1>L–%$M“l;1•$lCZ”S`m%w(Sum%xRwx:ST#(.!Su‚1#!.!WF‚ CZWF–2CZg–2g*…1&41… &–141•(–%' —%•('!•—%4 K•41…%Kt$l…%C¦‚ $lCˆ‚*;=i;U =iUU )^U U@S`A –%;1$L“l•2;*®–%;1$M“%•@=iUt ST#(.!‚l•(' '1&('g…1&41–%•' —%•41K…%$lCˆ‚:S`–%;1$M“l•2;®f–1;1$M“l•t=iU U!U 

¯

E

   ¢›