HAL Id: inria-00074692
https://hal.inria.fr/inria-00074692
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 abroad, or from public or private research centers.
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 publics ou privés.
Layout generation of bidimentional regular arrays in the MADMACS environment
Eric Gautrin, Laurent Perraudeau, Oumarou Sié
To cite this version:
Eric Gautrin, Laurent Perraudeau, Oumarou Sié. Layout generation of bidimentional regular arrays in the MADMACS environment. [Research Report] RR-1980, INRIA. 1993. �inria-00074692�
ISSN 0249-6399
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
a p p o r t
d e r e c h e r c h e
1 9 9 3
PROGRAMME 1
Architectures parallèles, bases de données, réseaux et systèmes distribués
Layout generation of bidimensional regular arrays in the MADMACS environment
Eric Gautrin , Laurent Perraudeau and Oumarou Si´e
N˚ 1980
Avril 1993
$ +* , -/. , -1032 546%" 5
798 :<;=%>@?A 8 :CBD%EFG>@?8IHJBKALHJ8 8I>@?6MHN>@?D >@BMPOQ?RS>@8IT@?VUW:YXHD
Z&[]\_^_[a`cbbdegf hi[kjklNmon]d jpnrqs[rd t&uv` [k`cwxwzydwxd tp{Y|v`_t<d t~}Jd#}J\_Ndd tp{N[sd td`cqN
dnit< Nt<nydbdt}Jmtnr[]mo|Nqd t
Z&[]\_<dnihGZ
` uNuv\_[]nG}Jd[]d jlsd[kjklNdiveI_9f hiJ[]mowWeI_9f eIeuv` ^_d t
Kpcs_&_x Y¡ J¢k£ £<¢¤C¢k¥_¦]G¡¥¡ £<§I¡ ¨©ª§ £G¦<¢¡«¦<§ ¬¡¦Cx¨®x¡¤¯c§ «¦G° ¢k¥¢k£]¡±
¦C²§ ¥§©³£<¢k° «_®x¡£~¡£<£r¡¤¯k´³&¢¤C¢G¡£<£]¡p¯&¨r§ ¥YµxC¦§©¶ £§·¨r¢¤<¸§ £¨r¢r®¹®x+²¥I¦¢k£]¨r§ ¥¥¢¤¨r¦<¢¤º»&²¦<
¥¢¤¡£<¢¤C¦&¥¢r²° _¼Y§ £]´³½¾¦<¢k£<¢+¿+¡i»¾¿º_¢£]¡¥° ¢§©À£¢k° «_®x¡£¡£<£]¡p¯kÁI¡Gµ²¥°®²¢i°c¢k¥¢k£]¡¦<§ £Âx
¥§ ¦©¢¤¡cµ²¼_®Ã¢ ´¾¢Ä5ÅÂÆvÇÈÅvÉNÊC¯C¦<¢k¬Ëxi¡º_¢kÌ ¢r®²§ ¬¢k¥I¦~¢k¥_Ì ²£<§c¥¬¢k¥I¦Í©§c£¨r«YC¦§ ¬G²Îk±
Ã¥°¦<¢° ¢k¥¢k£]¡¦<§c£]§©6C«Y¨C¦£<«Y¨r¦<«£<¢¤k´&¢¤C¢° ¢k¥¢k£]¡¦§ £]~¡£<¢º_¢kÌ ¢r®²§ Y¢¤ºÏ«Yµ²¥°¦<¢
жÑ
ÊÒÏ®x¡¥° «Y¡° ¢ ´&¢«YC¢§©Ó¡Ô £<§ °c£]¡¬¬G²¥°Ô®x¡¥° «Y¡° ¢5¡p®¹®²§»6° £<¢¤¡¦ÕY¢rÖ_²¼_×®¹²¦C¯²¥
¦<¢Óº_¢¤<¨r£¸Ã ¦¸Ã§c¥§©È¡G° ¢k¥¢k£]¡¦§ £&©ª§ £¡C Y¢¤¨¹Øs¨GÙc²¥Yº§©ÂC¦£<«Y¨r¦<«£<¢ ´&½° £r¡ _x¨~¢¤ºc²¦<§ £+x
¦C²° I¦¸®Ã¯i¨r§c« _®Ã¢¤º»&²¦<¦<¢
гÑ
ÊÒ²¥_¦<¢k£< £<¢k¦<¢k£@°²ÌcÃ¥°i¡¾_ðcgº_¢k°c£<¢k¢W§©_²¥I¦¢k£]¡ ¨r¦C²ÌcæC¯ ´³Ú!²¦<
ær~¬¡ ¨r£§¨r§ ¬¬¡¥Yº¬¢¤¨Y¡¥_xC¬Á@§ ¥¢¨k¡¥5²¥_¦<¢k£]¡ ¨r¦C²Ì ¢r®²¯Qº_¢kÌc¢r®Ã§c Q¥¢k»Û©ª«¥Y¨r¦C²§ ¥Y©ª§ £
£<¢k Y¢k¦C²¦C²Ì ¢~¦r¡ CÙWC«Y¨#¡c³£<§ «¦¸Ã¥°G¡¥Yº«YC¢6¦¢k¬Ü²¥° ¢k¥¢k£]¡¦§ £]k´³Ý§ £<¢k§Ì ¢k£¤Á¦¢¤¨<¥§®²§ °c¯
Ã¥Yº_¢k J¢k¥Yº_¢k¥I¦° ¢k¥¢k£]¡¦<§c£]6¨k¡¥5¼Y¢º_¢kÌc¢r®Ã§c Y¢¤ºÔ¼I¯«Yµ²¥°§ ¼ÞC¢¤¨r¦iµ²Îk¢G²¥Yº_¢k Y¢k¥Yº_¢k¥_¦G©ª«¥Y¨r±
¦C²§ ¥YÍÃ¥!Ä5ųÆvÇ&ÅvÉNÊ ´&¢Ä5ųÆvÇ&ÅvÉNÊ¢k¥_Ì ²£<§c¥¬¢k¥I¦x͹®×®²«YC¦£]¡¦<¢¤ºÏ»&²¦<¡°c¢k¥¢k£]¡¦<§ £
©§ £+¼_¿ºc²¬¢k¥Yzçc¥Y¡p®W£<¢k° «_®x¡£6¡£<£]¡p¯G®x¡p¯ § «¦¤´
ßà_ávâCãÓäNåæÀçcèé
½~êGÁ_ëì@í î
ïñð#ò
óCô<õö
ò
ó÷Køoô¸ùµúkû
üý þ ÿ Jü
! ký" $#&% ' ý (#)*+ ý, ý&% .- ýcÿ/ ¤ý'ü$.%.01 $23 "4
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 38 38 32
'
%' +$!( 'Í$ %c" $%( $ !$
( ]54'!" 5 , -/. , -1032
àçàè é
¢ Y¡ _²¢k£ £¢¤C¢k¥_¦<¢«¥¢i¡ £<§¨¢~ Y§ «£&®x¡°¢k¥¢k£]¡¦¸Ã§c¥¡«¦<§ ¬¡¦C «¢~º_¢¤
¬¡ c«¢¤º_¢Ó¨²£]¨r«_²¦]+£¢k° «_®¹Ã¢k£rk´
é
¢¤¨²£]¨r«_²¦]6¸§ ¥I¦¨r§ ¥YC¦C²¦<«¢¤Èº«¥¦]¡¼_®²¢¤¡«º_¢~ £<§¨r¢¤C±
C¢k«£]&¢k¦~º²¥I¦¢k£]¨r§ ¥¥¢rÖ_çc¥Y¢k¥_¦<£<¢~ £<§¨r¢¤<C¢k«£rÌ §¿zÃ¥Y´Â«_¿ « ¹®³¢rÖIxC¦¢Óº_¢i¥§c¬Ó¼£¢k«_Ö
¦z¯_ Y¢¤Gº_¢¨²£]¨r«_²¦]£!¢k° «_®¹²¢k£]kÁ@«¥Ï°¢k¥¢k£]¡¦<¢k«£°®²§ ¼Y¡p®&¥ ¢¤C¦G Y¡ Í£!¢¤¡p®¹x<¡¼_®²¢ ´³ìN¢C¯C¦#"¢k¬¢
Ä5ųÆvÇ&Å ÉNÊ¢¤C¦+«¥¢k¥IÌc²£<§ ¥¥¢k¬¢k¥_¦º_¢iº$¢kÌ ¢r®²§ Y¢k¬¢k¥I¦ Y§ «£¾®¿¡g£!¢¤¡p®¹x<¡¦¸Ã§c¥º_¢~°%¢k¥¢k£]¡±
¦<¢k«£]º_¢Ó¦¢r®×®²¢¤~C¦£<«Y¨r¦<«£<¢¤k´
é
¢¤+°¢k¥¢k£]¡¦<¢k«£rȸ§ ¥I¦~º$¢kÌc¢r®Ã§c ¢¤+¢k¥«¦C¹®¹x<¡¥_¦~®²¢®¿¡¥°I¡° ¢
жÑ
ÊÒY´v쫦¸×®¹x<¡¦¸Ã§c¥º«¥®¿¡¥°I¡° ¢º_¢ £<§ ° £]¡¬¬¡¦C²§ ¥ Y¢k£<¬¢k¦i«¥¢° £r¡¥Yº_¢GÕY¢rÖ_ü_¹®¹²¦¢
º¡¥Y&®x¡º_¢¤<¨r£¸Ã ¦¸Ã§c¥º«¥°¢k¥¢k£r¡¦<¢k«£& Y§ «£«¥¦C¯I J¢Óº_¢Ó¸¦<£<«Y¨r¦<«£<¢Gº_§ ¥¥¢ ´&+¥¢¤ºc²¦<¢k«£
° £]¡ _c«¢¢¤C¦@©ª§ £<¦<¢k¬¢k¥_¦³¨r§ « _®'¢¡pÌ ¢¤¨Â®(Ã¥_¦<¢k£< £¢k¦<¢k«£
жÑ
ÊÒ~ Y§c«£W Y¢k£¬¢k¦<¦<£<¢K«¥¢&²¬ Y§c£<±
¦]¡¥_¦<¢KÃ¥_¦<¢k£]¡c¨r¦C²Ì ²¦¢ ´½6Ì ¢¤¨+C§ ¥G¬)¢¤¨k¡¥_¿¸¬¢6º_¢¬¡c¨r£<§¨r§c¬¬¡¥Yº_¢¤kÁc§ ¥G Y¢k«¦&º*¢kÌ ¢r®²§ J¢k£
Ã¥_¦<¢k£]¡c¨r¦C²Ì ¢k¬¢k¥_¦¾º_¢¥§ «Ì ¢r®¹®²¢¤¾©§ ¥Y¨r¦¸Ã§c¥YW J§ «£K®²¢¤&¦,+¡ ¨¢¤³£¢k ¢k¦C²¦C²Ì ¢¤Â¦<¢r®¹®²¢¤ «¢+®²¢~£<§ «±
¦]¡° ¢¢k¦&®²¢¤«¦¸×®¹xC¢k£iº¡¥YȮ⤾°%¢k¥¢k£]¡¦<¢k«£]´Iê¢~ _®²«YkÁYº_¢¤+°¢k¥¢k£]¡¦<¢k«£r@²¥Yº*¢k J¢k¥Yº¡¥I¦rº_¢
®¿¡¦<¢¤¨¥§®²§ °²¢ Y¢k«Ì ¢k¥_¦-+¢k¦<£¢ £<§º_«_æri¢k¥Ï«¦C¹®¹x<¡¥_¦º_¢¤Í©§ ¥Y¨r¦¸Ã§c¥Y~²¥Yº$¢k Y¢k¥Yº¡¥_¦<¢¤Gº_¢
®¿¡¦]¡'×®¹®²¢º_¢¤i§c¼Þz¢k¦rk´vì¢k¥_Ì ²£<§c¥¥¢k¬¢k¥I¦Ä5Å³Æ ÇÈÅvÉNÊ¢¤¸¦i £¢¤C¢k¥I¦¢Ó¡pÌ ¢¤¨g«¥Q°¢k¥¢k£]¡¦<¢k«£
Y§ «£&®²¢Gº_¢¤<µ²¥5º_¢i¨Ã£r¨r«_ær£!¢k° «_®¹²¢k£]&¼_xºc²¬¢k¥Yµ²§ ¥¥¢r®ªk´
. ä0/¤çkâ1,23àè!é
½54iÁë~ì@í î
+ ,
&Ï%
+'
-` J )tmx^_v` w\I[mob`c^_duN[]\Yjpd trt<moN^`cwx^_\_[]mon]lNb5t}Jdb5` v}[rd^IqNwª` [jp\IbuNqNna`cnrmx\_vt
.
lsmªjklj` |vdmxbuNwod'bdpYnrd}Í\Ib5`_t]tmod'wo ~uv` [k`cwxwodws`c[ajlsmonrdjpnrqN[]d t³tq jl#`_t&t< Nt<nr\_wxmªj
` [r[a` st0/21mxnrl%nrlNdmovj¤[rd `Itmos^Ï}Ydvtmxn< Ï\43moYnrd^I[k` nrd }%jpmo[ajpqNmxnktp{Àh65Y7 mobuNwxdbd8
na`cn]mo\_ \43ÓnrlNdtdQ`cwx^_\_[]mon]lNb5t|vd jp\Ibd t` dd'[rb\I[rd`cnrn][k`Ijpnrmxd5t\IwoqNn]mo\_9/;:gqsN^
<>=?
t<lN\
.
tnrlv` n`[rd^IqNwª` [uN[]\Yjpd t]t\_[g`c[r[a` Ït<mobuswomA@ d tCBD*5YmoYnrd'^_[k` nrmx\_2ENuN[]\Yjpd tF8
t<\_[at`c[]dmª}YdJn]mªj` wC{À`cv}%moYnrd[ajp\_Nsd jpnrmx\_vt` [rd[rd t<nr[rmjpnrd}Ïnr\Ïsd `c[]d tnNdmo^IlJ|v\I[kt0/
C [rdjpdYn d ` [ktp{Wbq jl
.
\I[Glv`It9|vdd'}Jd\Inrd }%nr\)`cqNn]\_b5` nrmªjnrd jklNNmIH qNdtJ3 \_[
}Yd tmx^_NmxN^5[rd^IqNwª` [` wo^I\_[rmxnrlNbt0/2KN\_[ds`cbuNwod{vnrlsd!LNMPORQ2SUTWVYXZ\[2]^SWV*_
< ?
{@mªt
| `_td}\_n]lNd[]d jpqN[][rd jpdd`H q `cnrmx\_3\_[rb`cwomtba/blN[]\_qN^Ilc3 \I[rb5` wnr[a`cvtd3 \_[rb`cnrmx\_vt
t<qvjkl`It+nrmxbd6`cv}tuv`IjpdG` wowx\Yj`cn]mo\_\_[6tmx^_v` w usmouvdwomxNmos^N{`t stn]dbV\43¶[rd j¤qN[r[]dvjpd
deH qv` nrmx\_vt&mªtÈ}Jd[rmxd }mxJn]\`G[rd ` womtnrmj` [kjklNmon]d jpnrqs[rd/`blNmt}Jd trj¤[rmousnrmo\Ijp\_Ynk` movtÈ`cwow
mxP3 \_[]b5`cn]mo\I3\_[iwª` \_qsn^_d'Nd[k` nrmx\_2E
f
nrlNdtmhgdG\`3nrlNd` [r[k` {
f
`9^·`cnrdwxddwÀ}Jd t]jp[rmxuNnrmx\_5\43ÈnrlNduN[]\Yjpd t]t\_[atp{
f
`}Jdtrjp[]mouNn]mo\_\43uN[]\Yjpd t]t\_[imoYnrd'[kjp\INNd jpn]mo\Ivt0/
C%nrlNmtgu `cuvd[{
.
djp\_ tmª}Yd[nrlNduN[r\I|Nwod'b3\43~^IdNd[a`cn]moN^Qwª` \_qNnati3[r\_b/t<qvjkl
}Yd trjp[]mouNn]mo\Ivt0/j-`cY Qjpmo[ajpqNmonij¤\_buNmxwod[atlv`d|vddus[rd t<dJn]d }ÔmxÏn]lNd[]d jpdYnwxmon]d8
[a`cn]qN[rd{vt<\_bdÓ\43
.
lNmjl`c[rd`I`cmxwª`c|swod`_tijp\_bbd[kj¤mo` wNuN[]\Y}Jqvjpnat0/
f
5nk` v}N`c[a}Ûj¤dwowijp\IbuNmxwod[at`c[rdn]lNdb\·tnjp\_bb\_ t stn]db5t`I` mowª` |NwodQnr\k8
}N` ` v} j`c uN[]\Y}Jqvjpd5j¤\_buv`Ijpnw` \_qNnatJ3 \_[[k` v}J\_b1wo\_^Imªj/blNdw` \IqNnkt
uN[r\Y}Jq jpd }Ï|Y Ôn]lNd t<djp\IbuNmowxd[ktlv`d|vdd%t<lN\
.
nr\|vdd[r 5bqvjlwª`c[]^_d[
jp\_bu `c[rd}Ïnr\}Yd tmx^_vtGb5`I}Jd|J l `cv}
< ?
/2blsd tdnr\\Iwªt|s[rd ``GnrlNdv`cn]qN[k` w
nr\_uv\Iwo\_^I Ûn]\l@vn5nrlNd#mv\\I[ruNw`cS\`3jpd'wowi[r\
.
tp{i`c } mxS}J\ImoN^ t<\N{~wo\·tdnrlsd
[rd^IqNwª` [rmon< mo5uNw`_jpdbdJn6` v}Ô[]\_qNn]moN^n/
fpo
`cna`cuv` nrlQjp\_buNmowxd[kt³uN[r\Y}YqvjpdGd[] }Jd'vtdiwª` \_qsnkt&|vd j`cq tdGn]lNd b`4Gd~qvt<d
\43n]lNd[]d^_qNw`c[]mon< moslNd[rd'Jn~mx}N` nk`cu `cnrl%j¤mo[kj¤qNmonat
< ?
/rqidNd[a`cwowx 5tuvd ``GJmxN^N{
tqvjkl jp\_busmowod'[ktw` %\_qsnn]lNd5}Jms@d'[rdYndwxdbdYnkti\43ÓnrlNdQ}N` nk`cu `cnrl mo \_sd
}Jmobd'vtmx\_2/;blNmtwomxNd ` [mv\\_[]uNwª` ÛmtN\In
.
dwowh8Ct<qNmon]d }p3\I[|Nm}Jmobd'vtmx\_v` w
nr\_uv\Iwo\_^Imod t/
f
h[r[a` b5`4Gd'[kt^_dNd'[k`cn]dj¤qvtn]\_bmhgd }[rd^IqNwª` [Qtnr[]qvjpn]qN[rd t5t<qvjlÜ`Itut&Sv{
wxMS6{dnaj/blNdtdn]\\_wt&`c[]d|v`Itd }\Ijpdwxwnrmxwomos^i`_jjp\I[k}JmxN^inr\`~qvtd'[8z}Jd0@vNd}
nrdbuswª`cn]d/b³\5|vdjp\_bu `cnrmx|Nwod
.
monrl%`nrmowxmoN^tn][k` nrd^I {@uN[]\Yjpd trt<\_[moYnrd'[kjp\I8
Nd jpn]mo\_ tbqvt<n|vddb|vd }N}Jd} moÜnrlsd%jpdwowtnrlsdb5td'wod t\I[Ïmo }Jd }Ymªj` nrd }
[r\_qsnrmos^5jpdwxwªt0/vhÓtGtmxbuNwodÓ[r\_qsnrmos^bq tni| d^IdNd[a`cwxwo |N[]\GdmxJn]\t<dd[a`cw
jpdwowtGnr\bdd'nGuv`c[a`cbd'nrd[]mg ` nrmo\I!usqN[ruv\t<d{Kn]lNmªt[rd t<qNwonatmo)`jp\_buNwomj`cn]d }
nrdbuswª`cn]dmxJ\IwoYmoN^#`wª` [r^_dJqsb|vd[\43+jpdwowt0/
C3z`Ijpn{Y`cwxw@\`3WnrlNd t<dGj¤\_buNmxwod[atKqvt<qv`cwxwo dbuNwx\c `qNsmHqNduswª`_j¤dbdYn&` v}
. m8
[]moN^t<nr[k` nrd^I /^blNd uN[r\Y}Jq jpd}Jd tdiwª` \_qNnatK\_swo mA3Àn]lNmªttn][k` nrd^I @vnktnrlNdijpmx[kjpqsmon
n]\_uv\_wx\_^I
<?
/;b³\!uN[]\Y}Jqvjpdjp\_buv`_jpnwª` \_qsnkt\43g[rd^IqNwª` [`c[r[a` Nt¤{+n]lNd5^_dNd'[k`cn]mo\I
bqvt<n|vd}J\_Ndmo5n
.
\t<nrduvtE
³Yv Y J!ÛGnrlsdwª` \_qNnÓ\43iuN[]\Yjpd trt<\_[atmªti^_dNd'[k`cn]d }|J %jpw`_t]tmªj'`cw
jp\_busmowod'[kt0/#"\
.
dd[{³n]lNmªt^IdNd[a`cnrmx\_ bqvt<n|vdj¤\_vt<nr[k` moNd} mo \I[k}Jd[nr\
[rdna`cmo5n]lNd[r\_qsnrmos^[]d^_qNw`c[]mon< ` n~nrlNd` [r[k` 5wod'dwd/
c %$ N&!#'($GnrlNdÓ`c[][k` mªt&nrlNd'uN[]\Y}Jqvjpd}|J us[r\Yjpd t]t\I[~nrmowxmoN^g`cv}[rd'^_q8
wª`c[~[]\_qNn]moN^nr\mxJn]d[kj¤\_NNdjpnn]lNdba/
blNd'[rdmªtÓ`sdd }Ïnr\Q}Jd'dwo\Iu`5jpmo[ajpqNmxn~^_dNd'[k`cn]\_[&3 \_[n]lNd`_t]tdb|Nwo 5\`3n]lNd t<d
t<nr[]qvjpnrqs[rd t/"\
.
dd['{Nt<movjpdn]lNd[rdmªti`
.
m}Jd[a`cN^Id\`3uv\·trtmx|Nwod#`c[][k` Qtnr[]qvjpn]qN[rd t
)
womxNd `c['{N|Nmª}Ymobd tmo\Iv`cwz{Nnr[]mª`cs^_qNw`c[{vdnaj/+*a{ mxnmtÍN\InuN[k`Ijpnrmj`cwWnr\5}Yd0@vNd#`tmxN^_wxd
j¤\_buNmxwod[23\_[`cwxw³jp\Ivjpdmx_` |Nwodi` [r[a` tn][rqvj¤nrqN[]d t0/^blNd` won]d[rv` nrmxd
.
dlv`dÓjls\td'
mtKnr\}Jd'dwo\Iu`c[r[a` tuvd j¤mA@Àj^IdNd[a`cnr\I[kt/JhÓt+`G[]d tqNwxn{ uN[r\Yj¤d }JqN[a`cwvwª` \_qsnt stn]db5t
<
{v
?
`c[rdnrlNd|vd t<nG` uNuN[r\·`_jkl2/Àh ^IdNd[a`cn]\_[imªtnrlsdQ`9uN[]\_^I[k`cbmx
.
lsmªjklÏ`}Jd t<m8
^INd[ij` Q`cuNuNwx 5`cY uNw`_jpd` v}[r\_qsnrdtn][k`cn]d^_ /"\
.
dd['{nrlNd t<dt stnrd'b5t&lv`d`
uv\\I[lYqNb5`cmxJn]d[ 3z`Ijpd/ Cn6j`c|vdid[r #}Jm+,jpqNwxnKn]\^_mod`GnrdYnrqv` wN[rd'uN[rd t<dYnk`cn]mo\I
\`36t\IbdtmxbuNwodÓ^_[k` uNlNmj`cwt<nr[]qvjpnrqs[rd ti`cv}5nrlNd'[rdmtÍuv\\I[GmoYnrd[a`_jpn]mo\IÔ|vdn
.
dd`
n]dYn+d}Jmon]moN^t<d trt<mo\I5`cv}nrlNdiJmtqv` womhg `cn]mo\_\`3³n]lNd[]d tqswonrmxN^}Jd t<mo^_9/ 5·\_bd~mxJd tF8
n]mo^·`cnrmx\_vt
<e ?
lv`d| d'd!b`_}Jd[rd^·`c[k}YmoN^5nrlsdqvtd\`3i`uN[r\I^_[a`cbbmxN^wª`cs^_qv` ^_d
n]mo^IlJn]wo j¤\_qNuNwxd }
.
mon]l` moYnrd'[k`_j¤nrmod^I[k`cuslNmªjtd }Jmxnr\_[/.-uSTWviS#/0mttqvjkl`n]\\_wd/
blNdsdJnÓtdjpnrmx\_Ï^Imod ti`t<lN\_[]nGuN[rdtdYnk` nrmo\I\436nrlsd1-uSTWviS#/0t< Nt<nrdb
<32`?
/
blsd3\_wxwo\
.
moN^%t<d jpn]mo\_ tJ3\Yjpqvt\I wª` \_qNn^_dsd[k` nrmo\I \43i|Nm}Jmobd'vtmx\_v` w+[]d^_qswª`c[
` [r[a` st0/
4 , -/. , -1032
blsd5- SCTWviS#/0Ót stnrd'bVmªt`}Jddwx\_uNbd'Jn³dYYmo[r\INbdYn³nr\#jp[rd`cnrdi}Yd tmx^_Nd[6t<u d8
j¤mA@Àj^IdNd[a`cnr\I[ktC3\_[nrlNdÓ`_t]tdb|Nwx \`3W[rd^IqNwª` [6`c[r[a` Nt/6- SCTWviS#/70lv`_t*3 \IqN[b5` <\_[
j¤\_buv\_sdJnat0E
Cell B_0
b) Contents of Cell B Cell A_0
a) Bounding box of Cell B
KKmo^IqN[rdekE
o
mAsÀd[rd'Jn6n Yuvd t\43¾\_|N<d jpnat
5J WN & .K 6Y blN[rddn< Yuvd tG\43~\I|N<d jpnat` [rdqvtd} mxnrlNd -uST*v%S#/0
t< Nt<nrdb /
h P mªtn]lNd|v\_qN }JmoN^ |v\c \43#`v`cbd } jpd'wowd/Cn5j¤\_Ynk`cmxvt` jp\Iwowodjpnrmx\_ \`3
[]d jpna`cN^Iwod t6`cv}'\_[~mxvtna`cvjpdt+\43W@v^IqN[rd t/blNdtdG\I|N<d jpnkt6`c[]dGqvtd}n]\b5` v`c^IdGnrlsd
lsmod[a`c[kjklY /
h n \ mªt`_t]t\Yjpm`cnrd}
.
mon]l%` @ ^_qN[]d` v} []duN[]d tdYnkti\_NdmoNusqNn'\_qNn]uNqNn\`3
n]lNdi@v^IqN[rd/Jh jp\_Nsd jpnr\I[mªt` w
.
` st+\Inrlsd@v^IqN[rdÓd }J^_dt`c }l `_t`j¤\_wo\I[{Y` `cbd
` v}Ï`t<mgd/
h hmtG`uNmxd jpd\`36b5`cn]d[rm`cw³\_%`w` d'[/vhË[]d jpna`cN^Iwodl `_t`jp\Iwo\_['{³`t<mgd
` v}Ïj'`c5|vdv` bd }r/
KKmx^_qN[]d5emowowxqvtn][k` nrd t~nrlNd}YmAsÀd[rd'Jni\_|N<d j¤nGn< Juvd t/*7[rd ` nrmx\_³{³}Ydwodn]mo\IÏ\_[b\k8
}YmA@Àj` nrmx\_\_uvd[a`cn]mo\_ tÔ\_n]lNd t<d\_|N<d jpnat`c } qNuÀ}N` nrd%\43#nrlNd%jpqs[r[rd'Jn5}Y[k`
.
moN^
` [rdGus[r\Yjpd t]td }|J nrlNdÓ}N` nk`c| `_tdb5`c `c^_d'[
.
[]mon]nrdmo#7 C/i|N<d jpn\_[]modYnrd}9w`c8
^Iqv`c^Id t`c[]d
.
dwxwNt<qNmon]d }J3 \I[&\_|N<d j¤n&b5`csmouNqNw`cn]mo\_t<qvjl`It -uST*viS#/70\_uvd[a`cnrmx\_vt¤{
` v} 3 \I[i}Jddwx\_uNmxN^sd
.
jp\Ibb5`c }Nt`cv}5[rdqvt]`c|Nwxdjp\Y}Jd
<
e
? /
! vYW J/h uN[]\_^I[k`cbbmoN^Qwª` N^_qv` ^_dmt9mxv}Jmªt<uvdvtr` |Nwod`_t`|v`Itd
qsu \I
.
lNmªjkln]\}Jd'dwo\Iut<u djpmA@Àj~^_d'Nd[k` nr\I[kt0/nblNmªt6`cuNus[r\`Ijl^_modt¾bqvjkl mvdYmo|Nmh8
wxmon< /1%djklN\\t<dn]lNd0`OÔwª` N^_q `c^_ddYnrdv}Yd }
.
monrlQt<\_bdt<uvd jpmA@ j3 qsvjpnrmx\_vt 3 \_[
w` \_qNn}Yd tmx^_³{Wtq jl)`_t % \I[ F 0"!0 $#%k/ÈhGtGnrlNdmoYnrd[ 8
us[rdn]d[dI` woqv` nrd t~`}Jd t<mo^_ 3qN jpnrmx\_³{Ymonij` wowªtnrlNd - SCTWviS#/0}N`cna`c|v`Itdb5`cv` ^_d[
.
lsmªjkldJdjpqNnrdtÂn]lNdi`_t]t\Yjpm`cnrd}\_uvd[a`cnrmx\_`cv}[rdn]qN[rvtÈ`cdJdjpqNnrmx\_t<nk`cn]qvt0/^KN\_[
mxvtna`cvj¤d{& 'F 0(!0 h$#%[rdn]qN[rvt ÀmA3)0 NdYmªt<nkt¤{2 Y\_nrlsd[
.
mtd/
CmonattmobuNwod t<n 3\_[]b{@`5jpmx[kjpqsmoni^_dNd'[k`cn]\_[mªt`5jp\Ibb5`c }Ôt]jp[rmxuNn/9blNd*+0`O
w`cN^Iqv`c^Id5`cwxwo\
.
tn]lNdqvtd\43iuv` [k` bdnrd'[ktp{¶jp\_v}Ymonrmx\_v` w\_uvd[k` nrmx\_vt`cv}t<qNuNuNwxmod t
3 qsvjpnrmx\_vtGn]\Ôn]d tnn]lNdd'Jd j¤qNnrmx\_%jp\IJn]dJn'{\3\_[mxvtna`cvjpd,0 hF - /.R >.0$I{t<\
n]lv`cnÓ`^_dNd'[k`cn]\_[Ój`cQuN[r\Y}Yqvjpd` dYnrmo[]djpw`_trt~\43¾[rd^IqNwª` [i`c[r[a` Nt¤{ \I[G` 3 qNvjpn]mo\I
d
^P
)j
j'`c |vdÏ[rd'qvtd }mx }JmAsÀd[]dYn`c[r[a` ^_dsd[k` nr\_[at0/;blNd -uST*v%S#/0Ït< Nt<nrdb1jp\Ibd t
.
mxnrlQ`womo|s[k`c[] \`36tq jlQ}Jd t<mo^I 3 qsvjpnrmx\_vt/
³!#' $ #!µ.'< Z&[r\I^_[a`cbbmxN^Ïw`cN^Iqv`c^Id t5`c[]d#GYN\
. 3 \_[
n]lNdmx[wª`IjG\43ÈmoYnrd'[k`_j¤nrmoYmon< /IhS^_[a`cuNlNmjtd }Jmxnr\I[mªtn]mo^IlJn]wo jp\_qNuswod }
.
mxnrl5nrlsd +0`O
mxJn]d[rus[rdn]d[/Pqi[a`cuNlNmjt~t stn]db jp\_bb`cv}NtÈ`c[rdn][k`c trjp[]mo|vd }mxJn]\+0`O3 qNvj¤nrmo\Ivt0E
j¤qN[kt<\_[b\cd'bdYnkt¤{N\_|N<d j¤nb`cNmxuNqNwª` nrmx\_vt¤{@dnkjk/ 1lsd` d }Jmxnr\I[jp\Ibb5`c }Ômªt
mtrt<qNd }@{&n]lNdQ`_trt<\Yjpmª` nrd } }Jd t<mo^_l3qN jpnrmx\_ mªtdI` woqv` nrd } |J +0`O2/;-ÏmoYmoN^Qd }Jmxnr\_[
j¤\_bb5` v}Nt`cv} }Jd tmx^_ 3 qNvjpn]mo\Ivtp{i` }Jd t<mo^_sd[Qj`cÜd `_t<mowx wª` \_qNntnr[]qvjpn]qN[rd t
}Ym+,jpqNwon6nr\t<mobuNwx }Yd trjp[]mo|vdG|Y 5`nrd'Jn]qv`cw³[]duN[rdtdYnk` nrmo\IQ`cwo\INd/
D@mhGdGb5`cY t stn]db5t¤{6- SCTWviS#/70j` Ôbdb\_[]mgd6moYnrd[a`_jpn]modwx `t<d`H qsdvjpdG\`3
j¤\_bb5` v}NtWj`cwxwod }`Gb5`_jp[]\8zjp\_bb` v}
)
b5`Ijp[r\i3\I[tls\_[rn * /^b³\|sqNmow}`Gb5`_j¤[r\N{ nrlsd
q td[idYnrd[atnrlNd C b\Y}Jd/nblNdt< Nt<nrdbdYd jpqNn]d t` v}tn]\_[]d tÍd`_jkl
d}Jmon]\_[~j¤\_bb5` v}\_[ +0`O3 qNvj¤nrmo\Imªt]tqNd}r/RblNdGb5`Ijp[r\#jp\_ tnr[]qvjpn]mo\_5mt @vNmtlNd}
.
lsd5nrlNdqvtd[~wxd `d t+n]lNd C Gb\Y}Yd/NhSb5`Ijp[r\mªtitr`d }`It`*+0`O
3 qsvjpnrmx\_
.
mon]l`qvtd[6t<u djpmA@vd}9v` bdi`c }mªtj` wowª` |Nwod~|Y nrl `cn `cbd/k-`_j¤[r\t6`c[]d
b`cmoswo q td }c3 \I[[]duvdnrmxnrmod6nk`It Gst
.
lNd[rdinrlsdGt]`cbdÓtd`HqNd jpdl `_t+n]\|vdGdYd jpqsnrd }
t<dd[a`cwvnrmxbd t0/1mxnrln]lNd`_}N}Jmxnrmx\_\`3&uv` [k` bdnrd'[kt` v}5jp\_ }Jmon]mo\_ `cw³mo tnr[]qvjpn]mo\_ tp{
n]lNmªtb`_jp[]\-03 qsvjpnrmx\_Qj` Ô|vd^_d'Nd[k` womhgd }@{s`cv}5qvtd }5`ItÍuv` [rni\43¾`9^IdNd[a`cn]\_[/
J# ' $ ! W b³\|vdÏd ,jpmod'Jn'{&`^_dNd'[k`cn]\_[bqvt<n| dn]d jkl8
s\_wo\I^_ mov}Yduvdv}JdYn/-uSTWviS#/0\`sÀd[ktC3z`_jpmxwomon]mod tr3 \_[^I[k`cuslNmªjijpqN[at\_[6b\ dbdnE
}Ymªtuswª`_j¤dbdYn@\`3 bmªjp[]\_vt@mx` J #}Jmo[]d jpnrmx\_ t<v`cusuNmoN^Ónr\` |vt\IwoqNn]dGjp\\I[k}Jmxv`cn]d tp{
d'nkj/vC%`_}s}Jmon]mo\_¶{ n]lNdt< Nt<nrdbuN[]\cYmª}Yd tÍwx\_^Imªj` w&` v}jp\\_[a}Jmo `cnrd 3 []ddj¤qN[kt<\_[Gb\k8
d'bdYnkt*3 qNvjpn]mo\Ivt~tqvjklQ`_tE
f
b\ dn]\` Ôd}J^_d\43¾nrlNdjpqN[][rdYn\I|N<d jpn'{Ntq jl`_t ^ d $F 0 I{
f
b\ dn]\`Nd'mo^_lY|v\_[]moN^jpdwxwC{YtqvjklQ`_t^ FR 0 hI{
f
b\ dn]\`jp\INNd j¤nr\_[~\`36` @v^_qN[]d{vtq jlQ`_t n \ F k/
blNdtdi3qN jpnrmx\_vt~` [rdt<mgd8 mo }Jduvdv}Jd'Jn6`c }[]dwo \I5nrlNdGwx\Yj`cw¶jp\_Ynrd'Jn6\43Wnrlsd
w` \_qNn¶`c[r\IqNv}nrlNd6jpqN[at\I[Kwx\Yj`cn]mo\_9/`blNd[rd3 \_[rd·{pnrlsd G` wowx\
.
nrlsd}Yd tmx^_Nd[Ànr\imo^IN\_[]d
n]lNd` |vt\IwoqNn]dj¤\\_[k}Ymov` nrd t\`3Wwª` \_qNn6^_d\Ibdn][rmodt&`cv}n]\}Jd0@ Ndtmhgd8 mov}Yduvdv}JdYn
b`_jp[]\t+\I[ 3qNvjpn]mo\Ivt0/RKN\_[~mxvtna`cvj¤d{Jn
.
\t<dnkt\`3j¤\_NNdjpnr\I[ktbqvtn6| djp\INNd j¤nrd }
|Y `|Nqvt~`_titls\
.
5mx@v^_qs[rd /vCn]lNmªtds`cbuNwod{InrlNdj¤\_NNdjpnr\I[ktlv`d}JmsÀd[rdYn
t<mgdQ` v} ` [rdÏqsNddNwx t<uv`_j¤d }r/ blNdÏm}Jd `Ïmªtnr\)}Jdd'wo\_u `b5`_j¤[r\nr\%uvd[ 3 \I[rb
n]lNmªti[rduvdn]monrmxdnk`_tFGr/Gt<moN^\INwo `c|vt<\_wxqNnrdjpqs[kt\I[Gb\ dbd¤Ynktp{YmonimªtG}Ym+,jpqNwoninr\
1 2
KWmo^_qs[rd Eqvt|vdn
.
dd5jp\INNd j¤nr\_[atÍ\`3}YmAsÀd[rd'Jntmg'd t~`cv}Qtuv`Ijpmos^t0/
`I}N`cusnnrlsdb5`_jp[]\nr\5n]lNd}JmAsÀd[]dYnjp\_sNd jpn]\_[tmhgd t\I[t<uv`_j¤moN^·t0/WZ&[r\_| `c|Nwx {@nrlsd
|sqvtjp\_Nsd jpnrmx\_
.
mowxwN|vdd[][r\INd\_q t+`Itt<lN\
.
mxc@v^IqN[rd /xe/1mon]ljp\\_[a}Jmo `cnrd%3 [rdd
j¤qN[kt<\_[b\cd'bdYnkt¤{vtqvjkl `It^ d 0 hQnr\Qb\ dnrlsd5jpqN[at\_[3 [r\Ib/`c
ls\_[rmhg\_Ynk` w&j¤\_NNdjpnr\I[Gnr\n]lNdsdJnÓ\_Nd{vnrlsdb5`Ijp[r\mªtG`I}N`cusnrd }Ïn]\5}JmAsÀd[]dYnGt<m gd
` v}Ït<uv`_j¤moN^`_t~t<lN\
.
Ïmo @v^IqN[rd / /
blNmtÂd'N` buNwod¾tlN\
.
tKn]lNdmobuv\_[]nk` vjpd\43vn]lNd~j¤\\_[k}Ymov` nrd 3 [rd'd 3qsvjpnrmx\_vt/1mon]l
n]lNd`I}N}Jmxnrmo\I\43`n]d jlsN\_wx\_^_ @vwxdjp\IJna`cmxNmoN^nrlsd}Jd0@vNmxnrmx\_Ï\`3`c3 d .
I`c[]mª` |Nwod t
}Yd trjp[]mo|NmxN^n]lNdbmoNmxb` w
.
mª}Jn]l%`cv}t<uv`_j¤moN^5\43[r\IqNnrmxN^5wª` d[kt¤{@`5}Jdtmo^INd[j`
us[r\Y}Jqvj¤d~t Yb| \IwomjKwª` \_qsnkt³`c }}Jd0@ Nd 3qNwxwo inrd jklNN\Iwo\I^_ mov}Yduvdv}JdYn³^_d'Nd[k` nr\I[kt0/
hiÔd'N` buNwodi\43¾tq jlQ`^_dNd'[k`cn]\_[imªt~}Jd'nk`cmxwod }mo5nrlNdNd'Jnit<d jpnrmx\_2/
- % " $'(%6 È
C%nrlNmttd jpn]mo\I³{W`|smª}Jmxbdvt<mo\_ `cw&uN[]\Yjpd t]t\_[#jpdwxw`c[][k` ^_dsd[k` nr\_[mªt}Jd t]jp[rmx|vd }r/
hÓtmoNuNqsn{Nmon6nk``Gd tnrlN[]dduv`c[a`cbd'nrd[at0E
f
nrlNdNdn]womtn\`3`uN[]\Yjpd trt<\_[Ójpdwxw@`Itrt<qNbmos^nrlv` ni`cwow³us[r\Yjpd t]t\I[kt~mo5nrlNd` [r[k`
`c[rd5m}JdYnrmªj'`cwd/WKN\_[n]lNdQtr``GdÔ\`3tmxbuNwxmªjpmxnC {@\INwo |smon8wod'dw&uN[]\Yjpd trt<\_[at`c[]d
jp\_vt<mª}Jd'[rd }@{st\n]lv`cni`uN[]\Yjpd t]t\_[~mtwª` mª}\IqNn
.
mon]lÏt<nk` v}N`c[a}5jpdwowt0/^blNdqvt<d
\43¾`}N` nk` uv`cn]l^_dNd'[k`cn]\_[imªtqN }Jd[~moYd t<nrmo^·`cn]mo\_9/
f
`}Jdtrjp[]mouNn]mo\_\43uN[]\Yjpd t]t\_[imoYnrd'[kjp\INNd jpn]mo\Ivt0/
f
nrlNdtmhgdG\`3nrlNd` [r[k` /
c %$ 6'.$
d3\_[rd}Jdtmo^INmos^nrlNd^_dsd[k` nr\_[Ómonkt<dwA3]{Nn]lNd6@ [ktnink`It GQmªt~nr\5}Jd@vNdn]lNdn]\_uv\_wx\_^I
d
^P
)j
Cell (0,0) Cell (0,1) Cell (0,2)
Cell (1,0) Cell (1,1) Cell (1,2)
CTRL
CTRL
DATA
DATA DATA
KKmo^IqN[rdgPEÀh[r[a` nr\Iuv\_wo\I^_
\`36nrlNd#tnr[]qvjpn]qN[rdn]\|vdwª`cm}Ô\IqNn/&d[] 5uNwª`IjpdbdYn~` v}Ï[r\IqNnrmxN^uN[]\_|Nwxdbbq tn
|vdt\Iwod }mxÔ\I[k}Jd'[~nr\}Jdnrd'[rbmxNdi`9uswª`_j¤d`cv}5[r\IqNnrdtn][k` nrd^I 3\I[~nrlNd^IdNd[a`cnr\I[
)
wª` d[tdwxd jpnrmx\_³{Yjp\IJn][r\Iw³d[kt<qvt~}N`cna`J{vuv\
.
d[~[r\IqNnrmxN^N{Nd'nkj/* /
blNd^_dNd'[k`cw6nr\Iu \Iwo\I^_ mtgus[rd t<dJn]d }mou@v^IqN[rdP/WblNdmxJn]d[kjp\INNd j¤nrmo\Ivt`c[]d
w`cm}Ô\_qsnGqvtmxN^n
.
\[r\_qsnrmos^wª` d[at0ENbdna`cwew` d[mtÍus[rd03d[][rd } 3 \_[}s`cnk`tmo^Iv`cwt
.
lsd[rd `It9bdnk` w 3 \I[jp\IJn][r\Iwitmo^Iv`cwt0/ blNmªtjklN\_mjpdQjp\_bdtJ3[r\Ib nrlNdtnk` v}N` [k}
j¤dwowÀ`cusuN[r\·`_jkl
.
lNd[]d`tmo^Iv`cw³mt~jp\_sNd jpn]d }nr\`tna`cv}s`c[k}Qjpdwxw mxNuNqNn \IqNnruNqsnmx
bdnk` w wª` d[/
7\IJn][r\_wÀt<mo^_ `cwªt[rqNlN\I[rmg'\_Ynk`cwxwo nrlN[]\_qN^IluN[r\Yj¤d trt<\_[ktmxbdna`cw wª` d['{_t<qvjkl
n]lv`cn`%}Jmo[]d jpnmxJn]d[kj¤\_NNdjpnrmx\_n]\!n]lNd5NdYnjp\_wxqNb
.
\_qNw} |vdQu \·trt<mo|Nwxd/
o
`cna`
t<mo^Iv`cwtÍ[]qN|vdn
.
dd5n]lNduN[r\Yjpdtrt\I[G[r\
.
t/"\I[rmhg\_Ynk` wW`cv}Ïd[]nrmj`cw¶jp\_Nsd jpnrmx\_vt
` [rdw`cmª}Ï\IqNnqvtmxN^5\_Nwx Ïbd'nk`cwew` d'[/vCnrlNdj'`_td\`3ijp\INNd j¤nrmo\IvtmxnrlNdn
. \
}Ymª`c^I\_v` w}Jmx[rd jpn]mo\Ivtp{N\INd}Jm`c^I\_v` wKbqvtn~|vduv`c[]nrwo 5[]\_qNn]d }ÔmxÏbdna`cw 3\I[Gjp[]\tF8
t<moN^n/xb³\bmosmobmgdnrlNdYqNb|vd[\43Ymª`_t¤{+n]lNd^_d'Nd[k` nr\I[nrd t<nktn]lNdYqNb|vd[\`3
j¤\_NNdjpnrmx\_vtGmo%d `Ijl%}Jmx[rd j¤nrmo\I³{³jklN\\t<d tn]lNd}Jmo[]d jpnrmx\_
.
mxnrla3 d .
d[gjp\_Nsd jpnrmx\_vt
3 \I[ijp[r\·trt<moN^mo5bdna`cw wª` d[{s`cv}Q}J\_mxN^t\s{ bmoNmxbmhgdt&n]lNdJqNb|vd[\43Ymª`It0/
b³\5[rdna`cmon]lNd[rd^IqNwª` [rmon< 5\43nrlNd[]\_qNn]moN^s{W`Ôt<nr[]mªjpn}s`cnk`5jp\INNd j¤nr\_[\I[k}Jd[]moN^
bqvt<n|vd[rd t<u djpnrd }5}Jqs[rmos^nrlNduN[]\Yjpd trt<\_[G^IdNd[a`cn]mo\_9/
! #"%$& #"('*)
OUT VDD
CLK RESET CLK GND
Cell A
Cell B
Cell C
IN
KKmo^IqN[rd
2
E@Z&[]\Yjpd trt<\_[xmv\\_[]uNwª`
³Yv #YcY!
Z&[]\Yjpd trt<\_[wª` \_qNnÓ^_dNd'[k`cn]mo\I!mt|v`_t<d }!qNuv\I`Qtnk` v}N` [k}jpd'wowWwomo|s[k`c[] /jblNmªt`cun8
us[r\`Ijl`cwowx\
.
t+qvtnr\d`_tmxwo bmx^_[a`cnrdx3[r\IbV\_NdÓnrd jklNN\Iwo\_^I n]\` N\_n]lNd[/R5nk` v}N` [k}
j¤dwowt` [rduNwª`Ijpd }Ïmo%`5t<moN^Iwodjp\IwoqNb`_ttls\
.
%moa@v^IqN[rd
2
/KZW\
.
d[` v} ^I[r\IqNv}
t<qNuNuNwxmod ti`c[]djp\_sNd jpn]d }Ô|Y QjpdwowW` |NqNn]bdYn{v`c }ÏnrlNd[]\_qNn]d }Ôls\_[rmhg\_Ynk` wowx Ït<qvjkl
n]lv`cng`Ô}Ymo[rdjpnGj¤\_NNdjpnrmx\_Ïn]\nrlsdNdYnGjp\IwoqNbÏmªtiu \·trt<mo|Nwxd/rb³\5nrlNd[rmx^_lYnG\436nrlsd
j¤dwowijp\IwoqNb
.
dÏqvt<d`jklv` NNdw 3\I[5}N`cna`tmx^_v` wG[r\IqNnrmxN^/ blNdjp\_Ynr[]\_wÓtmo^Iv`cwt
)
jpwo\Yj GÀ{ []d td'n{Jd'nkj/*K[]qN5lN\_[]m g\IJna`cwxwo nrlN[]\_qN^Iltna`cv}s`c[k}Qjpdwxwªt`cv}n]lNd}N`cna`[r\_qn8
n]moN^jklv` NNdwr3 \I[i}Jmo[]d jpn~j¤\_NNdjpnrmx\_5nr\nrlNdNd'Jnijp\IwoqNb2/
blNd`c[]d `Ô\`3~n]lNd}s`cnk`5[r\IqNnrmxN^Qjlv` NNdw¾}Jduvdv}Nt\_%nrlNdwomxNd ` [G\_[a}Jd[rmxN^Ï\`3
n]lNdus[r\Yjpd t]t\I[jpdwxwªt0/nbÂ\bmxNmobmgdinrlsmªt~`c[]d `J{À`bmx8zjpqNnus[r\_|swodb l `_tn]\|vdt<\_wh8
d}@{@qvt<moN^5nrlsd!qiqN[a`c[rm`cv} 5qv}J|v\_[]\_qN^Il `cwo^I\_[]monrlsb
< ?
/2blNdus[r\Yjpd t]t\I[Ndn]womtn
mtÍn][k` vtrjp[]mo|vd }mo`9^I[k` uNl
.
lNmªjkl5movj¤woqv}Jdtn
.
\tuvd jpm`cwWN\Y}Jd t/rblsd^ 0
)
[]d t 8
uvd j¤nrmod'wo *s\Y}Jd![]duN[]d tdYnkt}N`cna` j¤\_NNdjpnrmx\_vtn]\ uN[r\Yjpdtrt\I[5qNuNuvd[5d }J^Id
)
[rd t<uvd jpnrmxdwo wo\
.
d'[+d}J^_d%*¾`cv}mtuNwª`Ijpd }`cn~nrlsdGnr\IuÔ\`3&n]lNdGwxmoNd ` [\_[k}Yd[rmxN^
)
[]d t 8
uvd j¤nrmod'wo Q`cnnrlNd|v\_nrn]\_b * /Whwon]lN\_qN^Ilnrlsmªt`cwx^_\_[]mon]lNb3mªtnrmobdjp\IvtqNbmoN^s{@monmªt
us[k`_j¤nrmªj'`cw3 \_[6\_qN[6dN` buNwxd t
.
lNd[]dn]lNdiuN[r\Yjpdtrt\I[kt~` [rdt<mobuNwxd~` v}[k` [rdwx dsjpdd }
`lYqNv}J[]d }Ïjpd'wowªt/KN\_[g`9^I[k`cusl
.
monrl)eIN\Y}Jd tÓ`cv}%e_eNd'nktp{v`womosd `c[~\I[k}Jd[]moN^
bmoNmxbmhgm²N^nrlNdbmx8Cj¤qNnmt 3 \_qNv}mx
=
t<d jp\Iv}Nt0/
blNdsdJnÓtn]duj¤\_vt<mªtnat\436Nd'nG`Itrtmx^_NbdJn~n]\nrlsdd[]nrmªj'`cw³[r\IqNnrmxN^5jklv`csNdw
n][k`IjGst0/vCÏn]lNmªt~uv` [rn{Nn]lNd}s`cnk`jp\_Nsd jpnrmx\_Q\_[k}Yd[rmxN^bqvt<n|vd[]d tuvd jpn]d }Ôn]\us[rd8
t<d[rdinrlsdG[rd^IqNwª` [rmxn \43Ènrlsd`c[][k` []\_qNn]moN^n/RblNd³{YnrlNdÓmoNuNqsnuv` [k`cbdnrd[at*3\_[~nrlsd
us[r\Yjpd t]t\I[^IdNd[a`cnr\I[G` [rduN[]\Y}Jqvjpd }j/
c %$ Y Jv
blsd^_dsd[k` nr\_[#t Gdwxdnr\I%jp\_ tmªt<nkt\`3
b5` mo,+0`O 3 qsvjpnrmx\_vtjp\_[][rd t<uv\_v}JmxN^nr\
n]lNduNwª`Ijpd`cv}[]\_qNn]dtn][k` nrd^I rE
ek/j 0 P \% #nk`4GdtG`_tmxNuNqNnatnrlsdwomosd `c[i\_[a}Jd[rmxN^Q`cv}Ïn]lNdNdn
`_trt<mo^INbdYn/
/j 0 Qna`4Gd t`ItmoNusqNnktnrlNdtmhgd5\43n]lNd` [r[k` `c } `womªt<n\`3
uN[r\Yjpdtrt\I[j¤\_NNdjpnrmx\_vt/;blNdQ}Jmªt<nk`c jpd tnr\%` wowx\
.
[r\IqNnrmxN^)tuv`Ijpd5| d'n
.
dd
jp\_wxqNbvt`cv} []\
.
t`c[]dÏdI` woqv` nrd } `_j'jp\_[a}JmoN^%nr\%nrlsdjp\INNd jpn]mo\IvtnrlNd'b 8
tdwxd t` v}Ôn]lNdnrd jklNN\Iwo\_^I I`c[]mª`c|swod t/
^/ d \ d #jp\IvtmtnatÍ\`3`}Jmo[]d jpn
.
mo[rmxN^|vdn
.
dd'5jp\_wxqNbvt/
2
//.n0
\ d gmªtmo 3z`IjpnG`0P( /
^/ \ n]d tnatÍn]lNdYqNb|vd[6\43jp\INNd jpn]mo\IvtmoQnrlNdn
.
\5}Jm`48
^_\_ `cwÓ}Jmo[]d jpnrmx\_vt/CKKmx[kt<n{Kmxnuvd[ 3 \I[rb5tnrlNdQ}Jm`c^_\Iv`cwÓjp\INNd jpn]mo\Ivt
.
mon]lN\_qNn
Jm`_tp{Nn]lNd5nrlsdsdJn}Jmª` ^_\Iv`cw&\INd t/ +`IjlQj`Itdmªtmx 3z`_jpni` 0`d k/
/4 d/ \ j¤\_vt<mªtnatÍ\`3`}Jmx[rd jpn
.
mo[]moN^|vdn
.
d'd5[r\
.
t0/
q tmos^jp\\I[k}Jmxv`cn]d63 []ddi3 qNvj¤nrmo\Ivtp{v` 3 qNwxwo nrd jklNN\Iwo\_^I mo }Jduvdv}Jd'Jn~^IdNd8
[a`cn]\_[Glv`It|vdd
.
[rmon]nrd9/@hGt~wo\IN^`_tn]lNduN[r\Yj¤d trt<\_[jpd'wow³[rdtuvd jpnatÍn]lNdjp\INNd j¤nr\_[
uswª`_j¤dbdYnjp\Ivtn][k`cmxJnatp{YnrlNmt+^_d'Nd[k` nr\I[ij`c5|vd`cusuNwomxd }
.
mon]lQ`cY uN[]\Yjpd t]t\_[i` v}
` J mxJn]d[kj¤\_NNdjpnrmx\_vt/@CnGna`4Gd tGwodtrtn]lv`ce'5td jp\Iv}Nti3 \_[n]lNd^IdNd[a`cn]\_[nr\Qwª`
\IqNnÓ`cQ`c[][k` 5\43e|J e'9us[r\Yjpd t]t\I[kt0/
KKmx^_qN[]d tlN\
.
t~nrlNd -uSTWviS#/0GmoYnrd'[ 3z`_j¤d/^blNd( .n/C !}Ymªtuswª` Nt~`
u `c[rn\`3Ó`}Jd t<mo^_ uN[]\Y}Jqvjpd}!|J %nrlsmªt|smª}Jmxbdvt<mo\_ `cw6`c[][k` !^IdNd[a`cn]\_[/;bls[r\_qs^_l
n]lNd d^C n]lNd}Jd t<mo^_sd[ij`cQmoYnrd[a`_jpn
.
mon]lÔn]lNd +0`OÔmxJn]d[rus[rdn]d[/
KKmo^IqN[rd ^E - SCTWviS#/70moYnrd'[ 3z`_j¤d
0
( %$+'
Cn]lNd - SCTWviS#/0GdYYmo[r\INbdYn{I`}Jd t<mo^INd[6jp[rd`cnrdt+lNmt lsd[~\
.
5tuvd jpm@Àj^IdNd8
[a`cn]\_[ktC3 \_[nrlsdi`_trt<db|Nwo \43¶[rd^IqNwª` [6`c[r[a` Nt/Pblsdit stnrd'b jp\_b|Nmosd t@uN[r\I^_[a`cbbmxN^
` v}^_[k` uNlNmjti3z`_jpmxwomon]mod t/ inrlNd\INdl `cv}@{ÀnrlNd*04Owª` N^_q `c^_d^_modtÍn]lNdcm dJmh8
|smowomxn< Ndd }Yd } nr\ }Jdd'wo\_u `cY ^IdNd[a`cnr\I[
.
monrlÜ`%uv`c[]nrmªj¤qNwª` [uNwª`Ijpd%`c } []\_qNn]d
t<nr[a`cnrd'^_ / inrlNd%\_n]lNd[5lv` v}@{n]lNd!^I[k` uNlNmªj'`cw&3 [r\IJn 8µd } ^Imod t` lNmx^_lÜ}Jd'^_[rd'd
\`3&mxJn]d[k`IjpnrmxJmxn< /Cuv` [rnrmjpqNw`c[{Nn]lNdGb5`Ijp[r\bd jklv`csmªtbVbdb\_[]mgd'ttd`HqNd jpd t+\`3
^I[k` uNlNmªj~d }Jmxnr\I[jp\_bb5`cv}stK` v}\I[ +0`Oc3qNvj¤nrmo\Ivt0/·¸ }Jdd }@{ monÈmªt&`G^_\\Y}bd'nrlN\Y}
3 \I[&j'`cuNn]qN[rmxN^n]lNd6}Jd t<mo^_sd[×t\mv\\_[&uswª`cbd'nrlN\Y}J\Iwo\I^_ / hmxbuv\_[rna`cYn -uST*v%S#/0
3 d`cnrqs[rdmªtn]lNdtmg'd8µmxv}Jduvd }JdYn~}Jd t<mo^I 3qsvjpnrmx\_vt/RblNd}Jd t<mo^_sd[ij`c
.
\_[G5mxÏ`
wx\_^Imªj` w
.
` {³uN[r\Y}Jq jpd5t Yb| \Iwomjwª` \IqNnkt`cv}}Yd0@vNd 3qNwowx nrd jklNN\Iwo\I^_ mo }Jduvd8
}YdJn~^IdNd[a`cn]\_[kt/
blNmtuv` u d'[us[rd t<dJnat`^_dNd'[k`cn]\_[&3\_[Ó|Nmª}Jmxbdvt<mo\Iv`cwW` [r[k` Qwª` \_qNn/rblsd^_d8
sd[k` nrmo\ImªtKb`_}Jd6mon
.
\t<nrdu t0/kKKmo[atn{InrlNd6uN[r\Yjpdtrt\I[mtÂ^IdNd[a`cnrd}[rd t<u djpnrmxN^Gnrlsd
` [r[a` Qjp\INNd j¤nrmo\Ijp\Ivtn][k` moYnkt~nr\[rdna`cmoQnrlNd[]d^_qNw`c[]mon< \43¾nrlNd#`c[r[a` /rblsd³{Nnrlsd
` [r[a` mt`Itrtd'b|Nwxd }
.
lsd[rdd `_jkl)jp\_Nsd jpnrmx\_a3 \_wxwo\
.
t`ÏtmxbuNwxd[r\IqNnrmxN^t]jlsdbdE
|s[rmª}Y^_d{v[rmxd[\I[}Jmx[rd jpni[r\IqNnrmxN^/W7\_vt<nr[k` moNmxN^5nrlNdus[r\Yjpd t]t\I[^IdNd[a`cn]mo\_%nr\[rd8
na`cmxnrlNd6[rd^IqNwª` [rmon< nrls[r\_qs^_lnrlNd6lNmod[a`c[ajlY tmxbuNwxmA@vd t@n]lNd~` [r[a` [r\IqNnrmxN^`c }`cwªt<\
3z`Ijpmowxmona`cnrdtt\Ibd` v`cwx Nt<mªtitqvjklQ`_ti}Jd tmx^_5[rqswodjklNd j GJmxN^\I[d'Jn][k`_j¤nrmo\I2/
16#
$
<e
?
/ ~`cna`cwomz{ / -` Ywod·{ " / 5·lN[r\I| d·{ q(/ 5q trtb`c³{
o / 1!dmtrt<d/ blsd
o Z D+
o
`cd}N`cwxqvt
o
dtmo^I &JYmo[]\_Nbd'Jn/ÛC*) {
\_lNÜZW/iqi[k` d }j/o{
hÓj`_}Jd'bmªjiZ&[rd t]tp{NuNu%e 8]eIJ{eIJe/
< ?
-l/ d[]^_d{RDC/ (/
o
\Igdwxwod{
/@~\_qsmowow`c[a}@{
o
/@~\_qRHqNmxd[/xD+K /%b³d jklNNmªj'`cw
s\_nrd·{r7 ;b 8dK&ih67 ~{³e'_ ^/
< ?
7%/
o
dg`c³{ x/qÓ`cqNn][rmo¶{%" /kD@d Bd[]^_d{ ` v}Z*/iqNmoYnr\I2/ 5· JYnrlNdtmªt³\43¶t< Nt<nr\_wxmªj
` [r[a` st|J d`Hqv`cn]mo\_Ünr[a`cvtd3 \_[]b5`cn]mo\_ t0/VC "i)"
{ ~`c[ajpdwx\_Nd{x5uv` mo³{
5·duNnrd'b|vd[ieIJek/
<2k?
x/*qÓ` qNnr[]mo³{jDC/³ZKd[][k` qv}Jd ` q2/-h
o
-h&7x5REv`n]\\_w*3\I[GnrlNdwª` \_qsnG\436[rd'^_q8
w`c[`c[][k` st0/C
# .n p )j .RA
\ %d
d d 0 "%)e'p$ > J{qi[rdN\I|Nwod·{KN[k`c jpd{-` [kjkl
e'_ /
< ?
x/j-l/rqiqN[k` [rmC{À /" /r5qv}Y| \I[r\IqN^_l2/Cbus[r\ d }
o
Yv` bmªjGZ&[]\_^_[a`cbbmoN^hwh8
^I\_[]monrlsb5t*3 \_[ ~` v}
.
m}Jnrl -ÏmxNmobmg ` nrmo\I` v}nrlsd&-Ïmxr7qNnxD@mxNd ` [~h[][k`cs^_d8
bdJnZ&[r\_|swodba/WC^ W &"%/.n6¤{B+\Iw Y{ uNu IJe08 2
{&e'_
2 /
<`?
o /
\_l `cvt<d2/l5mowxmªjp\I 7\IbuNmxwª`cn]mo\I2/ " 0 &` . *) 6Z&[r\k8
j¤dd }JmxN^t\`3&n]lNd
o
d jpdsNmª` wC76`cwon]d jkl#7\_P3 d'[rdvj¤d\I#BD*5 {n-`c[ajl%eI_^/
<=?
"(/>b&/W:GqNN^/ 1lJ )t stn]\_womj`c[ajlsmonrdjpnrqN[]d t"!#
'; j {WB+\Iwie J{&usu
=
{WeI /
< ?
/
/ D@mouNn]\_` v}S`cw / h&D³ E~` Z&[r\Yj¤d }JqN[a`cw D³` N^_q `c^_d n]\
o
d t]jp[rmx|vdaBD*5Y
D³` \IqNnkt/¸$
&%'
$ > c" %d '; ` 0k{_usu
2=
8
2P= 2 {
qsNdGe'_ /
< ?
"(/x/5lN[r\I|vd/;blNd}N` nk` uv`cn]lÔ^IdNd[a`cn]\_[/C '; W'; )(+*J>.-,\ .n n
1/.R. %d / dc{uNu
2
48z
2 2
{v 7\IbuNqNn]d[ 5\Yjpmxdn< {Ne'_ /
<
e
? 1 /1%\_w3 /&i|N<d jpn 8 i[rmxdYnrd }Z&[r\I^_[k` bbmxN^i3 \_[x76h
o
/&C $ >
,R '; jF ¤{YuNu 48
2
{r-` [kjkl!e'_Ye/
Unit´e de recherche INRIA Lorraine, Techn ˆopole de Nancy-Brabois, Campus scientifique, 615 rue de Jardin Botanique, BP 101, 54600 VILLERS L `ES NANCY
Unit´e de recherche INRIA Rennes, IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rh ˆone-Alpes, 46 avenue F´elix Viallet, 38031 GRENOBLE Cedex 1
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 93, 06902 SOPHIA-ANTIPOLIS Cedex
Editeur´
INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) ISSN 0249-6399