• Aucun résultat trouvé

A Component model for synchronous VLSI system design

N/A
N/A
Protected

Academic year: 2021

Partager "A Component model for synchronous VLSI system design"

Copied!
30
0
0

Texte intégral

(1)

HAL Id: inria-00074387

https://hal.inria.fr/inria-00074387

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires

A Component model for synchronous VLSI system design

Dominique Lavenier, Roderick Mcconnell

To cite this version:

Dominique Lavenier, Roderick Mcconnell. A Component model for synchronous VLSI system design.

[Research Report] RR-2285, INRIA. 1994. �inria-00074387�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE

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

Dominique Lavenier, Roderick McConnell

N˚ 2285

mai 1994

PROGRAMME 1

Architectures parall`eles,

bases de donn´ees,

r´eseaux et syst`emes distribu´es

(3)
(4)

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

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

3$465(7(498;:<:.=?>A@ BA4DCDEFHGI=%C2G6J4I=LKMN8%4D8;OHOP=QOH=%K2RTSN8UKV=%KXW=YW5UZZ\[=Q=%K]R4[=%K=%8;J^<=QGXKV_KVG`P=Q:<=%KWFaKGI46FbSJc[=LK

3$4I5(d=`GXB3e

fX8;MM-5U4IGgW=h4I=%CDE=Q49CiE=AZkjml(l(nUop@ :q8%F$>QrUr;s?@ l(t?MN8;7U=%K

u<vw2x%y%z{(xT| }=~M4I=LKV=QZG"8€:.5W=QOA‚5U4~8ƒObFHS4D8%4I_„5;pKV_ZNCDE4I5UZ5(JNKq…h†‡e<C]5(:<MN5(Z=QZG9K2RXˆ\EFaCDE

W=%K6C24IFHSN=%K$S-5UGIEqGIE=QFb4$‚JZNC]GIFb5UZq8;Z‰WŠGIE=`Fb4GIFH:<FbZ7‹WFa8%7(4D8%:qK2Rˆ\FbG6E5(JGcW=%K6C24IFHSFbZ7hG6E=FbZGI=`4IZN8%OFb:<Œ

MOH=Q:<=QZGD8%GIFb5UZk5%GIE=gC2Fb49C2JFHGQŽXJ4:<5W=QOFaKSN8(K=%WŠ5UZ‡T_ZNCiE4I5(Z5(JNK8;G98kOH5;ˆhRTˆ\FHGIE<=Q^GI=`ZG6Fb5(Z‰K

GI5q:<5W=QO…‹†‡eAC]Fb4DC]JFbG9K2R‘8;ZNW~GI5<’T=`4IF“‚_qG6EN8;GY8<K_KGI=Q:”W=%KVFH7(Z=LWˆ\FbGIE~…‹†‡eAC]5(:<MN5(Z=QZG9K•‚4I5U:

5(J4\ObFbS4D8;46_?FaK!M465(MN=Q46Ob_.KV_ZNCiE4I5(ZFb–Q=%W‘$e0ZFbG6Fa8%ObFb–L8;GIFH5(Z—8%ZNW<GI=Q46:<FbZN8%GIFH5(Z.C25(ZNWFbGIFH5(ZNK8;46=˜=`^MOHFaC2FHGIOH_

CDE=%CD™T=%W

š›TœžIŸY Ny%¡wU|¢WFb7UFbGD8%OKVFH7(ZN8%OžM4I5C2=LKIKVFHZ7R‘KVMN=%C]Fa8;OHFb–Q=LW<KV_KVG6=Q:qK!W=%KVFH7(ZžR…h†‡me

£¥¤§¦

¨0©ªQ«

¦

¨!¬­b©®‚¯i°

±²h³i´%´%µ‚¶V·`¸¹³iº‚¶6»A·]¶Vµ‚¼‚¸¾½2²g¿ž¸¾À¾À(´U¶Á;µ‚¶¼Â¶²Qº‚¶6»k³DºÃÄ%ÅƂÇDÈ

ÉVʞË

¸¾¼X¿½]µÂÌ<¿Í³i¼XÁU³iµ‚º‚¸¹³iÀÎÀ¾ÏpÐHÑ%²U»Q¶I»<´QÏ.º

Ë

¶?Ò%µÂ¶²UÓ ËÕÔ

½Q½2µ»Q¸¾²U³iº‚¶6»qÃÖ¶¼‚¶I³DµÓ

Ë

ŵ‚½2×]µ0³DØ+±ÚÙÛܽiк

Ë

¶?Ò%µÂ¶²UÓ

Ë

Û¸¾²%¸¾¼‚ºÂµ‚Ï$½DÐTÞ¶¼Â¶6³Dµ0Ó

Ë

³D²(»ÄQÁU³2Ó0¶]ÝD´QÏ$º

Ë

¶žÞ¼ÂÁ%µ‚¸¾ºNߑÃÖ±—Á%µÂ½6à0¶6Óº‘Ùž½$á]á]â2ãžÙž±$ٞ±žÆ‚ã%ÝD³i²U»$´QÏ$º

Ë

¶žä½LÓº‚½]µ0³DÀåƂӳD²U»L¸æ»;³Dº‚¶

ٞ¶Vºa¿‘½2µ‚Ì\Ðb½]µÄQÏQ¼‚ºÂ¶Ø„³D²U»Ûh³2Ó

Ë

¸Î²;¶Ú±µÓ

Ë

¸¾º‚¶IÓ0º‚Ñ%µÂ¶½iк

Ë

¶ä$ÃÞNä!ç

ÉÉiè

ä½2ØX¸¾²%¸¹é2Ñ%¶]çëê³V·]¶²;¸Î¶Vµì

è

Þ½Q»Q¶µ‚¸¹ÓÂÌTçëÛhÓ

Ô

½]²;²%¶À¾Àbì9í¸¾µ‚¸¾¼³;çйµ

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France)

T´el´ephone : (33) 99 84 71 00 – T´el´ecopie : (33) 99 84 71 71

(5)

# #+!#, # % ') * #+! #

›w›*| A5UJNKpM4[=%K=QZG65(ZNK?JZ¢:<5W‘P=`Ob=qW="SFbSObFb5UGIEÍP=mJ= W="C25(:<MN5 KI8;ZGDK?…h†‡eYKV_ZNCDE4I5UZ=%K

Mc[=Q46Fb5WFmJ=%KmJFNM4[=%C2FKV=§P8˜Oa8A‚5UFaKOH=•‚5UZNC2G6Fb5(ZZ=Q:<=QZG=QG!O¾8(KMN=%C2GGI=Q:.M-5U4I=QO‰W=%K!C]5(:<MN5TK68;ZGDK]RK68;ZNK

W[=QG98;FHObOb=`4$Oa8h4[=%8%ObFaK68;G6Fb5(Z.FbZGI=Q46Z=T=%C]F-MN=Q46:<=QGW=hK¾8UKIKVJ4I=Q4mJJZ.KICDE\[=Q:q8hW=%K6KVFHZ\[=?P8kO¾8%FaW=XW=‹C2=%K

C25U:<MN5TKI8%ZG9K=%KG\SFb=`Z<K_ZNCDE465(ZFK[=T†=%K!C25UZNWFHGIFb5UZNK\WFbZFHGIFa8%ObFKI8;G6Fb5UZŠ=QGcW=G6=Q4I:<FHZN8;FKV5UZ<K5(ZG\8;J‰KIKVF

C25UZNKVFW![=Q4[=`=%K2A5UJNKkFbZGI465WJFaK5(ZNKkJZ=<SN5HGI=QŒ9P8;Œ‚5(JG6FbO KkOb5(7UFaC2FH=QObOH=kMN5(J4ŠM4[=%C2FKV=Q4hOb=LK‹E5(4IOH5(7U=%K2R$MJFaK

Z5UJNK!Ob=%K8%MMObFmJ5(ZNKhP8hOå=`Oa8;SN5U4D8;G6Fb5UZqW=%K:<5WP=QOH=%K$f\† P8˜MN8%4IG6Fb4\W=%K:<5W‘P=QOb=%KC25U:<MN5(46GI=Q:<=`ZG98;OaK]

 x%w2D{"!›~| C]5(ZNC2=`MGIFH5(Z"W=YKV_KVG`P=Q:<=%KKVMc[=%C]Fa8;OHFaK[=%K2RT…h†‡eDRG64D8;FHGI=Q:.=QZGWFH7(FHGD8;OÍW=YKVFH7(ZN8%J^

(6)

4

*,+$" .

!E=XGI498;ZNKFbGIFH5(Z<SN=QGˆ=Q=QZ.8˜SN=QEN8Q’Fb5(498;ON:<5W=`O5;Ú8YKV_KVGI=`: 8;ZNW<8hf\=Q7(FKVG6=Q4 Ö498;ZNK0‚=Q4\†=Q’T=`O650f\†(7

:<5W=`O\FaKŠ5%‚GI=QZ*8ƒWF98 C2JObG—KGI=QMÍRFHZ’T5UOb’FbZ78¢C25U:<MOb=`GI=<46=QŒÂˆ\46FbG6=5;Y=%8UCiE C25(:.M-5UZ=QZGQe0Z GIEFaK

8;46GIFC2Ob=hˆ!=hM465(MN5TK=—8<KV_KVG6=Q:q8%GIFaCg8;MM465T8UCiE"GI5.W=Q’T=QOH5(MFHZ7—8;Zf!Œ‚Ob=`’T=QOžK_KGI=Q: :.5W=QO0RKVG98;4IG6FbZ7

‚4I5U:+GIE=gS-=`EN8Q’FH5(4D8%ONOb=Q’T=QO!E=8%MM4I5 8(CDEqFaK$SN8(K=%WŠ5UZq8p‡T_ZNCDE4I5UZ5(J‰K!8%GD8kOb5%ˆ:5‡;7 W=%KVFH7(Z

:<=QG6E5W5UOb5(7U_ ‚5U4GI498;ZNKFbGIFH5(ZFHZ7<SN=QGˆ!=`=QZ~8<SN=QEN8Q’Fb5(498;O$:.5W=QO8;Z‰W K_ZNCDE465(Z5UJNK…h†‡eXC2Fb49C2JFbG9K2

}=?C25UZNKVFW=Q4X8;Zf \†ƒKVFH:ŠJO8;G6Fb5(Z C25(:<MN5UZ=QZGAG65ŠSN=?C]5(:<MN5TK=%W 5%Gˆ!5.KVJSŒÂ=QOH=Q:<=QZGDK<508UKAKE5%ˆ\Z

SN=QOb5%ˆ=7?>8GIFb:.FbZ7Õ8(KVMN=%C]G?ˆ\EFaCDE W=QGI=`4I:<FHZ=%KGIE=.:<5(:<=`ZG9K˜8%GŠˆ\EFaCDEƒGIE=qFHZMJG9K?8;ZNW¢5(JG6MJGDK

=Q^FaKG*@$8%ZNW¢8;Z 5(MN=Q4D8%GIFH5(ZN8%O8UKVMN=%C2G?ˆ\EF CiE¢MN=Q4‚5(4I: K˜GIE=8UC2GIJ‰8;OXCQ8%OaC2JO8;G6Fb5(ZÍRF0=TG6E=<SN=QEN8Q’Fb5U4Q

}=˜E‰8L’T=‹CiE5 KV=QZqG6EFaK\C25U:<MN5TKFbGIFH5(ZqSN=%CQ8%JNKV=hFbG\MN=Q46:<FbG9K$JNK•G65?M4I=LKV=Q46’T=GIE=hSN=QEN8Q’Fb5U4D8;O8UKVMN=%C2GX5;

C25U:<MN5(Z=QZGDK]Rˆ\EFbOH=Y8(WWFHZ7<G6E=hZ=%C2=%K6KI8%4I_qGIFH:<FbZ7h‚5(4hf \†ƒKVFH:ŠJO8;G6Fb5(Z͍e0Z5U4DW=Q4XGI5.W=Q’T=`Ob5(M"8%Z

f\†:<5W=QO0R(ˆ=A46= TJFb46=XW=QGD8%FbOH=%WkGIFH:<FbZ7gFbZ‚5U4I:q8%GIFb5UZk‚5(4GIE=X…h†‡e$C]Fb4DC]JFbG9KA5KVJNCDE.8(KG6EN8;G7(FH’T=QZ

5(ZÕ8ŠW8;GD8UKVE=`=QGB7\SJG\Z5(GgGIE=YKVMN=%C]F9C‘CQK!5%GIE=kFbZGI=`4IZN8%OFb:.MOb=Q:.=2ZGD8%GIFb5UZžRT:q8;™FbZ7kFbG\M4D8(C]GIFaC`8;OžGI5

FbZ‰KV=Q46G\:<5W=QOK5;C25(:<:.=Q4DCDFa8%ObO¹_?8Q’U8;FHOa8;SOb=YC2Fb49C2JFHGDK2

D

D

D

DE

F F

FG H=I6JKMLON2POQRK(S

T*UWVYXZ [

N]\^N]_`

a

[%b

e0ZFbG6Fa8;OHFb–%8%GIFH5(Z¢8%ZNW G6=Q4I:<FHZN8;G6Fb5UZ¢KV= TJ=QZ‰C2=%Kk8%4I=Õ8;Z¢Fb:<MN5U4IGD8%ZG?M‰8;4IG—5;‹8;Z Fb:<MOb=Q:—=QZGD8;G6Fb5UZžR

MN8%4IGIF C2JO8;4IOH_ˆ\E=`Z ˆ5(4I™FbZ7ˆ\FbG6EƒC]5(:<MOH=Q^<…h†‡meC2Fb49C2JFHGDK2ŽAZGIE=Š5UGIE=Q4hEN8%ZNWRˆ\E=QZˆ!5(46™FHZ7

ˆ\FbG6E„8~SN=QEN8Q’FH5(498;OX:<5W=QORGIE=%KV="GIFb:.FbZ7ÕC25(ZNKFaW=`4D8;G6Fb5UZNKp=`FbGIE=Q4—8;46=Fb7UZ5(46=%W 5U4<8%4I="=Q^M4I=%K6KV=%W

WFdc=`4I=QZGIOH_T} =?:.5W=QOGIE=YEN8;49Wˆ\8%4I=—FbZFHGIFa8%ObFH–%8;G6Fb5(Z"K= mJ=QZNC2=YJNKVFHZ7qGIE=?G6Fb:<FHZ7—KVJSŒÂ=QOH=Q:<=QZG\5;

GIE=kC]5(:<MN5(Z=QZG`

ŽXJ4YC25(:<MN5UZ=QZG:<5W=QO W=QMN=QZNWKE=L8L’FbOH_q5(ZGVˆ5qM4I5UM-=`4IGIFH=%K2Rž5UZ=p‚465(: ‡T_Z‰CiE465(Z5UJNKkg8;GD8

OH5;ˆe5‡;7—8%ZNW„GIE=~5UGIE=Q4—‚4I5(: KV_ZNCDE4I5UZ5(JNKqC2FH4DC2JFbG—W=%KFb7UZž\e0Z„MN8;46GIFC2JOa8%4QRFbG<F KŠ8UKIKJ:<=%W

GIE‰8;G?8%ObO$5UMN=Q4D8%GIFb5UZNK?8;46=ŠMN=Q46Fb5WF CY58(KFbZ¢‡gfål>+hifl(ljhk7g8;ZNW~GIEN8%GkG6E=ŠFHZMJG9Kh8;ZNW 5UJGIMJGDKh5;X8

C25U:<MN5(Z=QZGgCQ8;ZSN=—CQ8;OC2JOa8%GI=%WqSN8(K=%W~5(Z 8<KVFHZ7(OH=—C2Ob5CD™R‘8(Kˆ\FHGIEKV_ZNCDE4I5UZ5(J‰K˜C]Fb4DC]JFbG9Klfål(nhe0Z

5(G6E=Q4ˆ!5U4DWK]RQˆ!=\8UKIKJ:<=$G6EN8;G=%8(CDEYC25(:.M-5UZ=QZGžMN=Q4V‚5U4I:qKž8XC2=Q46GD8;FHZYC2_C]ObFaCž5(MN=Q498;G6Fb5(Z?FHZNW=QMN=QZ‰W=QZG

5;ÍGIE=gW8%GD8R8%ZNWpG6EN8;GGIE=\G6Fb:<FHZ7X5;FbZMJG8%ZNWŠ5(JGIMJG=Q’T=`ZG9K$CQ8;Z—SN=C`8;OaC]JOa8%GI=%Wk46=QOa8%GIFb’T=GI5hGIEFaK

C2_C2ObFCA5(MN=Q498;G6Fb5(Z~J‰KVFbZ7<8—KVFHZ7(OH=?C2OH5Ci™‘NB :<5(46=‹‚5U4I:q8%OWFaK6C2JNK6KVFb5UZ5%GIE=LKV=?C]5(ZNKGI4D8%FbZGDK\FaK\7(FH’T=QZ

FbZmf¹>2shRnf¹>Qojh

ÃÃ ²oQã]ã+pBq

(7)

!E=?Gˆ!5UŒ0KJSŒ‚=QOb=Q:.=QZGXC]5(:<MN5(Z=QZG9K2RNGI5U7(=QG6E=Q4hˆ\FbG6E8 h5;cJNKV=]‚JOG6Fb:<FHZ7.KVJS465(JG6FbZ=LK2R

5jc‘=Q4.KV=`’T=Q4D8%O!M498(C2G6FaCQ8%OX8(W’U8;ZGD8%7(=%K] !E=C]5(:<MN5(Z=QZG9KkZ=Q=%WZ5(G—SN=~W=%K6C24IFHSN=%W FbZGI=`4IZN8%ObOb_ 8;G—8

7T8%GI=Ob=Q’T=`O0BAZNW„GIE=KV=QMN8%4D8%GIFb5UZ 5;Y‚JZNC2G6Fb5UZNK<:q8;™T="FbG<=%8UKV_„G65 CDEN8%Z7(=GIE=6GI=%CDEZ5UOb5U7(_ 5;

GIE=kKFb:—JOa8%GIFH5(Z—ObFbS4D8;46_T 5(:<MN5UZ=QZGDK‚5(4XWF9c‘=Q4I=`ZGMJ4IMN5 KV=%K]R-=T7C2Fb49C2JFbG6ŒÂOH=Q’T=QONW=%KVFH7(Zq5(4!‚5U4I:q8%O

’T=Q46F9C‘CQ8%GIFH5(ZžR‘8;46=Š=%8UKVFHOb_~W=Q’T=QOb5UMN=%W 5UZNC2=—GIE=?G6Fb:<FHZ7ŠG65T5(OHS-5%^EN8(KSN=Q=QZ=Q^M4I=LKIKV=LWFbZ8qKVJFHGD8%SOb=

GI=LCiEZ5(Ob5U7(_T !E=A:.5W=QON8%OaKV5Y8UW8;MG9Kˆ=QObOG65hGIE=XG_MFCQ8;OKVG98;7U=%KFHZŠG6E=XW=%KFb7(Z—M465C2=%KIK]RSN=Q7UFbZZFHZ7

8;G 8 SOb5CD™ŒÂOH=Q’T=QOX8;Z‰W„W=%C25U:<MN5TKVFHZ7 W5%ˆ\Z G65¢C2Fb49C2JFHGDK2$}=~W=Q:<5(Z‰KVGI498;G6=GIEFaKŠJG6FbOHFbG_ƒˆ\FbG6E„8%Z

=Q^8;:<MOb=TR8?CDEN8;Z7U=hS-=`GVˆ=Q=QZqSOH5Ci™ŒÂOH=Q’T=QO‘8;Z‰W C]Fb4DC]JFbG6ŒÂOH=Q’T=QONW=LKVFb7UZž

!E="W5(: 8;FbZ5;g4I=L8;ObŒ‚GIFH:<=—WFH7(FbG98;OcKVFb7UZN8;O\M4I5C2=%K6KVFHZ7~EN8(KkFHZNKVMFb4I=LW ZJ:<=Q4I5UJNK=Bc‘5(46GDKkGI58%FaW

W=%KFb7UZ=Q4DK]R%C2=Q46GD8;FHZOb_X:<5U4I=GIEN8%Z?CQ8%ZkSN=M4I=%K=QZGI=%WAE=Q4I=@]ˆ!=4I=LKVGI46FaC2G‘5(J49KV=QOH’T=%KGI5X8!‚=Qˆˆ\EFaCDEhEN8Q’T=

WFH4I=%C2G6Ob_FHZNJ=`ZNC2=%Wk5UJ4$ˆ!5U4I™‘(}=XC2FbG6=\3$GI5UOb=Q:—_ fåth0R%ˆ\EFaCDEkFH:<MOH=Q:<=]ZG9KևT_ZNCDE4I5UZ5(JNK8%GD8hOH5;ˆ

7(498;ME‰K\WFb46=%C2GIOH_TRU8;ZNW f¹>(>*h f“> *hR8h:ŠJObGIFHŒÂM4I5C2=%K6KV5U4$=QZ’FH4I5(Z:<=QZGSN8UKV=%W—5(Z<G6E=!#"$&%$'

f“>`njhK_ZNCDE465(Z5UJNKÖO8;Z7UJN8;7U=TRU8(KžGVˆ5XKV_KVG6=Q:qK‰‚5U4W=Q’T=QOH5(MFHZ7XKVFH7(ZN8%ObŒ‚M4I5C]=%KIKFbZ7g8;MMObFaC`8;GIFH5(ZNKS‰8(KV=LW

5(ZqG6E=JNK=˜5%$M4I5(7U4D8%:<:q8;SOb=gC25(:<MN5UZ=QZGDKKVJNCDE"8(K\˜‡m3 M465C2=%KIK5(49K2N†Fb™T=`ˆ\FaKV= R ‚5U4XKV_ZNCDE4I5UZ5(JNK

C2FH4DC2JFHGhW=%KFb7UZƒGIE=`4I=—=Q^FKVGhGˆ!5m5Â4I=`Oa8;G6=%W7gKV_KVG6=Q:qK]R 8;G6E=%W498;ObŒe0…efål*hc8;ZNW G6E=.3 EFaW=Q5ÕKV_KVG6=Q:

f3)(jhR•ˆ\EFaCDE„JNKV= 8 C25U:<MN5(Z=`ZG<:.5W=QOG6EN8;G"FbZNC2OHJNW=%K—EN8;49Wˆ\8%4I=QŒ‚Ob=Q’T=`OGIFH:<FbZ7 KB@GIE=LKV=GVˆ5¢JNKV=

‡TFHOa8;7U=f“>`lh‚5U4—8;Ob7U5(46FbGIE: W=%K6C24IFHMGIFH5(Zžž}= =`:<MEN8UKVFb–`=ŠG6EN8;G?G6EFaKhFaK?8;Z 8%4ISFHGI4D8%4I_¢K=QOb=LC2GIFH5(ZžR8(K

=Q’T=QZÕC25(Z‰KVFaW=Q4IFHZ7˜dJ‰KVGG6E=?W5U:q8;FHZ5%!EFb7(EŒÂG6E4I5UJ7(EMJG?K_ZNCDE465(Z5UJNKKV_KVG6=Q: W=%KFb7(ZÍRGIE=`4I=?8%4I=

:q8%Z_—:<5W=QOK!8%ZNW =QZ’Fb4I5UZ:<=QZGDK]

*JObG6FbŒ‚Oa8%Z7(JN8%7(= KVFH:ŠJO8;G6Fb5(Z‰KŠ8UK ˆ=QObOg8;46= Z5(GIEFbZ7¢Z=Qˆh+*~8;Z_*W=%KVFH7(Z=`4DK<C25U:ŠSFbZ="GIFb:.FbZ7

8;Z‰W SN=QEN8Q’Fb5U4D8;O‹KVFb:—JO 8;GIFH5(Z JNKVFHZ7¢…-,† GI5U7(=QG6E=Q4<ˆ\FHGIE XR!5(4qJNK=KVFH:<FbO8;4—C25U:ŠSFHZN8;G6Fb5UZNKŠ5;

M465(M46Fb=QG98;4I_Oa8%Z7(J‰8;7(=LK2,A5%ˆ!=`’T=Q4QRG655UJ4?™Z5;ˆ\OH=%W7U=<GIE=LKV=.C25(:—SFbZ‰8;GIFH5(ZNKh8%4I="8(WŒ‚E5C(R8%ZNWƒW5

Z5UGASN=QZ=+CNG!‚4I5U:Ü8§‚5U4I:q8%O‡gŒÂS‰8(KV=LW ‚4D8%:<=Qˆ5(4I™‘

B•‚GI=`48S4IFH=2ÍWFaK6C2JNKIKFb5UZŠ5%GIE=X8UW’U8;ZGD8;7U=%K5%‡!R 8;ZNWŠFHGDKOHFb:<FHGD8%GIFb5UZNKžˆ\E=QZ.8;GIG6=Q:<MG6FbZ7XGI5

8;MMOb_?FHGG65h…h†‡e$C2FH4DC2JFbGDK]R(ˆ!=XM46=%KV=QZG$5UJ4\C25U:<MN5(Z=`ZG$:.5W=QO0U} =XGIE=`ZŠM46=%KV=`ZGK=Q’T=Q498;O8%:<FbOHFb=%K

5;OHFbS498;4IFH=%K!SN8UKV=%W5UZGIEFaKXC25(:<MN5UZ=QZGA:<5W=QO0B GI5T5UObSN5%^5%\KJS465(JG6FbZ=%K\ˆ\EFCiEÕ8;4I=YE=QOHM‚JOž‚5(4

SJFHOaWFHZ7~GIE= G6Fb:<FHZ7~KJSŒ‚=QOb=`:<=QZG fl(oh\FaKkFbZGI465WJNC2=LWR$GIE=`Z 8%MMOHFb=%WƒGI5GIE=C]5(ZNKGI4IJ‰C2GIFH5(Z 5%h8

KVFH:<MOH=qKV_KVG6=Q:~}=YC‰ZFaKE S_ M4I=%K=QZG6FbZ78%Z„=Q^8;:<MOH=TR$C]5(:<MN5(Z=QZG9K˜‚5(4—:<5(G6Fb5UZ ’FaW=Q5~FH:q8;7U=

C25U:<M4I=LKIKVFH5(Zž

.

! "$#&- / 10

!E=q‡T_ZNCiE4I5(Z5(JNKh8%GD8qOb5%ˆ 5V‡m;7X7(498;MEƒ5c‘=Q4DKh8;Z=QOH=Q7T8%ZGSOb5CD™Œ‚Ob=Q’T=`OW8;G98;Œ2N5%ˆ+4I=QM46=%KV=`ZŒ

GD8%GIFH5(Z~‚5(4hC2=`4IGD8%FbZ~46=%8;OHŒÂG6Fb:<=YAFH7(FbG98;O!‡ Fb7(Z‰8;O3$4I5C]=%KIKFbZ7m50˜‡3 7X8%MMOHFaCQ8%GIFb5UZNK2‡„FaK8<’U8;46Fa8;ZG

5; GIE=YGI4D8UWFbG6Fb5UZN8;OÚW8;G983N5%ˆ 7(498;ME f¹>Bhifn*hˆ\E=`4I=kG6E=?8%:<5(JZG\5%\W8;GD8.C25(ZNKJ:<=%Wq8%ZNW M465WJNC2=LW

S_ =L8(CDE Z5W=k‚5(4g8;OHOFHGDK\FbZMJGDKX8;ZNW5UJGIMJGDK2RNFaK CN^=%W FHZ~8UW’U8;ZNC2= 8%GD83‰5;ˆ 7(4D8%MENKh8;46=k5%‚GI=QZ

JNK=%WƒFbZ¢KFb7(Z‰8;O\M465C2=%KIKFbZ7~G65~:<5W=QO4I=%8%ObŒ‚GIFH:<=—8;MMObFaC`8;GIFH5(ZNK]RSN=%CQ8%JNKV=qG6E=Q_5jc‘=Q4.8;Z¢FbZGIJFHGIFH’T=TR

’FaKVJ‰8;ObOH_Œ‚5(46Fb=QZGI=LWŠ8%MM4I5 8(CDE f4*h0

BAZ 8;MMObFaC`8;GIFH5(Z¢=Q^M4I=LKIKV=LW 8UKŠ8%Z ‡g 7(498;ME EN8(K—8~M4IFH5(4IF\SN=Q=`Z W=%C25(:.M-5 KV=%WƒFHZG65~:q8;ZN8%Œ

7(=L8;SOH=<KJSŒ‚M4I5USOb=Q: K2R=%8UCiEMN=Q4V‚5U4I:<FHZ7q8"WFaKGIFbZ‰C2G5(MN=Q498;G6Fb5(Z @$8;GhG6E=<K68;:<=—GIFH:<=TRG6E=ŠJZFbG_~5;

8;Zq5UM-=`4D8;G6Fb5UZ 5U4!5%Ú8kSOb5CD™?5; W8;G98kFaKM4I=%K=Q4I’T=LW"!EF KM465;’FaW=%K:<5WJOa8%4IFbG_§8;ZNW<GIE=MN5TKIKFbSFHObFHGV_

(8)

block DCT

Input

Output DCT

Input

Output

pixel

1 64

1 64

FH7(J46=—>>‡¢Z5W=§8;G\SOH5Ci™q8%ZNW MFb^=QOOH=Q’T=QO

5;•W=%K6C24IFHSFbZ7"8%Z¢8;MMObFaC`8;GIFH5(Z 8;GYWFdc=`4I=QZGhOb=Q’T=QOK•5%X8%SNKVG64D8(C]GIFb5UZž$,X=QZNC2=—8qW=%KFb7UZ=Q4hˆ!5U4I™K˜FbZ8

:<5U4I=<ZN8%GIJ498;Og8;ZNW¢FbZGIJFHGIFH’T=<K=QGIG6FbZ7f\† GIFH:<FbZ7~C25UZNKVFW=Q4D8%GIFH5(ZNK?W5Z5UGŠ=QZGI=`4?FbZGI58;Z*‡

W=%K6C24IFHMGIFH5(ZqŒ5(MN=Q498;GIFH5(ZNKg8;4I=§W=%K6C24IFHS-=LW MJ46=QOb_.FbZqGI=Q46:qK!5; GIE=QFH4\SN=QEN8Q’FH5(4`R-Få=TFbZqGI=Q46:qK!5; GIE=

FbZMJGDK #" q8;ZNW¢5(JG6MJG9K j" B (ž} = C25(ZNKFaW=`4?5(J4—SN=QEN8Q’FH5(498;O\:<5W=`OG65 SN="8;Z*‡

7(498;ME͍

BAZ~‡ƒ7(498;MEÕCQ8;Z"SN=k8%ZN8;OH_–`=%W<GI5?=%KGD8;SObFaKEq7(5T5WSN=QEN8Q’Fb5(4 f¹>Qrhe0ZqMN8;46GIFaC]JOa8%4QR8?GI498;ZNK0‚=Q4

:q8%GI4IFH^qCQ8%ZSN=k‚5(46:<=%WŠ‚4I5U: G6E=kFHZMJG9KA8%ZNW5(JGIMJG9KA5;c8%ObOZ5W=%K]Rˆ\FbG6Eˆ\EFCiEqFbGgCQ8%Z~S-=Y=%KVG98;Œ

SOHFaKVE=%W<GIEN8%GAG6E=kFHZMJGX8%ZNW5(JG6MJGXSJc‘=Q49K•ˆ\FHObOžSN=kSN5(JZNW=%WžŽXZ=?C`8;Z~8%OaK5<8%ZN8;OH_–Q=hG6E=k7U4D8;ME

‚5(4XOb5T5UMNK\ˆ\FbGIE5(JGX8%ZFbZGI=`4I’T=QZFHZ7YW=QO8L_ Rˆ\EFCiEqˆ!5UJOaW<FH:<MOb_—8—W=%8UWOb5CD™.WJ4IFHZ7—=Q^=LC2JGIFH5(Zž

e0Z<GIE=X4I=`:q8;FHZNW=Q4$5%$G6EFaKK=%C2GIFH5(ZžRTˆ=M4I=LKV=QZGGIE=k‡m :<5W=`OFbZ<7U4I=%8%GI=Q4cW=QG98;FbOR;‚5(OHOb5%ˆ!=LWpS_

8;Z—8%ZN8;OH_KFaK5%‘FbGDKObFb:.FbGD8%GIFH5(ZNK]RQ8;Z‰W?8;Z?FbZGI465WJNC2G6Fb5UZ?GI55UJ48;MM4I5 8(CDEp‚5U4$8%MMOb_FbZ7k‡~C25UZNC2=QMGDK

GI5—GIE=kW=%KVFH7(Zq5; KV_ZNCDE4I5UZ5(JNK\EN8%4DWˆc8;4I= 

e0Z G6E=q‡„:<5W=QOR8"KVFb7UZN8;OM465C2=%K6KVFbZ7~8;MMObF CQ8;G6Fb5(ZFaKgW=%KIC]4IFbSN=%W~FbZGI=`4I:qK\5;l#+

R0nGI498;ZNK0‚=Q4DK

8;Z‰Wp5UM-=`4D8;G6Fb5UZNK2 !E=\ZJ:—S-=`45% #" =`Ob=Q:<=`ZG9K-Z=Q=LW=%W˜‚5(48%ZŠ5UM-=`4D8;G6Fb5UZŠG65kC]5(:<:<=`ZNC2=URQ8;Z‰W

GIE=kZJ:ŠSN=Q4\5% "B=QOb=`:<=QZGIK4I=%KJObG6FbZ7?‚4I5U: 8%Z~5(MN=Q4D8%GIFH5(ZžRž8%4I= CN^=%W"8;GhW=LKVFb7UZ~GIFH:<=TJ46Œ

GIE=Q4I:<5U4I=TRTG6E=ZN8%GIJ46=˜5%$G6E=%K=˜M4I5WJNC]=k8%ZNWqC25(Z‰KVJ:<=X=QOH=Q:<=QZGDKF K!Z5(G C‰^=%W—Œ$GIE=`Fb4!7U4D8%ZJO8;46FbG_

CQ8%Zƒ’U8;4I_~‚4I5U: KVFHZ7(OH=<ˆ!5U4DWKh5(4kMFb^=QOaK]RGI5"SOb5CD™Kh5;g8%4ISFHGI4D8%4I_ KVFH–Q=TR46=QM4I=LKV=QZGIFHZ7<‚5(4k=`^8%:<MOb=

=QZGIFH4I=hFb:q8%7(=%Klfl (h0 !E=?C25UZNKVJ:<=h=QOb=Q:.=QZG9K8;4I=?SJc‘=Q4I=%W"8;GXGIE=YFbZMJGAG65q8;Z~5UMN=Q4D8%GI5(4gJZG6FbO8%Z

FbZMJG\GIE4I=%KE5(O W FaK!46=%8(CDE=%W@GIE=k5(MN=Q498;G65(4XFaK\GIE=QZ (R5U4KGD8;46GI=%W‘e0ZqGIE=Y8%SNKVG64D8(C]GA:<5W=QO0RGIE=

4I=LKVJOHGDK8;46=AG6E=QZ.8L’U8%FbOa8%SOb=\FH:<:<=%WFa8;G6=QO¹_TRQF0=T%GIE=XM4I5WJNC2=X=QOb=Q:.=QZG9K8%4I=XM4I5WJNC2=%WŠˆ\FHGIE—Z5YW=QO8L_ 

!E=hZJ:ŠSN=Q45; C25UZNKVJ:.=A=QOH=Q:<=QZGDKZ=Q=%W=LWŠGI5?O 8;JZNCDE"8;Zq5(MN=Q498;G6Fb5(ZÍRNW=QMN=QZNWK!5UZqGIE=h5(MN=Q498;Œ

GIFH5(Z"8;Z‰W 5(Z"GIE=g7(4D8%ZJOa8;46FbG_<5%$G6E=h=QOb=Q:.=QZG9K2T5U4A=Q^8;:.MOb=TR 8pGˆ!5UŒ0WFb:<=QZ‰KVFb5UZN8;O‘WFKIC246=QGI=‹C25TKFbZ=

GI498;ZNK0‚5(46: 50 7ˆ\EFaCDEk4I=mJFH4I=%K8ASOH5Ci™Y5;Ín;^nAMFH^=`OaK8(KFHZMJG`R(:q8Q_SN=\4I=QM4I=%K=QZG6=%W˜FHZ?C25 8;49KV=QŒ

7(498;FHZW8;GD8 ‰5;ˆ 8(K\C]5(ZNKJ:<FbZ7Š>SOb5CD™ŠG65—KVGD8%4IGM4I5C2=LKIKVFHZ7ŽX4`R8;GX8h:<5(46=AC‰Z=h7(4D8%FbZžRGIE=‹

:q8Q_—S-=Y4I=QM4I=%K=QZG6=%W<8UKAC25UZNKVJ:<FbZ7—t%sŠMFb^=QOaKS-=]‚5(4I=§KVG98;4IG6FbZ7!E= C‰4DKVGX4I=`M4I=%K=QZGD8;G6Fb5UZ8UKIKJ4I=%K

GIE‰8;GX8;OHOG6E=hFbZMJGDKˆ\FHObOÍ8;4I46Fb’T=g8;G\G6E=YKI8;:.=AFHZNKVG98;ZGQRˆ\EFbOb=gGIE=YKV=LC25(ZNW—4I=QM46=%KV=`ZG98;GIFH5(Z<FH:<MOHFb=%K$8

SJc‘=Q46FbZ7Y5;FHZMJG=QOH=Q:<=QZGDKžJZGIFbO‘8%ObONEN8Q’T=\SN=Q=QZ<46=%C2=QFH’T=%WUeZ.FH7(J46=k>g8;Z‡g Z5W=A‚5U4\8Y

FaK!7UFb’T=QZ 8;Gg8pSOH5Ci™.8;Z‰W8;Gg8kMFH^=QO‘Ob=Q’T=`O0

(9)

3 1

1 2

2

3 c

d e f

a b

Fb7UJ4I=Yl>NB 7U=QZ=Q46FaCAG6E4I=Q=hZ5W=?W8%GD8 ‰5;ˆ 7(4D8%ME

œ {y%   w<¡zx%zÚ mŸNy%z w

BAZ‡m 7(498;MEqFK!8kC]5(ObOH=%C2G6Fb5(Z—5;ÚC]5(ZZ=LC2GI=%W—Z5W=%K]8(CDE<Z5W=h46=QM4I=LKV=QZGDK8?KVMN=%C]F9C‘C\5(MN=Q498;GIFH5(ZžR

GIE=\C25U:<MOb=`^FHGV_5;Nˆ\EFaCDEkW=QMN=QZNWK5UZkG6E=!OH=Q’T=QO%5;‘W=%KIC246FbMG6Fb5UZk5;‰GIE=8(K6KV5C2F8;G6=%W˜‚JZNC2G6Fb5UZN8;OSOb5CD™‘

!E=Y5(MN=Q4D8%GI5U4ˆ\FbOHO5(MN=Q498;G6=k5(ZKFb7UZN8;OK•ˆ\EFCiE"C25UZG98;FHZ8%Z~FbZC‰ZFbG6=hKVG64I=%8%: 5%’U8;OHJ=%K2ŽXMN=Q498;GIFH5(ZNK

:—JNKVG8%OaK5kSN=AFHZNW=QMN=QZ‰W=QZGQR(Få=TT8%ObOFHZG6=Q4D8UC2GIFH5(ZNK$SN=QGˆ!=`=QZ?5(MN=Q498;GI5U4DK!:—JNKVGÚS-=gKVMN=%C]F9CN=%W?S_?:<=%8;Z‰K

5;ÍGIE=XKGD8%GIFaC!G64D8%ZNK‚=Q49K2 !EFK _Fb=`OaWK87(4D8%ME—FbZ?ˆ\EFCiE—8%ObO5UM-=`4D8;G6Fb5UZNK!8%4I=\Z5W=LK2R8;ZNW—8;OHOGI498;ZNK0‚=Q4DK

8;46=8;4DC`KÖSN=QGˆ!=`=QZZ5W=LK2 !E=KVFb7UZN8;OHŒ‰5;ˆ 7(4D8%MENKM4I=%K=QZG6=%WAS_h†=Q=8;Z‰W1*=%K6KV=Q49KICDE:<FbG6G‘8;4I=CQ8%ObOH=%W

# !"#GI5—=Q^M4I=%K6K!GIE=8(C]G\GIEN8%G8%Z5(MN=Q498;G65(4XFaK!FbZ’T5(™T=LWŠˆ\E=QZ"8?M4I=QŒKVMN=%C]F9CN=%W<ZJ:—S-=`4!5;

Z=Qˆ ’U8;ObJ=%Kh8;4I=—8Q’U8;FHOa8%SOb=.8;GY8;OHO$FbZMJGDK]}=Š=Q:.MEN8(KFb–Q=YGIEN8%GhGIE=—GIE46=%KVE5(OaW‚5(4h=%8UCiE~FHZMJG`Rž8(K

ˆ!=`ObO\8UKpG6E=qZJ:ŠSN=Q4h5;gFbZMJGDK—C25UZNKVJ:.=%Wƒ8;Z‰W€G6E=qZJ:ŠSN=Q4Y5;g5(JG6MJGDK?M465WJNC2=%W‘R$FaK CN^=%WƒFbZ

8(W’(8%ZNC2=§8(KXKVE5%ˆ\ZqFbZ"FH7(J46=Š>U

 w‚w2x%›{(œ

}„E=QZW=Q’T=QOb5UMFbZ7—8<KV_ZNCDE4I5UZ5(JNKgW8;G98 ‰5;ˆ 8%MMObFCQ8;G6Fb5UZžR-FHGAFK•FH:<MN5(46GD8;ZGXGIEN8%GGIE=—‡ 7U4D8;ME

EN8UK8XS-5UJZNW=LWŠC2_C2OHFaCKICDE=%WJOb=T !EF KFbZ?G6J4IZ?FH:<MOHFb=%KNGIEN8%G=L8(CDEkZ5W=gCQ8%Z?S-=\FHZ’T5U™T=%Wk8XS-5UJZNW=LW

FbZGI=`7(=Q4$ZJ:—SN=Q4$5;G6Fb:<=LK2RU8L‚GI=`4!ˆ\EFCiE?FHZMJGc8;ZNWŠ5UJGIMJG!SJ c=`4DKˆ\FHObO46=QGIJ4IZ<G65k8hM4I=`’FH5(JNKKVGD8%GI=

5; ‚JObOHZ=%K6K 5(4=Q^8;:<MOH=TR%F“žˆ=AE‰8L’T=XGˆ!5hZ5W=LK!ˆ\FbGIE.8kC]5(:<:—JZFCQ8;G6Fb5(Z§W=QMN=QZNW=QZNC2_?SN=QGˆ!=`=QZ

GIE=Q:~Rˆ!=—C`8;Z~MN5TK=<GIE= TJ=%KGIFH5(Z~ˆ\E=QG6E=Q4FHGAF KAMN5TK6KVFbSOb=—GI5"CQ8;OHO=L8(CDE~Z5W=.8 CNZFHGI=?ZJ:ŠSN=Q4X5;

GIFH:<=%K]R28%ObOH5;ˆ\FHZ7g8AC25U:<MOH=QGI==Q^CiEN8%Z7(=5%NGIE=cKVMN=%C2FdCN=%WZJ:ŠSN=Q4‘5;‘W8;GD8R;ˆ\FHGIE5UJGÚ8(CQC2J:ŠJO8;G6Fb5(ZX5(4

KVG98;46’(8%GIFH5(Z<5UZ<GIE=\M‰8;4IG5;Í=QFbG6E=Q4$Z5W=T !E=XM465(MN=Q4IG_?5%ž=Q^FaKGI=QZNC]=!5;Ú8SN5(JZNW=%W<C]_C2OHFaCKICDE=%WJOH=

FaKXCQ8%ObOb=LW #09#+,+ *kFbZmf“>`rh0N†=Q= *=%KIK=Q4DK6CiE:.FbGIGM4I5%’FaW=YC25UZNWFHGIFb5UZNK•‚5U4C25UZNKVFKVG6=QZNC2_TRS‰8(KV=LW

5(ZÕ8kGI498;ZNK0‚=Q4A: 8;GI46Fb^?ˆ\EFCiEq46=QM4I=LKV=QZGDKGIE=?‡¢7(498;MEž

hz !‚¡axDœ {T ¡ ¥x‚ w -y.{T w‚w2x%›{(œ

5(4X8k7UFb’T=QZq‡ƒ7(498;MEÍRˆ!=ˆ5(JOW OHFb™T=XGI5 CNZ‰W 8kMN=Q46Fb5WFCKICDE=%WJOb= yTeÚKVJNCDE"8?KICDE=%WJOb=X=Q^FHGDK]R

ˆ!=YCQ8%Z"KV5(OH’T=Y8ŠK_KGI=Q: KVJNCDE"8(K\GIE=h5UZ=k7UFb’T=QZ<FHZ"Fb7UJ4I=Yl !E=kZJ:ŠSN=Q45%=QOb=`:<=QZGDKM465WJNC2=LW

8;Z‰WC25UZNKVJ:.=%Wp‚5(4X=%8UCiE<OHFbZ™—FaK\4I=`M4I=%K=QZGI=%WŠS_—GIE=h=Q^M4I=LKIKVFH5(ZNK+>

!"

#

"$&%

(') * +$,'-

.

/'0)1* 2/'43

5

,'- * 6/'73

8"9"

:

(10)

% + (

( 5 6

. ( 2

FH7(J46= 3> ž5(MN5(OH5(7(_ *~8;G64IFb^.8(K6KV5C2F 8;G6=%Wˆ\FbG6EFb7(J4I=hl

ˆ\E=Q46=

'

4I=`M4I=%K=QZGDKžGIE=ZJ:—SN=Q45%NGIFH:<=%KG6EN8;GZ5W=NFaK %} =cCQ8;ZYGIE=QZY’T=Q4IF¹‚_GIE==mJN8%ObFHGV_

SN=QGˆ!=Q=`Z<=QOb=`:<=QZGDK$M4I5WJNC2=%Wq8;Z‰W =QOH=Q:<=QZGDKC25UZNKVJ:.=%W'>

!"

#"$ % ,')

+$,'- * (

.

,')

2!,'43 * (

5

/'-

6˜,'43 * ( 8"9"

:

} =XC`8;Z.8(KIK5C2Fa8%GI=g8 RB d1

R+08UKKE5%ˆ\ZŠFHZ<Fb7(J4I=<3Aˆ\FHGIE—GIE=\7U4D8;ME<7(FH’T=QZkFHZ—Fb7UJ4I=

l‘B+C25UObJ:<Z.FaK8UKIKV5C]Fa8;G6=%Wˆ\FbG6E~=%8(CDEZ5W=TR‘8;ZNW~8Š465%ˆ ˆ\FHGIE"=%8(CDE=%W7(=T !E=?=%W7U=%K\EN8Q’T=kSN=Q=QZ

Oa8%SN=QOb=%WkFHZ<8%Z<8%4ISFHGI498;4I_k8UKVEFH5(ZžR8UKKE5%ˆ\Z<FbZ—GIE=\ObFbG6GIOH=!SN5%^=%K$FHZŠG6E=XFb7UJ4I=gl !E= 5!7\=QZGI4I_

W=BC‰Z=%K\GIE=YZJ:—SN=Q4!5%W8%GD8Š=Q^CDEN8;Z7U=%W<SN=QGˆ!=Q=QZqZ5W=8%ZNWNNe8pZ5W=qC25(Z‰KVJ:<=LK\W8;G98p5UZ

=%W7U=-G6E=\’U8;ObJ=\FaKZ=`7T8;G6Fb’T=@Q5UGIE=`4Iˆ\FaK=\FbG$FKÖMN5 KVFbG6Fb’T=TR%5(4= TJN8%OG65–Q=Q465F“N=LW7(=hFaKZ5(GC25UZZ=%C]GI=%W

GI5—Z5W=I

†=Q=8;ZNW-*=%K6KV=Q49KICDE:<FHGIGNKE5%ˆƒGIEN8%G8!Z=%C2=LKIKI8%4I_hC]5(ZNWFHGIFH5(Z‚5(4žG6E=$=Q^FaKGI=QZNC]=$5;‰8!’U8;ObFWhKV5(OHJGIFH5(Z

KICDE=%WJOb=TR]FaKžGIEN8%G

'

% 5(7

*

>UR;ˆ\E=Q4I=:q8;G64IFb^ ŠFKÖG6E=:q8;G64IFb^X5;‘5UJGIMJGDK8;ZNWkFHZMJG9KÖSN=QGˆ!=`=QZ

GIE=kWF9c‘=Q4I=`ZG\Z5W=%K•5%5(Z=k7(498;MEÍR8%ZNW

FbGDK\ZJ:ŠSN=Q45%Z5W=%K/fål>+h fålUljh0Ne0Z<8(C]GQRF“ 8—KV5(OHJGIFH5(Z y

=Q^FbG9K2RFHG\ˆ\FbOHOSN=Y8pZJObO‘’T=%C2G65(4‚5U4AG6E=hGI498;ZNK0‚=Q4\:q8;G64IFH^>

y

* ("!

†Fb™T=`ˆ\FaKV=c8;Z_k:—JObG6FbMOH=$5;ÍGIEFKZJObO’T=%C2G65(4ˆ\FbObO‰8;OaK5SN=8gKV5(OHJGIFH5(ZžRT_Fb=QOWFbZ7X8g8%:<FbOH_5;ÖKV5UObJG6Fb5(Z‰K2

!E=%K=XKV5UObJG6Fb5(Z‰K$C25(464I=%KMN5(ZNW?GI5h8gKVFbZ7(Ob=5(4:—JObG6FbMOH=FHGI=Q498;GIFH5(ZNK5;‘GIE=cKV_KVG6=Q:MN=Q46Fb5WTe0ZGIJFHGIFH’T=QOb_UR

5(Z=XCQ8;Z—K=Q=\GIEN8%GGIE=Q46=!:—JNKVG=Q^FaKG$8KFbZ7UOb=!8%:<FbOH_5;ÍKV5UObJG6Fb5UZŠ’T=%C]GI5(49K2R%SN=%CQ8;J‰KV=\GIE=XKV_KVGI=`: :—JNKG

SN=—8;SOH=?GI5<46JZ‚5(4g5(Z=?5U4˜:.5(4I=hMN=Q46Fb5WK]Rˆ\EFbOH=?8%G˜G6E=?K68;:<=YGIFH:<=TRG6E=—8;S‰KV=QZNC]=?5;cC25(Z‰WFbG6Fb5(Z‰8;O

C25U:<:ŠJZFaC]8;G6Fb5(Z‰K FH:<MOHFb=%K$GIE‰8;GXGIE=Q46=hFaK!5(ZOb_<5UZ=kMN5TK6KVFHSOb=Y=Q^=LC2JGIFH5(ZqK6CiE=Q:<=T !E=YKV_KVG6=Q: FHGDKV=`O“

:q8Q_hSN=h8hKVJSNK_KGI=Q:+5%8hOa8;467(=Q4Ú7(4D8%MEžRFbZ—ˆ\EFaCDE—CQ8(K=AG6E=X:<FbZFH:?J:*M-=`4IFb5W—5;žG6E=XOa8;467(=Q47U4D8;ME

ˆ\FbOHOSN=Y8k:ŠJObGIFHMOb=\5%$G6E=hMN=Q4IFH5WK•5%8%ObOÍKVJS7U4D8%MENK2 !EFaK\CQ8%ZqS-=YK=Q=QZqFbZGIJFHGIFH’T=QOb_‚4I5U: GIE=‹8UC2G

GIE‰8;GhF“#

8%ZNW$&%§8;46=ŠGˆ5KJSŒ‚:q8;G64IFC2Fb=%K\4I=`M4I=%K=QZGIFbZ7qKVJS‰KV_KVGI=`:qKA5; $RžF¹!G6E=Q_KEN8;46=<8<ObFHZ™‘R

GIE=Q_<ˆ\FbOHOžKEN8;46=?8kMN=Q4IFH5W ˆ\EF CiE.:ŠJNKG\K68;GIFK‚_qSN5(G6EZJObO‘’T=%C2GI5U4DK]

e0Z<5(49W=Q4\GI5?46=QZNW=`4G6E=YCQ8;OC2JO 8;GIFH5(ZNK:<5(46=A: 8;ZN8%7(=%8%SOb=TRTˆ=ˆ\FbOHO-7U=QZ=Q498;OHOb_.C25(ZNKFaW=`4!5(ZOb_—GIE=

Ob=L8(KVG\5%GIE=kK5(OHJGIFH5(Zq’T=%C2G65(4DK!5%$G6E=YKV_KVG6=Q: 5Â5U4KJSNK_KGI=Q: 7ÚJZNW=`4XC25(ZNKFaW=`4D8;G6Fb5UZž

'( )(*,+-*.( 0/21 3

!E=‡m 4I=QM46=%KV=`ZG98;GIFH5(ZƒE‰8(KkObFH:<FbG98;G6Fb5(Z‰K2RG6E=<:<5 KVG˜‚JZNW8;:.=QZG98;OSN=QFbZ7~GIEN8%G?FbG?C`8;Zƒ5UZOb_ƒSN=

8;MMObFH=%WpG65?8hObFb:.FbGI=LWkKVJSŒ0C]Oa8(K6K5%ÚKVFb7UZN8;ONM465C2=%K6KVFbZ7—8;MMOHFaCQ8%GIFH5(ZNK]RmZ‰8;:<=QOH_kG6E5TK=Aˆ\E=`4I=G6E=W8;GD8

(11)

GI498;ZNK0‚=Q4DKqCQ8%Z SN= KVG98;GIFCQ8;OHOb_ KVMN=%C2FdCN=%We0Z 8UWWFbG6Fb5UZžR!S46=%8;™FbZ7¢G6E=C25(:.MOb=QG6=~8%MMObFCQ8;G6Fb5UZ„FbZGI5

KVJSŒÂM4I5(SOb=Q:qK]RN8(KA46=QM46=%KV=QZGI=LW S_qGIE=YZ5W=%KX5;c8;Zƒ‡g 7(498;MEÍR:q8Q_<ObFH:<FbGG6E=kMN5TK6KVFHSFbOHFbGIFH=%K!‚5(4

7(OH5(SN8%OA5UMGIFH:<Fb–L8;GIFH5(ZžÚBAMM465T8UCiE=LKŠKJNCiE 8(KŠG6EN8;G—5; ! f3 (jhR$E5%ˆ!=Q’T=`4QR$8%ObOH5;ˆ 8;JG65(:q8%GI=%W

5(MGIFb:.Fb–%8%GIFb5UZq5;cKV_KVG6=Q:qK!ˆ\EF CiE CNGGIE=Š‡T_ZNCDE4I5UZ5(JNKh8%GD8<Ob5%ˆ :<5W=`O0RMN8%4IGIFC2JO 8;4IOH_qFbZG6=Q4I: K

5; :<=Q:<5U4I_?8%ObOH5CQ8;G6Fb5(Zmf3>*h0

XFb’T=QZ 8~KVJFHGD8%SOb=.8;MMObFaC`8;GIFH5(ZžRžG6E=Q4I=.FaKk8%Z5(G6E=Q4YObFb:.FbGD8%GIFH5(Z~ˆ\EF CiEGI5~JNKY8;MMN=%8%4DKk46=QOb=Q’U8%ZG>

‡ 8(KŠM4I=%K=QZG6=%WƒS_€†=Q= *=%KIK=Q4DK6CiE:.FbGIG`R8;ZNW FH:<MOb=`:Š=]ZG6=%W~FbZ¢GIE=‡ W5(:q8%FbZ¢5;‹GIE=

W=%KFb7UZKV_KVGI=`:$' fåth0R‘8;MMN=%8%4DK˜SN=QG6GI=Q4‹8(W8%MGI=%W~GI5q:<5W=QObFHZ7<K5;‚Gˆ\8%4I=—GIEN8%Z E‰8;4DWˆ\8;46=T

!EFK!FaK\WJ=hG65?GIE=hSOH5Ci™<Z‰8;GIJ4I=h5;ÚGIE=hG64D8;Z‰K‚=Q49KA8%ZNW<5(MN=Q4D8%GIFH5(ZNK]R-ˆ\EFCiE"C25U4I46=%KVMN5(Z‰WC2OH5TKV=`Ob_?GI5

8;ZqFHZMJG\5U4A5UJGIMJG\SJc‘=Q4X8;Z‰W8?KVJS4I5UJGIFHZ=?CQ8%ObORm46=%KVMN=%C]GIFb’T=`Ob_T(}„EFbOb=gSJc‘=Q4DKX8;Z‰W KJS465(JG6FbZ=%K

8;46=hˆ!=QOHObŒKVJFHGI=%Wk‚5(4\FH:<MOb=`:Š=QZTG98;G6Fb5(Z?J‰KVFbZ7?5(Z=h5(4\:.5(4I=gM4I5U7(4D8%:<:q8%SOb=g˜‡3 ¾K]RG6E=Q_.8;4I=hMN5T5(46Ob_

KVJFbGI=LW G65—8ŠW=%WFaC`8;GI=LW …‹†‡eEN8%4DWˆc8;46=˜FH:<MOH=Q:<=]ZG98;GIFH5(Zž

e0GFKC2Ob=%8%4$GIE‰8;G!G6E=Q46=CQ8%ZŠSN=g8˜7U4I=%8%G\W=%8%ON5;KFb:<FHOa8%4IFbG_SN=QGˆ=Q=QZ—8;Z"‡ 7U4D8;MEq8;ZNW.8;Z.f\†

:<5W=`O-5%Ú8˜EN8%4DWˆc8;46=QŒÂS‰8(KV=LW KFb7UZN8;O‘M4I5C2=LKIKVFHZ7—KV_KVG6=Q:~Te0Z.8;Z"8;MMObF CQ8;G6Fb5(Z.KVJ‰CiEq8UK:<5UGIFH5(Z—’FW=Q5

C25U:<M4I=LKIKVFH5(Z—FbZ<46=%8;O‘GIFH:<=TRUC25(:<MOb=Q^Y5(MN=Q4D8%GIFH5(ZNK\KJNCiE 8(K\8?WFKIC246=QGI=gC25TKFbZ=XGI498;ZNK0‚5(46: 50 78%4I=

5;‚G6=QZMN=Q4‚5(46:<=%W<S_ 8ŠKFbZ7UOb=?W=%WFaC`8;GI=LW C]Fb4DC]JFbG`Rˆ\EFCiEqGD8%™T=%KX8pSOH5Ci™q5%W8;G98<8;GXGIE=˜FHZMJGg8;Z‰W

M465WJNC2=%KY8<SOb5CD™~5;gW8%GD8"8;GhGIE=—5(JGIMJG`!E=<M46FbZNC2FHMN8;O WF9c‘=Q46=QZNC2=k‚5U4˜G6E=.W=%KVFH7(Z=`4˜FKFbZGIE=

GIFH:<FbZ7Š5%gW8;G98 GI498;ZNK0‚=Q4DK]3 465WJNC2= 8;ZNW 5UZNKVJ:<=?GIE46=%KVE5(OaWK˜FbZ¢‡„:—JNKVGSN=—4I=QMOa8(C]=%W S_~8

KVG64I=%8%:+5;ÍW8%GD8Rˆ!5U4DW?S_Yˆ!5(49WR(G65˜46= N=%C]G$GIE=\5UMN=Q4D8%GIFb5UZ<5;ÍGIE=\E‰8;4DWˆ\8;46=8%G8˜f\=Q7UFaKVG6=Q4ž4D8%ZNK‚=Q4

Ob=`’T=QO0eGXFaK\SN8UKVFaC`8;ObOH_"8ŠSN8;Z‰Wˆ\FaWG6E8;ZNW~KGI5U4D8;7U=?M4I5USOb=`: ŒGIE=`4I=?8%4I=QZ åGX=QZ5(J7(E~MFHZNKA5(Z8.CiEFHM

GI5—MN8UKIK\SOb5CD™K!5%W8;GD8—8;Gg8?GIFb:.=TR(Z5U4W5T=LK•5UZ=hˆ\8;ZGXGI5—KVG65(46=?W8%GD8?JZZ=%C]=%KIK68;4IFHOb_T

+ -1 3 + +

ŽXZ="8;MM4I5T8UCiE GI5:<5W=QOHFbZ7Õ8 E‰8;4DWˆ\8;46=~K_KGI=Q: 8%GŠG6E="f•=`7(FaKGI=Q4 ž4D8%ZNK‚=`4ŠOH=Q’T=QO0RžFKkGI5S4I=%8%™

W5%ˆ\Z<SOH5Ci™Œ‚5(4IFH=QZGI=%Wk5UM-=`4D8;G6Fb5UZNK!FbZGI5YKVFH:<MOH=Q4KVJSŒÂ5UMN=Q4D8%GIFb5UZNK2RJZG6FbO=%8UCiE—5(MN=Q498;G6Fb5(Zqˆ5(4I™K$5(Zq8

KVFHZ7(OH=ˆ!5U4DW<5; W8%GD8}=hWFKICQ8%4DW<GIEFaK!8%MM465T8(CDEžRN8UK•FHG!_Fb=QO WK8;ZqJZˆ\Fb=QOW_<8%ZNWqC25(JZG6=Q4IFHZG6JFbG6Fb’T=

7(498;MEÍR8%ZNW F K\8;OaK5—8pMN5T5U4:<5W=QON‚5(4\…h†‡me!C2FH4DC2JFHGDK]

} =§CiE5T5TKV=YFbZNKGI=%8UWGI5—:<5W=QOžSOb5CD™K!5%\W8;GD8.8;GXGIE=§f Ob=`’T=QOž8UK•SN=QFHZ7<GI498;ZNK0‚=Q4I46=%WK=Q4IF8;OHOb_TR

ˆ!5U4DWŠS_kˆ5(49W A5W=%KFbZ—5(J47(498;MEÍR8;Z‰W<C25(:.M-5UZ=QZGDKFHZŠ5UJ4!OHFbS498;46_TRT8;46=C]5(:<MN5TK=%W?5;žGˆ5kKJSŒ

=QOH=Q:<=QZGDK]R8?GIFH:<FbZ7?C25U:<MN5(Z=QZGX8;Z‰W~8;Z5UMN=Q4D8%GI5(4`}=kJNK=kGIE=˜G6Fb:<FHZ7?C]5(:<MN5(Z=QZG\G65<4I=`M4I=%K=QZG

GIE=kGIFH:<FbZ7k5;c8—C2_C2ObF CAGI498;ZNK0‚=Q4QRNˆ\E=QG6E=Q4XFbGXS-=§8;Gh8—SOb5CD™<Ob=`’T=QO5‚ZN8;G6Fb’T=?‡;7c5(4gKV=Q46Fa8;OÚKVG64I=%8%:

50C]Fb4DC]JFbG6ŒÂOH=Q’T=QO 79

e0ZŠ5U4DW=Q4G65˜: 8;™T=!G6E=gCiEN8%Z7(=`ŒÂ5%‚ŒÂ:<5W=QO=%8UKVFb=`4QR(5UJ4!OHFbS498;4I_Y5;Í=QOb=Q:.=QZG9KžC25(ZGD8%FbZNK$SN5(G6E<SOH5Ci™Œ

Ob=`’T=QON8;Z‰W C]Fb4DC]JFbG6ŒÂOH=Q’T=QOGIFb:.FbZ746=QM46=%KV=QZGD8%GIFH5(ZNK$‚5(4XWFdc=`4I=QZG5(MN=Q4D8%GIFH5(ZNK]} =Z5(GI=gGIEN8%G\GV_MF CQ8;OHOb_

GIE=!GIFH:<FbZ7\KVJSŒÂ=`Ob=Q:<=`ZGÍCiEN8%Z7(=LK2R%ˆ\EFbOH=!FbZGI=`4IZN8%ObOb_XGIE=!5(MN=Q498;G6Fb5(Z?46=Q:q8%FbZNKž8%Z?5(MN=Q4D8%GI5U4$5(Z?SOH5Ci™K

5;cW8%GD8RGIE=§KI8%:<=Y8(KAˆ5(JO W SN=?JNKV=LWFbZ $'! !Ne0Z"GIE=h‚5(ObOH5%ˆ\FbZ7.KV=%C]GIFb5UZžRNˆ!=?W=%KIC246FbSN=h5(J4

f\†ƒC]5(:<MN5(Z=QZG:<5W=QO

(12)

interface

operator timing sub-element

FH7(J46=s!>‘B !E46=Q=QŒ‚MN8;46G†FHS4D8%4I_ 5(:<MN5UZ=QZG

' #

ŽXJ4X8;MM4I5 8(CDE~KVMN=%C]F9CN=%Kf\†ƒC25U:<MN5(Z=`ZG9KJNKFbZ7.8?KV_ZNCDE4I5UZ5(JNK\GIFH:<FbZ7kKJSŒ‚=QOb=`:<=QZGQ(}=YC25(:<Œ

MOH=QGI=QOH_YKV=QMN8%4D8%GI=XGIFb:.FbZ7X8UKVMN=%C2G9K 5%8hC25U:<MN5(Z=QZGž‚4I5(:+5UMN=Q4D8%GIFb5UZN8;O‘8UKVMN=%C2G9K2RT4I= ‰=%C2GIFHZ7XGIE=\JNKJN8;O

C25UZNC2=QMG6JN8;OÚWFKVGIFHZNC2G6Fb5(ZqSN=QGˆ!=`=QZqGIE=<"!+R0nŠ5%8<C2FH4DC2JFHG\8%ZNWGIE= R0n 0n 1˜5;c8—C2Fb49C2JFHGQ !E=kGIFHŒ

:<FHZ7qKVJSŒÂ=`Ob=Q:<=`ZG\F K‹J‰KV=%W~GI5qGI498;ZNKFbG6Fb5(ZSN=QGˆ!=Q=`Z8;Z ‡g 7U4D8;ME¢8;ZNW8;Z€f\† C2FH4DC2JFbG:<5W=QO0

!E=X5(MN=Q498;GIFH5(Z"KVJSŒÂ=`Ob=Q:<=`ZGˆ\EFaCDE—M-=`4V‚5(46:qKG6E=•‚JZNC2GIFH5(Z<FK$GI4I=L8;GI=LWŠ8UK!8 6SOa8UCi™?SN5%^Rˆ\FHGIE5UJG

4I=`7T8;49W‹‚5U4$FbG9KFb:<MOH=Q:<=]ZG98;G6Fb5(Z͍ !EFaK8;MM465T8UCiE—WFdc‘=Q4DK‚4I5U: =Q^FaKVG6FbZ7gKV_KVG6=Q:qK‚5(4W=`’T=QOb5UMFbZ7MN=Q4IŒ

Fb5WFaCC2FH4DC2JFbGDK]RKVJNCDEq8(KB , fXB† fål*h0R &! f3 (h0R5(41% fl;shRˆ\EFCiE.JNKV=™Z5%ˆ\Ob=LW7(=

5;XG6E=—FbZGI=Q46ZN8;O$5UMN=Q4D8%GIFb5UZNKkGI5"MN=Q4V‚5U4I: 8;OHOb5CQ8%GIFH5(Z¢8%ZNW 5(MGIFb:.Fb–%8%GIFb5UZžN} =—=Q:<ME‰8(KVFH–Q=?GIE‰8;Gh5(J4

8;MM4I5 8(CDEFaK!G98;467(=QG6=%Wq8;GgKV_KVGI=`:<ŒÂOH=Q’T=QONf \†ƒW=%KFb7(ZÍRN8;ZNW<Z5UG8%GAFHZNWFb’FaWJN8;OÍC25(:<MN5UZ=QZG\W=%KFb7UZž

+ * + * *

}=?JNKV=§8ŠGIE46=Q=QŒ‚MN8;46G:q8 mJ=`GIGI=Y8UK‹G6E=?KGD8%4IGIFHZ7qMN5(FbZG\‚5(4h=%8(CDE~C]5(:<MN5(Z=QZG` !E=?:q8 mJ=`GIGI=hFHZŒ

C2OHJNW=%KžGIE=GIFH:<FbZ7XKMN=%C2F9C-CQ8;G6Fb5(ZÍRQGIE=\5UM-=`4D8;G6Fb5UZžR(8%ZNWkFbZGI=`4V8(C]= 67(OHJ= ASN=QGˆ!=`=QZkG6E=!FHZMJGQ5(JGIMJG

8;Z‰W GIE=.5(MN=Q4D8%GIFH5(Z 5Fb7UJ4I=—s79A5UGI=—GIEN8%GkZ5UG?8;OHOMN8;46GDKk5;XG6E=—:q8TJ=QG6GI=?Z=Q=LW SN= CNOHOb=%W~Œ\‚5(4

=Q^8;:<MOb=TRTGIE=Q4I=FK•498;46=QOb_.8;Z_<FbZMJGXFbZGI=Q48(C2=46= TJFb46=%WŠF“ÚSN5(G6EFbZMJGX8;Z‰W 5(MN=Q498;G6Fb5(Z"5CQC2J4g8;GX8

SOH5Ci™<OH=Q’T=QO

!=QOb5%ˆ ˆ!=gW=%KIC]4IFbSN=XS4IFH= N_?=%8UCiE—5;G6E=XGIE46=Q=AM‰8;4IG9KFHZ<FH7(J46=s !E=gMN8;46G!Oa8%SN=QOb=%W— ›y%zx% Ny

FaK.8;Z 8;4IFHGIE=`:<=QGIFCŠ5(4.Ob5(7UFaCQ8%O5(MN=Q498;G65(4qˆ\EFaCDE*W=%K6C24IFHSN=%KpG6E=~SN=QEN8Q’Fb5(4.5;?G6E=~C]5(:<MN5(Z=QZG`!e0Z

$' *GIEFaKkˆ!5UJOaWƒSN="CQ8;OHOb=%W8;Z

B _MFaCQ8%ObOH_TRžGIEF K˜FaK?8ÜKJS465(JG6FbZ=T!E= 5UMN=Q4D8%GI5(4

GD8%™T=%KkFbZMJG—W8%GD8 FHZ 8%Z„8%4ISFHGI4D8%4I_ ‚5U4I:q8%G 50K68L_ R8 SOH5Ci™ 5;‹n ^¢n~ˆ!5U4DWK7DR8;ZNW¢_FH=QOaWK˜4I=LKVJOHGDK

ˆ\FbG6E5(JG!8%Z_—W=QOa8Q_TRUC25(464I=%KMN5(ZNWFHZ7kG65Y8˜KJS465(JG6FbZ=gCQ8;OHO0"!E=lR0n 0n1 0

1

5;žG6E=gC25(:<MN5UZ=QZG

FaK$M46=%KV=`ZG6=%WpG65hGIE==`^G6=Q4IFH5(4$S_?GIE=Xx <wv֝9›!‚› ›-x !E=XGIFH:<FbZ7FbZNC]ObJNW=LK$8kCDE=%CD™h5(Zq8%ObO

FbZMJGDKG6EN8;GhGIE=Q_~FbZNW=Q=%W~8;464IFH’T=?ˆ\E=QZGIE=—GIFH:<FbZ7.WF 8;7(498;: FHZNWFaC`8;GI=LKAGIEN8%GkG6E=Q_~8%4I=—=Q^M-=LC2GI=%W‘R

8;Z‰W =Q^MObFC2FbGX7(=QZ=Q4D8%GIFb5UZ¢8;Z‰WƒKVJMM4I=%K6KVFH5(Zƒ5%\5(JGIMJG9K2RÚ8;OaK5~8UCQC25(49WFbZ7GI5qG6E=ŠG6Fb:<FHZ7qWF8;7U4D8;:Ս

BAZ Nx%›y z{T›FaKJNK=%W G65EN8%ZNWOH=<8%Z_WFdc‘=Q4I=QZ‰C2=%KFbZ~‚5(46:q8;GSN=QGˆ=Q=QZGIE=—GIFH:<FbZ7.KVJSŒÂ=`Ob=Q:<=`ZG

(13)

inputs

interface

outputs

operator

exist check

timing

initialization information

Fb7UJ4I=ho >X=QGD8%FbO5%GIE= !FH:<FbZ7?KVJSŒÂ=`Ob=Q:<=`ZG

8;Z‰WŠGIE=g5(MN=Q4D8%GIFH5(Z6@GIEFKFbZGI=`4V8(C]=TR;‚5(4=Q^8;:<MOH=TR%EN8;ZNWOb=%KGIE=XSJc‘=Q46FbZ7Y5;Ú8kKGI46=%8;: 5;ˆ5(4DWK‚5(4

8?SOb5CD™Œ‚5(46Fb=QZGI=LWŠ5(MN=Q498;GI5U4Q

( )( / /*

!E=hGIFH:<FbZ7kKJSŒ‚=QOb=`:<=QZG$4I=QM4I=%K=QZG9K!8kZ5%’T=QOÍ8;MM4I5T8UCiEqG65—f\†ƒW=%K6C24IFHMGIFH5(ZNK]R8%ZNW<ˆ!=M46=%KV=`ZGFbG

E=Q46=AFHZŠ7U4I=%8%GI=Q4cW=QG98;FbO"!E=G6Fb:<FHZ7hKJSŒ‚=QOb=Q:.=QZGFbZ‰C2ObJNW=%K$GIE46=Q=WFaKVG6FbZNC]G‚JZNC2G6Fb5UZNK2R8(K!FHZNWF CQ8;G6=%W

FbZ.FH7(J46=o >CQ8%OaC2JO8;G6FbZ7hGIE=AG6Fb:<FHZ7hWF 8;7(498;: 5;Ú8YC25(:<MN5UZ=QZG*@TCDE=%CD™FHZ7G6EN8;GGIE=XFbZMJGDKFbZNW=`=%W

8;464IFH’T=\ˆ\E=QZ—GIE=Q_§KVE5UJOaW@8%ZNW<C25UZG64I5UObObFHZ7G6E=A=`^FKVGI=`ZNC2=!5%žG6E=A5UJGIMJG!’U8;OHJ=%KKV5hG6EN8;GGIE=Q_Y5(ZOH_

I=`^F KVG ˆ\E=`Z<GIE=XGIFH:<FbZ7hWFa8%7(498;: KVMN=%C]F9CN=%KGIEN8%GGIE=Q_—8%4I=’U8%ObFaW 50C]5(ZGI4I5UON5;žG6E==Q^FaKGI=QZ‰C2=!5%GIE=

5(JGIMJG9K•MN=Q46:<FbG9K!CDE=%CD™FHZ7hGIE=hFHZMJG9KA8%G\GIE=‚5(OHOb5%ˆ\FbZ7—C25(:<MN5UZ=QZGB7D

¥x Âz !Tzx‚ ¢z¡!›y zx‚ 

f!Œ‚Ob=Q’T=`OFbZFHGIF8;ObFH–%8;G6Fb5UZ—8;ZNWŠG6=Q4I:.FbZN8%GIFb5UZ—C25(Z‰WFbG6Fb5(Z‰K5;Ú8YC25(:.M-5UZ=QZGQRT8UK\KVMN=%C2FdCN=%W?FbZ—GIE=gGIFb:.FbZ7

WF8;7(498;: 5;X8.C2Fb49C2JFbGgW8%GD8(KE=Q=QG`Rž8;46=?EN8;Z‰WOb=%WS_G6E=?GIFH:<FbZ7—KVJSŒ‚=QOH=Q:<=QZGQ !EFaKAFHZNC2OHJNW=%K\4I=%K=QG

KV=mJ=`ZNC2=%K8;ZNW<GI=`4I:<FHZN8;G6Fb5(Z%5Â= å7T=Q:.MG_FHZ7hSJc‘=Q4DK7D !E=hFbZFHGIFa8%ObFH–%8;G6Fb5(Z.8;Z‰W G6=Q4I:.FbZN8%GIFb5UZŠFHZ‚5(46Œ

:q8%GIFb5UZF K•FHZNWFaC`8;GI=LW FbZՐFb7UJ4I=Ys<S_ G6E=—WFH4I=%C2GXC]5(ZZ=LC2GIFH5(ZNKASN=QGˆ=Q=QZqGIE=?x qKVJSŒÂ=`Ob=Q:<=`ZG

8;Z‰WGIE=YFbZMJG 5UJGIMJGQ!E=LKV=?C]5(ZZ=LC2GIFH5(ZNKXCQ8;464I_qFbZFbGIF8;OHFb–%8%GIFb5UZ<FbZ‚5(4I: 8;GIFH5(Z"S-=`GVˆ=Q=QZqGIE=kGIFHŒ

:<FHZ7?KJSŒ‚=QOb=Q:.=QZG9K5%8—KV_KVG6=Q:~ !=LCQ8;JNK=hGIE=hSN=QEN8Q’Fb5(4\5%8;Z"5(MN=Q498;GIFH5(Z"FaK\Z5(Gg8 c‘=%C2G6=%W<S_.GIE=

FbZFbGIF8;OHFb–%8%GIFb5UZžRTGIEFK!FbZ‚5U4I:q8%GIFH5(Z<F K!Z5(GXMN8(K6KV=%WqGI5—GIE=Y ›y%zxL -yT

Azy%z ¢›Tx%›y;w

!E=hGIFH:<FbZ7?KVJSŒÂ=`Ob=Q:<=`ZG$FK\W=Q’T=QOH5(MN=%WŠ‚4I5U: GIE=kK5;‚Gˆ\8%4I=hGI5T5UOaKXW=%K6C24IFHS-=LW FHZfålUoh0,A=Q4I=gˆ!=hˆ\FbOHO

dJNKG?7(Fb’T="8S46Fb=2gKJ:<:q8%4I_~5%hGIE=qMN8%4D8%:<=QGI=`4DK˜ˆ\EFaCDE¢KVMN=%C2F¹‚_ƒGIE= G6Fb:<FHZ7!E=LKV=qMN8;498;:<=`GI=Q49K

(14)

ˆ\FbOHOžSN=kJNK=%W FHZ G6E=?f \†ƒW=%K6C24IFHMGIFH5(Zq5;8—KV_KVG6=Q:ÜFbZqGIE=˜‚5(OHOb5%ˆ\FbZ7—KV=%C2G6Fb5UZžN3$8;498;:<=`GI=Q49K!GI5—GIE=

GIFH:<FbZ7<GI5T5UOaK?8;46=>žGIE= '% „5;XGIE=<C25U:<MN5(Z=`ZG@ÖG6E=—ZJ:—SN=Q45%XFbZMJGk=Q’T=QZGDKXM-=`4kMN=Q4IFH5W'@

GIE=kZJ:ŠSN=Q4\5%5(JG6MJGh=Q’T=QZGDK!MN=Q4MN=Q46Fb5W'@Í8;ZNWG6E=?ZJ:ŠSN=Q4\5%\C]Ob5CD™qC2_C2Ob=%K\FbZÕ8 !  !E=

'% „5;gGIE="C25U:<MN5(Z=QZGkFKkKM-=LC2F9CN=LW€FHZƒ5(49W=Q4?G65~EN8;ZNWOb=qFbZFHGIF 8;ObFH–%8;G6Fb5UZƒ8%ZNWƒGI=Q46:<FbZN8%GIFH5(Z6>

GIE=Š5UJGIMJG˜FKZ5(G§C25(ZNKFaW=`4I=%W’U8;OHFaW~JZGIFbO ' % C2OH5Ci™ÕC2_C]Ob=%K8Q‚GI=Q4hG6E=ŠFHZMJG‹8;4I46Fb’T=%K]Rž8;Z‰W

ObFH™T=Qˆ\FaK=GIE=?5(JG6MJGhC25UZG6FbZJ=%K\GI5<SN=Y’(8%ObFW JZGIFHO$'% ¢C2_C2Ob=LK\8L‚GI=`4GIE=YFbZMJGAFKAZ5<OH5(Z7U=Q4

’U8;OHFaWUBAObOC]5(:<MN5(Z=QZG9K8%4I=\MN=Q46Fb5WFC(R(8UK$W=Q: 8;ZNW=LW˜S_p‡m @(G6E= ! <FaKG6E=!ZJ:—SN=Q4ž5;ÍC2_C2Ob=LK

5; GIE=YKV_KVG6=Q: C2Ob5CD™<MN=Q4\MN=Q4IFH5W 5%$G6E=h7(Fb’T=`ZC]5(:<MN5(Z=QZG`

!› ¢› -x%zx  

!E=?G6Fb:<FHZ7—KVJSŒÂ=QOH=Q:<=QZG\:—JNKVGXSN=?ˆ\4IFbG6GI=QZ"FbZ8<Oa8%Z7(J‰8;7(=.CQ8%MN8;SOH=?5;=Q^M4I=LKIKVFHZ7<G6E=?:<5(:.=QZG9K

ˆ\E=QZ8qKFb7(Z‰8;O$=Q^FaKGDKAFHZG6E=—f\† K=QZNK=@-ˆ=?JNKV= !#" %'fåljhÚ5(4…-,g† fål3h!E=?S-=`EN8Q’FH5(4QRN5(4

5(MN=Q498;G6Fb5(ZÍR5(Z~G6E=?5(G6E=Q4EN8%ZNW~CQ8%Z~S-=?ˆ\46FbG6GI=QZ"FbZˆ\E‰8;GI=`’T=Q4AO 8;Z7UJN8;7U=ŠFK•:.5TKVGg8;MM4I5UM4IF 8;GI= @ˆ!=

G_MFaCQ8%ObOb_hJNK= f¹>QtjheZ?G6EFaK8%4IGIFC2Ob=\ˆ=Aˆ\FHObOM4I=%K=QZG C25(:<MN5UZ=QZGDKJNKFbZ7 !#"$&%$' 508hKV_ZNCDE4I5UZ5(JNK

W8%GD8 ‰5;ˆ O 8;Z7UJN8;7U=7!‚5(4XGIE=˜G6Fb:<FHZ7?KJSŒ‚=QOb=`:<=QZGQR8;ZNW ‚5U4GIE=˜5UMN=Q4D8%GIFb5UZKVJSŒÂ=QOH=Q:<=QZGQAFdc‘=QŒ

4I=`ZNC2=%K$FbZ.GIE=X4I=QM4I=%K=QZG98;G6Fb5(Z.5;ÚW8%GD8˜SN=QGˆ=Q=QZ—GIE=Gˆ5?KVJSŒÂ=`Ob=Q:<=`ZG9KÖ5%‚GI=QZqC]4I=%8%GI=%KGIE=XZ=Q=%W?‚5(4

8;ZFbZGI=`4V8(C]=TR-G65q4I=Q5U4I7T8%ZFb–`=—W8;G98 MN8UKIKVFHZ7qSN=QGˆ!=Q=QZ~G6E=?GIFH:<FbZ7<KJSŒ‚=QOb=Q:.=QZGX8%ZNW~GIE=—5(MN=Q498;GIFH5(Œ

ZN8%O$KJSŒ‚=QOb=Q:.=QZG@Tˆ!=hFb:<MOb=Q:—=QZTGGIEFK•FHZG6=Q4V8UC2=JNKFbZ7—Oa8%Z7(J‰8;7(=LK•‚4I5U: G6E=hGˆ!5.KVJSŒ‚=QOH=Q:<=QZGDK8(K

8;MM4I5UM4IF8;GI= 

} =?Z5(GI=?G6EN8;GgGV_MF CQ8;OHOb_<G6E=?5(MN=Q498;GIFH5(ZžR‘GIE=k‚JZ‰C2GIFH5(Z~5;c8<C]5(:<MN5(Z=QZG`R-46=Q:q8%FbZNK\JZNCDEN8;Z7(=%W

4I=`7T8;49WOb=LKIKŠ5%kG6E=~Ob=`’T=QO\8%G ˆ\EFaCDE ˆ!="4I=Q7 8;49W G6E=G6Fb:<FHZ7B\G<8SOb5CD™¢Ob=Q’T=QORG6E=~GIFH:<FbZ7KJSŒ

=QOH=Q:<=QZGFKGI46Fb’Fa8;ORQSJG$G6E=\5(MN=Q498;G6Fb5(Z—KJSŒ‚=QOb=`:<=QZGž:ŠJNKGžSN=!‚JObOH_kW=Q’T=QOb5UMN=%WR%FbZk5U4DW=`4$GI5YKVJMMN5(4IG

KVFH:ŠJOa8;G6Fb5UZžTB\G!8?C]Fb4DC]JFbG6Œ0KM-=LC2F9C‘C\Ob=`’T=QO0R%GIE=gGIFb:.FbZ7h=QOH=Q:<=QZG:—JNKG46= N=%C]GG6E=G6Fb:<FHZ7YWFa8%7(4D8%: 5;

8?MN8;46GIFaC]JOa8%4XC2Fb49C2JFbG`RTM-=`4IEN8%MNK•FHZNC2OHJNWFbZ7?8;Z"FbZGIF8;ObFH–%8;G6Fb5UZq8;ZNW Q5(4XGI=`4I:<FHZN8;G6Fb5(Z KV= TJ=QZNC]=T

EN8;Z7(=%K\8%4I=X4I= TJFb46=%WkFbZ—GIE=AFHZG6=Q4V8UC2=X8(Kˆ!=QOHO0RT8UKGIE=AG6Fb:<FHZ7hCDEN8;Z7U=%K2RTG65˜M4I5(MN=Q46Ob_—5(467T8;ZFb–Q=

GIE=W8%GD8 _MF CQ8;OHOb_Y8˜7U=QZ=Q46FaC!FbZGI=`4V8(C]=XKV=Q46’T=%KGI5YC25UObOH=%C2G8YKVGI46=%8;:+5%W8%GD8hFbZGI5Y8;Z<FHZMJGSJ c=`4QR

8;Z‰W€G65KV=QZ‰W 8~KGI46=%8;: 5%hW8;GD8 ‚465(: 8%Z¢5(JG6MJG?SJc‘=Q4`5(4?=Q^8;:<MOb=TRF¹XGIE=.GIFb:.FbZ7"WF8;7(498;:

KVMN=%C]F9CN=%KÚ8˜KGI46=%8;:+5%ˆ5(49WK!8%ZNWŠ8hC2=`4IGD8%FbZ?O8;GI=`ZNC2_hSN=QGˆ!=Q=QZ?G6E= CN49KVGFbZMJG8;Z‰WŠGIE= C‰4DKVG5UJGIMJGQR

8;Z‰W GIE=˜5UMN=Q4D8%GI5(4XFaK\8 KVJS4I5UJGIFHZ=hˆ\EFaCDE<5(MN=Q498;G6=%K•5UZ~8kSOH5Ci™.5;Úˆ!5(49WK2R‘8;ZqFHZG6=Q4V8UC2=FaK!J‰KV=%W

GI5—SJc‘=Q4\G6E=hFbZMJGXKVG64I=%8%:Ü8;ZNW"KVG65(4I=YGIE=h5UJGIMJGASOH5Ci™—JZGIFHOFbGXKE5(JOaW SN=hGI498;ZNK:<FbG6GI=%W‘

!

. . !0

- /

e0ZƒGIEFaKkK=%C2G6Fb5(Zˆ!= KVJ:<: 8;4IFH–Q=kGˆ55;XG6E=<G65T5(OaKkˆ\EFaCDE EN8Q’T=<M4I5%’T=QZJNKV=2‚JO‚5(4§W=%KFb7(ZFbZ7"GIE=

GIFH:<FbZ7?KVJSŒÂ=`Ob=Q:<=`ZG8;Z‰W FbZGI=`4V8(C]=Ob5U7(FaCURN8;ZNWq=Q^MOa8;FHZ<E5%ˆ G6E=Q_<46=QOa8%GI=hGI5.8 ‡ _ZNCDE465(Z5UJNKAg8;GD8

OH5;ˆ*7(498;ME͍N‰5U4X8p:.5(4I=gW=QG98;FHOb=%WŠ=`^MO8;ZN8%GIFH5(Zq5;G6E=G65T5(OaK]R-G6E=h4I=%8UW=Q4FaK!4I=]‚=Q4I46=%WŠGI5%fl(oh !E=

GI5T5UOaKkM46=%KV=`ZG6=%WE=Q46=Šˆ\FHObOSN=<JNKV=LW FbZ 8;Zƒ=`^8%:<MOb=Y5;gK_KGI=Q:<Œ‚Ob=`’T=QO$K_Z‰CiE465(ZFH–%8;G6Fb5UZ FHZƒ8qOa8;G6=Q4

KV=LC2GIFH5(Zž

-1 1

(15)

H process

information

READ WRITE

H_IN H_OUT

initialization

Fb7(J4I=Yt> !E=q3$4I5C2=LKIK

dependency

Clock System H_OUT WRITE READ H_IN

Fb7UJ4I=>$’T=QZGDK8(K6KV5C2F 8;GI=LWˆ\FbGIE

!E=ƒM465C2=%K6K?KVE5%ˆ\Z FHZ Fb7UJ4I=qt~FaKhGIE="KFb:<MOH=%KVGh5%G6E=qGIFb:.FbZ7qM465C2=%KIK=%K2e0G—C25UZG98;FHZNKkGˆ!5

C25UJZG6=Q4DK]RQGI5gC25(JZGFbZMJG8;ZNWk5UJGIMJG=`’T=QZG9K2R`8;ZNWY8AW=`Oa8Q_ObFHZ=$‚5(4GIE=FHZFbG6Fa8;G6Fb5UZk8%ZNWkGI=`4I:<FHZN8;G6Fb5(Z

C25UZNKVFW=Q4D8%GIFH5(ZNK]$e0ZƒGIE=qCQ8(K=<5;gK5(:<=q‡*Z5W=%K]R$ˆ\FbGIE 5(Z=<SOb5CD™ 5%XFbZMJG?8;Z‰W€5UZ=<SOH5Ci™5;

5(JGIMJG`RG6EFaKhGIFb:.FbZ7<G65T5(O\F KkKVJ 8qC2FH=QZGGI5W=LKIC246FbSN=ŠG6E=qK_ZNCDE465(ZFH–%8;G6Fb5(Z 5;g8 Z5W=@5UGIE=`4Iˆ\FaK=TR

5(G6E=Q4\G65T5(OaKgKVJNCDE"8(K!GIE=.M4I5C2=LKIKX8;4I=hZ=`=%W=%W

BAObOKVFH7(ZN8%OaK 50W=QZ5(G6=%W?S_§8;4I465%ˆXK FHZ—Fb7UJ4I=Xt7Ú8;4I=XSN5T5(OH=%8;ZžR8%ZNWŠK_Z‰CiE465(Z5UJNKˆ\FHGIE—8hC25U:<:<5(Z

C2OH5Ci™‘(}„E=QZ=Q’T=Q4 % F KGI46J=TRTGIE=Q4I=XFaK8;Z.FbZMJG!=Q’T=QZGQR 8;ZNWŠˆ\E=QZ=Q’T=Q4 ! ŠFaKGI46J=TRTGIE=`4I=XFaK

8;Zq5UJGIMJG\=Q’T=QZGQTe0ZMJG!M465C2=%KIKFbZ7—KGD8%4IGDK!ˆ\E=QZ !#~S-=LC25(:<=LK G64IJ= R8;Z‰W CNZFKVE=%K!ˆ\E=QZ !#~FaK

8;O KV=T !E=KFb7UZN8;O q7(5T=%KGI4IJ=\ˆ\E=QZ—GIE=X5(JG6MJGKVG98;46GDKSN=QFHZ7h’U8;ObFWR(Få=TU8L‚G6=Q4GIE=XOa8%GI=QZNC]_k5;

GIE=kC]5(:<MN5(Z=QZG\E‰8(K\MN8(K6KV=%WÎ3$8;498;:<=`GI=Q49KGI5—GIEFaK!M465C2=%KIKX8;46=>GIE='% SN=QGˆ!=`=QZ<FbZMJGX8;Z‰W

5(JGIMJG@G6E=ŠZJ:—SN=Q45;XFHZMJGh=Q’T=`ZG9K '„MN=Q4kMN=Q46Fb5W'@žGIE=<ZJ:ŠSN=Q4X5;X5UJGIMJGk=Q’T=QZGDK '

MN=Q4MN=Q46Fb5W'@‘8;ZNWG6E=kZJ:—SN=Q4\5;C]Ob5CD™C]_C2OH=%K!FbZÕ8 ! Ne0ZՐFb7UJ4I= TRNˆ!=?KE5%ˆ GIE=?FHZNKVG98;ZGDK

8;GXˆ\EFCiE<G6E=h5(JG6MJG9KA8%4I=kG64IJ= R7(FH’T=QZq8%Z<M465C2=%K6K T

-1 1

!E= M4I5C2=%K6K<KVE5;ˆ\Z FbZ Fb7UJ4I=Õn FKpJNK=%W G65ƒ4I=LKV_ZNCiE4I5(ZFb–Q=<’U8%ObJ=%K]RG6E=~K_Z‰CiE465(ZFH–%8;G6Fb5UZ 5;

ˆ\EF CiE*W=`M-=`ZNWK 5UZ G6E= KV_KVGI=`:~R498;G6E=Q4qGIEN8%Z dJNKG8¢KFbZ7UOb= C25(:<MN5UZ=QZGQeGqF K J‰KV=%W„GI5U7(=QG6E=Q4

ˆ\FbG6EG6E=kFHZG6=Q4V8UC2=hOb5(7UFaC(RG65<SJc‘=Q4‹8;ZNWqJMŒKI8;:.MOb=Y’(8%ObJ=LK2‘eG\FKAMN8%4IGIF C2JO 8;4IOH_<JNK=2‚JOž‚5(4gC25(ZGI465(O

(16)

SLOW R process

FAST WRITE

Fb7(J4I=Yn> !E=q3$4I5C2=LKIK

System Clock WRITE SLOW

FAST

dependency

Fb7UJ4I=Yr>$’T=QZGDK8(K6KV5C2F 8;GI=LWˆ\FbGIE

’U8;OHJ=%Kˆ\EFCiE§8;464IFb’T=Ob=%K6Kց‚4I=mJ=`ZG6Ob_G6EN8;Z—W8%GD8R(SJG$:—JNKGZ=`’T=Q4IG6E=QOb=LKIKSN=\M4I=LKV=QZG 508%ZNWkM465(MN=Q4IOH_

KV_ZNCDE4I5UZFb–`=%W7$=L8(CDE G6Fb:<=XGIE=˜5UMN=Q4D8%GIFb5UZ~KJS4I5UJGIFHZ=kFK\CQ8;OHOb=%W‘

BKAˆ\FHGIE~GIE= M4I5C2=%K6K2Rž8%ObOÚKVFH7(ZN8%OaKh8;46=—KV_ZNCiE4I5(Z5(JNKAˆ\FHGIE8<C]5(:<:<5UZ"C2Ob5CD™ !E=YFbZNC25U:<FbZ7

’U8;OHJ=%K\8;464IFH’T=k8%GAG6E=hFbZMJG

' !E=Q_q8;46=kG64D8;Z‰K‚=Q464I=%W<GI5—GIE=˜5UJGIMJG %

~ˆ\E=QZ=Q’T=`4 !

FaK—GI4IJ=TR!8Q‚GI=Q4.8¢KVMN=%C2FdCN=%W¢Oa8;G6=QZNC2_ !EFaKŠM4I5C2=%K6K<FaK—8;OaK5¢M-=`4IFb5WFaC(RGI5ƒSN=~JNK=%W GI5U7(=QG6E=Q4<ˆ\FHGIE

MN=Q4IFH5WFaC.C25(:<MN5UZ=QZGDK23$8%4D8%:<=QGI=`4DKGI5~G6EFaKhM4I5C2=LKIKk8%4I=qGIE=qKI8%:<=<8UKkGIE5 KV=Š‚5U4?GIE= M465C2=%K6KB>

GIE='% ƒSN=QGˆ!=Q=QZ"FbZMJG8%ZNW5(JGIMJG@-G6E=?ZJ:ŠSN=Q45;FbZMJGX=Q’T=QZGDK '¢MN=Q4MN=Q4IFH5W'@NGIE=

ZJ:ŠSN=Q45;Ú5(JG6MJG=`’T=QZG9K ' MN=Q4XM-=`4IFb5W@N8;ZNWG6E=hZJ:—SN=Q45;C]Ob5CD™qC2_C2Ob=%KFbZ"8 ! e0Z

FH7(J46=\rRUˆ!=\KE5%ˆ G6E=!FHZNKVG98;ZGDK$8%G$ˆ\EFaCDEkG6E=\5(JGIMJG9K$8;46=\GI46J=TR%7(Fb’T=`Z?8;Z YM4I5C]=%KIK

$ . . # )" ! &

ŽXJ4h8%SNKVG64D8(C]G:<5W=QOžOH=%8(WKAGI5q8—’(8%4IFH=QG_ 5%c8;MMOHFaCQ8%GIFH5(ZŒKVMN=%C2FdC‘C 5‚5(4hKFb:—JOa8%GIFH5(ZŒKVMN=%C2FdC‘Cj7ÚFb:<MOH=QŒ

:<=QZGD8%GIFH5(ZNK]RW=`M-=`ZNWFbZ7 5UZƒGIE=—W=%KVFH4I=%W~4I=LKVJOHGDK2ÍBK:<=QZGIFb5UZ=%Wq=%8;46ObFb=`4QR‘WF9c‘=Q46=QZG‹KVJSŒ‚=QOH=Q:<=QZGDK

8;46=Aˆ\46FbG6GI=QZ?FHZ—8‹’U8%4IFb=`GV_Y5;ÍOa8;Z7(JN8%7(=%K+> „G65kKFb:—JOa8%GI=cC25(:<MOb=Q^…‹†‡é‚JZNC2GIFH5(ZN8%ONSOb5CD™K+@!#"$&%$'

GI5.8;OHOb5%ˆ ‚5U4I:q8%O’T=Q46F9C‘CQ8%GIFH5(Z6@8;ZNW…-,g† G65<MN=Q4I:.FbG\K_ZGIE=%KVFK!5;C25UZG64I5UOKVGI46JNC2G6J4I=%K!‚5(4g8;Z"Fb:<Œ

MOH=Q:<=QZGD8%GIFb5UZž‘eGYFaKh=%KIK=QZG6Fa8%O ‚5U4—CiE=%Ci™FbZ7<GIE= KV_ZNCiE4I5(ZFb–%8%GIFb5UZ G6EN8;G?G6E=<G6Fb:<FHZ7qKVJSŒÂ=`Ob=Q:<=`ZG

SN=Šˆ\46FbG6GI=QZ~FHZ8ŠOa8%Z7(JN8%7(=qC`8;MN8%SOb=?5%\4I=`M4I=%K=QZGIFbZ7<GI=Q:.M-5U4D8%O$C25UZNKVG64D8%FbZGDK2 !E=Š5UMN=Q4D8%GIFb5UZƒKJSŒ

=QOH=Q:<=QZGQRI5UZkG6E=5(GIE=Q4E‰8;ZNWRUCQ8%ZkSN=ˆ\4IFbG6GI=QZhFHZ˜ˆ\E‰8;GI=`’T=Q4žOa8%Z7(JN8%7(=\SN=%KG=Q^M46=%KIK=%KGIE=<58;SNKGI4D8UC2GB7

5(MN=Q498;G6Fb5(Z"GI5—SN=˜MN=Q4‚5(46:<=%W

e0Z~GIEFKKV=%C]GIFb5UZžRNˆ!=?M46=%KV=QZGXGIE46=Q=—WF9c‘=Q46=QZG6GI=%CDEZ5UOb5(7UFb=%K p‚5(4gFb:<MOH=Q:—=QZG6F¹Z7—C25(:.M-5UZ=QZGDK]R

Ob=L8(WFHZ7kG65kGIE4I=Q=gWF9c‘=Q46=QZGJ‰KV=%K5;GIE=ObFHS4D8%4I_T"!E=ObFHS4D8%4IFb=LKKEN8;46=GIE=hKI8%:<=C]5(:<MN5(Z=QZG:<5W=QO0R

GIE=<K68;:<=—8%SNKVG64D8(C]G˜5UMN=Q4D8%GIFb5UZNK2RÚ8;ZNW~GIE=<K68;:<=?MN8%4D8%:<=QGI=`4DK2‘e0GhFaKh8;O KV5qFbZGI=Q46=%KVG6FbZ7.GI5qZ5(G6=ŠG6EN8;G

(17)

8;OHOAG6E4I=`=ObFHS4D8%4IFH=%K?KVEN8%4I=~G6E=~K68;:<=q5(MN=Q498;G6Fb5(Z*KJSŒ‚=QOb=`:<=QZGDK2Rˆ\4IFHGIGI=`Z FbZ ˆ\EF CiE :q8;™T=LK˜‚5(4

4I=L8(KV5UZN8;SOb_<8(KGKFb:—JOa8%GIFb5UZNK2

B¢KVFb:.MOb=$OHFbS498;46_5;‘C]5(:<MN5(Z=QZG9K-ˆ\46FbGIG6=QZkˆ\FHGIE !#"$&%$'g8;ZNW 8%ObOb5%ˆXKž8!‚JZNC2G6Fb5UZN8;OKVFH:ŠJO 8;G6Fb5(Z

5;•8qKV_KVGI=`: 8;GhSN5(G6Eƒ8%Zƒ8%SNKVG64D8UC2G?8%ZNW 8qC25U:<MN5(Z=`ZG6Œ0KM-=LC2F9C‘ChOb=Q’T=`O0 !EFK‹MN=Q46:<FbG9K•G6E=—W=%KFb7UZ=Q4

GI5?=`^MN=Q46Fb:<=QZGˆ\FbGIE"8k7UFb’T=QZ.C25(Z CN7(J498;G6Fb5(ZÍRN8(K!FbZ $'! +8%ZNW<GI5?G6E=QZqW=LKIC2=QZ‰WŠGI5—8?C2FH4DC2JFbGIŒ

KVMN=%C]F9C‘C—KVFH:ŠJO8;G6Fb5(Zˆ\FbG6E5(JG?CDEN8;Z7UFbZ7~G6E=.C25(ZC‰7(J498;GIFH5(Zž$}=<M46=%KV=`ZGYGIE=.KVMN=%C2FdC‘CQKh5;‹KVJNCDEƒ8

ObFHS4D8%4I_<FHZ<GIE= C‰4DKVGX5; GIE=‚5(OHOb5%ˆ\FbZ7?KVJSNKV=%C]GIFb5UZNK2

B ObFHS4D8%4I_5;gC25U:<MN5(Z=`ZG9K˜ˆ\FbG6EƒGIFH:<FbZ7KJSŒ‚=QOb=`:<=QZGDKAˆ\46FbGIG6=QZƒJNKFbZ7~G6E= !#" %'!XKVJSNK=QG?5;

!#"$&%$'—8;OHOb5%ˆXKG6E=hJNKV=g5; 8˜‚5(4I: 8;O’T=`4IF9C-CQ8;G6Fb5(Z—GI5T5UOžGI5?’T=Q46F“‚_?G6E=M465(MN=Q4XKV_ZNCDE4I5UZFb–L8;GIFH5(Zq5;Ú8

KV_KVG6=Q:~ !E=\’T=Q46F9C‘CQ8%GIFH5(ZkFK$M-=`4V‚5(46:<=%WhJNKVFHZ7 Ö=Q46ZN8;46_—A=%C2FKVFH5(Z—AF8;7(498;:qKWfårjhR(ˆ\EFCiE§8;4I=gKVFH:<FbO8;4

GI5 !FbZ‰8;4I_.A=%C]FaKVFH5(Z"AF8;7(498;:qKlfojh !EFK•FK!M4I=%K=QZGI=%WŠFHZqGIE=YKV=LC25(ZNWqKJSNKV=LC2GIFH5(Zž

B OHFbS498;46_ 5;pC25(:.M-5UZ=QZGDKŠˆ\46FbG6GI=QZ„JNKFbZ7 …-,† 5c=`4DK Gˆ5 8UW’U8;ZGD8%7(=%K+>AGIE= CN4DKG FK<GIE=

FbZ‰C24I=%8UKV=%WkMN5 KIKVFHSFbOHFbG6Fb=%Kց‚5U4=Q^CDEN8%Z7(=XJNKVFHZ7hGIEFK$ObFbZ7(JN8A‚4D8%ZNCQ85;ÍEN8;49Wˆ\8%4I=hW=%KVFH7(Z6@(G6E=gKV=%C25UZNW?FaK

GIE=kMN5TK6KVFbSFbObFHG_Š5%!=`’T=QZG6JN8;OÍ8;JG65(:q8%GIF C˜K_ZGIE=%KVFK!5;FHZG6=Q4V8UC2= I7(OHJ= ?Ob5U7(FaCA‚465(:ÜGIE=§KVFH:ŠJO8;G6Fb5(Z

:<5W=`O0 !E=˜… ,†Œ‚SN8(K=%W OHFbS498;4I_—FaK!M4I=%K=QZG6=%W<FbZqGIE=˜G6EFb49W<KVJSNKV=%C]GIFb5UZž

+1&( 2( + * (#/ ' ( ,+

e0Z~GIEFKAKJSNK=%C2GIFH5(Z~ˆ=kM46=%KV=QZGh8ŠS‰8(KVFC˜OHFbS498;4I_"5;cC25U:<MN5(Z=QZGDK]Rˆ\EFaCDEMN=Q46:<FbG9K•5UZ=?GI5.M-=`4V‚5(46:

KVFH:ŠJOa8;G6Fb5UZNK˜5%YKV_ZNCDE4I5UZ5(JNK—W8%GD8;Œ2N5%ˆ KV_KVG6=Q:qK2Úe0G—8;OaK5ƒKJMMN5(46GDKŠG6E==`’T5(ObJGIFb5UZƒ5;˜8 W=LKVFb7UZžR

KVG98;46GIFbZ7Šˆ\FHGIE"8pSOb5CD™Œ‚Ob=Q’T=`O:<5W=QOÍ8(K\FbZqGIE=˜G64D8UWFbG6Fb5(Z‰8;O$‡T_ZNCDE4I5UZ5(JNKX8%GD8—Ob5%ˆhRN8;Z‰W :.5;’FbZ7

GI5%ˆc8;4DWK8gKV_KVGI=`:C]5(:<MN5TK=%Wk5;ÍC2FH4DC2JFbG:<5W=QO K2 !EFKSN8(KFaC!OHFbS498;4I_h5c=`4DK$GIE=X8UW’U8;ZGD8%7(=%K$G_MFaCQ8%O

GI5§8kEFb7UEŒ‚Ob=Q’T=QOOa8;Z7(JN8%7(=>FHZ‚5(46:q8;G6Fb5(Z—EF WFbZ7 5ÂFHZŠG6EFaKCQ8(K=GIE=‹KVMN=%C2FdC‘CQK5%E5%ˆ„=%8(CDE<5UM-=`4D8;G6Fb5UZ

FaK<FH:<MOb=`:Š=QZGI=`W7?@$:<5WJO8;4IFHG_TRFH:<MN5TK=%W S_„G6E= C25(:<MN5UZ=QZG<:<5W=QO @\8;Z‰W :q8;FHZG98;FHZN8;SFHObFHGV_UR8(K

GIFH:<FbZ7<WF 8;7U4D8;: K8;ZNW‚JZNC]GIFb5UZN8;OHFbG_~8%4I=?FHZNW=QMN=QZNW=QZGg5;\G6E=—C2FH4DC2JFHGAFH:<MOH=Q:<=]ZG98;GIFH5(ZžR8;ZNW CQ8;Z

SN=hJM‘W8;G6=%WK=QMN8;498;G6=QOb_q8UKAC]5(:<MN5(Z=QZG9K!=Q’T5(OH’T=T

› ! ž{ !‚› › !  ž¡› !

!E=XSOb5CD™ŒÂOH=Q’T=QO:<5W=QOFaK$FbZ‰KVMFH4I=%WkS_?GIE=h‡W5U:q8;FHZ?5;3$G65(Ob=`:Š_TRU8;Z‰WpS_?GIE=XSOH5Ci™§WFa8%7(4D8%:qK

ˆ\EF CiEK=Q=Q:ÜFbZGIJFHGIFH’T=˜G65q:<5TKGhW=%KFb7(Z=Q4DK]!E=—:<5W=`O:q8%™T=%K\FbG=%8UKV_"GI5"W=%KFb7(Z8<G64IFa8%OKV_KVG6=Q:~R

8(KhGIE=—C]5(:<MN5(Z=QZG9Kh8;4I=.C2OH5TKV=?G65G6E=—8;SNKGI498(C2GY5(MN=Q4D8%GIFH5(ZNKhˆ\EFaCDE~GIE=`_~Fb:<MOH=Q:—=QZG` !E=—:<5W=`O

8;OKV5<: 8;™T=%K‚5U44I=%8UKV5UZN8;SOH=—KVFH:ŠJO 8;G6Fb5(Z.GIFb:.=%K2R8(K8%ObO:q8;G6E=Q:q8%GIFaC`8;Ož8%ZNW~C25UZG64I5(O5(MN=Q498;G6Fb5(Z‰K˜8%4I=

MN=Q4V‚5U4I:<=LWŠS_ KVJS465(JG6FbZ=YCQ8%ObOK!ˆ!5(46™FHZ7—WFH4I=%C2G6Ob_—5(ZqSOH5Ci™K!5;W8;GD8

e0Z¢8SOb5CD™ŒÂOH=Q’T=QOC25U:<MN5(Z=`ZG`RÖG6E=qGIFH:<FbZ7 KVJSŒ‚=QOH=Q:<=QZGFaKkG_MFaC`8;ObOH_G64IFb’Fa8%O0RC25UZNKVFKVGIFHZ7~5;g8

KVMN=%C]F9C‘CQ8%GIFH5(ZG6EN8;Gg8;OHOFHZMJG9KA8%4I46Fb’T=Y8;GXGIE=§KI8%:<=hGIFb:.=TR8%ZNW G6E=k46=%KVJOHGAFK\8Q’(8%FbO8;SOH=?8L‚G6=Q4g8pJZFbG

W=QO8Q_T!E=—5(MN=Q498;GIFH5(Z KVJSŒÂ=`Ob=Q:<=`ZG`R5(ZƒG6E=Š5UGIE=`4˜E‰8;ZNWR:ŠJ‰KVGSN=?‚JObOH_W=Q’T=QOH5(MN=%WFbZ5(49W=Q4hGI5

MN=Q4V‚5U4I:Ü8?KFb:—JOa8%GIFH5(Zže0ZG6=Q4V8UC2= I7(OHJ= kOH5(7(F CFaK!G_MFaCQ8%ObOb_YObFH:<FbG6=%WkGI5—8?SJc‘=Q4\JNK=%W<GI5—KGI5(46=hGIE=

4I=LKVJOHGA5%\GIE=k5(MN=Q498;G6Fb5(Z~‚5(4‹8 JZFbGgW=QO 8L_ BAZ~=`^8%:<MOb=g5;X8—SOb5CD™Œ‚Ob=`’T=QOžC25U:<MN5(Z=`ZGXFaKA7UFb’T=QZ"FbZ

GIE=‹‚5UObOH5;ˆ\FHZ7—KV=LC2GIFH5(Zž

Références

Documents relatifs

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP