HAL Id: tel-00163733
https://tel.archives-ouvertes.fr/tel-00163733
Submitted on 18 Jul 2007
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.
Synthèse comportementale basée sur l’ordonnancement
Z. Sugar
To cite this version:
Z. Sugar. Synthèse comportementale basée sur l’ordonnancement. Micro et nanotechnolo- gies/Microélectronique. Institut National Polytechnique de Grenoble - INPG, 2000. Français. �tel- 00163733�
"! #%$&
')(+*-,.,./.0214365
798
*:/<;=*>140=1;=0=?-,A@CB
7ED 3 7
F F F F F F F F F F F
GIH JK#J
8
?L34/M?L1,
7ON 02/<;
79P /.*:Q
7 Q 7
R SUT GVJXWZY R J ["\^]`_ aIb
cedf
gh:iAjlkmi^n
f
goqpriAh:s:t
f
gkugvhnws:tyxziA{:|}g
8
/~5
7O8
*-/~5
7O7
*:3;m*-1?L/.*-,A?:0=/
7<^#
Qy*
N4
;
79
*:Q4/
7 Q
7^9L#:y9:v e¡l¢£9:vy¤~v¥`¦C¡l¢
§
¡£¨©¦C¡l¢`ª¬«~L«L¨¨¡`¦L`®-¢°¯±y¦
8
/~5
7O .7EN ,5
7O7²7 ,
?L3,
7EN
3
7³8 314;=0
D 3 7O´µ7ON
,
8
*:/
¶<·C¸¹6º
»e¼r½6¾À¿"Á Â+Ã
;
7ÅÄÆ&
*:0Ç:ÈLÈ:È
GÊÉEËÍÌÏÎ Ð
ÑÓÒÕÔ×Ö6Ø Ù
ÚÜÛÚ ÝÞß à Þá
Ö
Úâß Ú
Ô×Ö+ãä
Ú å ã Û æÚçÚ Û©èéá
äê
Þ©áìëíÞ
ÔIÔ×ã¬Ô
ÝÚâß Ú
Ô×Ö
îwïyð£ñeò4ðóôïÓõ9ðXö&÷ð£øðVù
"ö9úíð£õûüúIî^ýôðþ< !Ó! ì
þÿ !
;m*:0
N
/~5
7O 0=Q
7EN
,
#´µ7 N4N47
*
88
?L/^,
7
34/
0 @ 7 ;
*
88
?L/^,
7
34/
#´µ7
?L;
7EN !"!"# $%
* ´ 0N
*-,
7
34/
@ Q 0 * 0 *-, 34/
!"$#%!%&'() +*!,.-0/13245-2'62'-'78389(;: +"<8=)/1-*583,
%><24+"$#%?.()/1*(?24@,A83.BC D,9%E><2"$#%&(?/F.*+()24@,.8G+*,.H+3.22883I/1-'5J +*KL:M2
.()(?N83,O()/'38P,Q+3.20$-'2R%/L:HMST,Q+3.2U,.83=.*H+"(?3V-2U-2,.*@" +-*W.()/1%<:
$X-2R@"()2WG22L:%YCZ-2W24+*[J83-*B\ ]G^-`_Na%E>`24"]#%5(?/*2R=b:2L:*,.83()24
8cX*22S,A2()2d8c,.838`,A+2$de83,f=b:2e:*,A+2g-U@"()2U2'2e:%!8P,h%><24+"$#%h-
.2*QJ8-*Bi ]%\,.83=.*H+"(?%jI%: @,./1%k%E><2"$#%a249: `:I324+2%H7()29: +-' :%S,A2%
8P,8`:*,A+-*,.8*%]V-j8P,*@"*@"li8m2`:=*,A+2k%b-`+38%]i%><24+"$#%l(?/F*E+()2+,.83
,.-`_9^S-`_'n2/'32! _`%@,A2%2ko,./,.%/S,.*E+3Yk+*+,T7A,.-`_k*@"*@"%Bp26L:/H
=*,.2%n%/L:*2%dq8%k-`+38%Y&%E>`24"]#%r.()/1*(?24@,A83G*+,.'+2283%2&%24e,.(),.3%
/S,.*E72<-'%?#,!J*n,./'`:%\/S,.*83%2'/`+-'*%B
s
MS2Na*<:/12*!#,&%Y/*8c#(?%dt83,&*L: MS2H+3.2Nn8P,5%E>`24"]#%5(?/F.*+(?2'@,A83k%E
2'N2L:%%+,A3*ABvuk,.2%?+!+"$#%Ad2-%)/*/1%2%?-2w2.-'7,.-w^S-`_x6%><24+"$#%/'-3%zy
%+,A2rS,.%<:W-2V-(?249%-*r8mz: @,./16$.*2'2S,.2(?24TB|{er*.22S,.2(?249%x:+2-
$X-2/S,A*Tdq$-'2!,.2S,.8H><%9r@"(?32}'22L:%5/1-*G8cX-'7*-*97.*%5'%&,.//'833,A+2%
(?H_<+%dS$,.-'*I/S,.*ETdS$X-2~:+,./FIn=b:2e:*,A+2!-N`'n/1*() +,.248m,AS,./'+,A+2?T,A
N8cX*.22S,.2(?24r,7.R83,h%E><2"$#%~,.-w2'7,.-w*+,.2%E*ErN*=3%E+*%Bv ?T,.`:N-
2-`7T,A-^-`_g%/'*-'7:R/S,.*)-`_U,.//83,A+2%&(?/8 _`%9 92-%E+*883%dl9/S,.*r%2
324`:=*,A+2S,.2%-2!^S-`_I%><24+"$#%K%E>`%ET#()AB
N.%Ey 8 :%n%E><2"$#%G(?/F*E+()2+,.83Ad'%E>`24"]#%K,.-!2H7T,A-!*+,.2'%*Ek*=3%E+*%dS%E><2`y
+"$#%G,.-!2H7T,A-N%E>`%#(?.dt*22S,A2()2dS^S-`_!I24+*QJ.83.d^-`_!I2'2e:%dSkuk iB
Y'i6k
"<7r.+"%G"%3%K%G+"'983,.F.*+,A32h.\,W2 '%=2}(?"`'83=A>*G"
1"S,T7<3*,.84%><24+"'%%B\24+3842'[IdQ+"j1"S,T7<3*,.84%><24+"'%%"S,.%12G7<3 e5,.%+"i/*`%%b.
%><24+"'+2=a,IS,A+,./S,A"tA24+*.8383*q*.(,.2),.83=.*H+"(?3j%/1MS,A+2$B"%i%><24+"%3%i^S%
=2*,.838H>W28-%Y%7.*,.8%/%C+"5%@"-'8332'=d$+"&,A8383<T,Q+3.2$dS+"5S,Q@,./S,Q+"=2*,A+2
,.2!+"'G24+*.8383*%><24+"%%Be"83I,.88Z+"'%n/"S,A%%"S,T7nF2N _<+2%H78H>6%+-'3W32"
piu
s
(),.2$d$+"?324=*,A+2.e"?F"S,T7`*+,A8%><24+"%3%n+<83%k2h"? _`3%E+32'=N%E>`24"%3%
247<3*2(?24+%"S,.%2.\>Y=.+"'K,.S,AV<-,A+a,A24+2$B
s
2R%/H+K,&%*2'=9324+*%Y,.2
(r,.2'$d+"-**24i1"S,T7<3*,.8%E>`24"%3%i"S,.%2 7*j12538>a,./'&4>K+"'%3=2*%B
8H7`2=!+"%a/*83(*V<-'3*%K,6*'MS2H+2f.e+")F"S,T7`*+,A8j%E><2"%3%BW"%G+"'%%
/*/F.%%n,!/FL*E-8iF"S,T7`*+,A8%><24+"%%n^S.28>WS,.%O.2h"&%@"-832=6/"S,.%.B?"
%@"'-832=~%aMS*%E& _<+2w4>;,RS,A+,./S,A";,.2S,.8H><%3%G*5()_`;,.//'833,A+2%d,.2}"2x,
=2*,A+2?24+8H>N3%Y+"5%@"'-83O(?`'8+9+"'&q %E><2"%3%BK"3%Y() +"<8=.>
"S,.%12a324=*,A+n,%><%E+(87.8%><24+"%%b^S0,A2GH+%] Z+H72%%"S,.%12G7A,.8-S,A+
2 Lr32'-%*3,.8Hy%T,A836 _',.(?/8%B
¡k>e.*%RF"S,T7<3*,.8%><24+"%%d\q |%E>`24"%3%d%E><%+( 87.8%><24+"%%d%@"'-832='d
.2*8$^[IdS,A@,K^SIdSkuk iB
-=i:,.*¢Z8Ht:,.2$dW,.£A¤¤¤'d$¥.¥¥I/S,.=%B
¦ `§l¨ yz£[yz©'¥Tªª4£.©Qy¬«4Qy ©9®i*%32!/S,./'3*+¯
"!#%$&')(*,+-/.102(3)+546%7983:!<;6=3>;?=&,3"=;6=3)@%!#%;?%$9"&A4?BC($&D!#%*3FE>G;?=+
E,;H!<$%3"3.JIK.MLON,!<3"P@%)=*M35+RQ'P@)G%3)@)GS.1*UTV,QAWXL'82(*3C.JYK(1!<3Z+M!<3:!#[K\C;?=&
3)P@)G=3)@)GP&PL82(*3]&).Z+M!#&D8^($M!<0!`_<!<"\a%]82(*3]&).b8c.13":!#@%!<8c.1:!#($R4d_e-f(3"!<=$g.h"!#(1$R+M
;?=&':3.JY1.1*M7b+MO:GiP&:j
>3)=;6=3"@=!<A\P[K.1_#%;?%$9kBC($&D!#%*3'lm%3"$c.13"+ZTm(*3:)(!<&PLnN,!<3"P@="=*3+M*Zop.10^(13.hq
)(!`3)OrsDBCE]Lc82(*3k;C-/.tY(!<3k.@P@%*=!`_<_<!^+.1$&'&:($C_#.102(3.1"(!<3"j
Z"!#%$&43)=;6=3"@=!<=3bBZ($&:!<=*3?E,_#.1!<$vuw3"=!<$=3JLx3"(yzP&:&"%*3Z4R_e-/{>$M!<YK%3)&D!<)\
x!<=3:3)|%]B5.13"!<}T~*3:!#|+M}x.13:!#&wnL^8^(1*3F;C-.JYK(1!<3>y.1!<,_e-G($$%*3w+]83)\=&:!#+M=3w_#
*3"Ij
3)=;6=3"@=!< B5.+.1;?RE,$$BZ!#[1$(""L x3)(yz=&"&:=*34_e-fse$&::!<"*MVA.h"!#(1$c.1_
+P&Wn@=!<=$@=P&E>88_<!<*\P=&C+SoIK($L]BC(1$&:!<=*3BZ!#@)G=_]E,*[*M!<$LOx3)(1yzP&"&:=*34
_e-/{>$!`YK=3"&:!`)\|+V'!#@=|8^(*M3F;5-/.JYK(!`3Fy.1!`A_e-G($M$=*3F+-/%"3"|3.1882(3:)=*M3)&w+}@==""
"Gi=&"].1!<$&D!*aB5.+.1;6Ox(1_#=$CF!#&:&:!<($b8^(*M3'&).}8c.13":!#@%!<8c.1:!#($d.1* *3"Ij
d"!<=$&H4.+M3"P&"&:=36;?=&3"=;6=3"@=!#%;?%$g)&64;6P&6.1$@%!#%$&=H$(*YJ.1*M7@=(_`q
_#iP[1*P&B5.1G%3Q>.1G;6(*$!8^(1*3|;C-.JYK(1!<3ay.h!<a_-f!`$g"3)(9+M*@%"!<($45;6($ &D* =+M
"Gi=&" F_`!#&).h0^%"Gvl~=3"3"=0!A=dse;6P+vBC(*&:&).+($g6_#P&H"3).tY1.1*n7($g?\=)\C!<$+M!<&Dq
8^%$&).10M_#P&4_e-f\=Y1.1_`*c.1:!#($+Z;?=&63)\=&:*_`.1"&CAxG!<_`!<882Zop%;.h3"3)=@C%dxG!`_<!<8M8^
uw*!`_<_#.1*;6A8^(1*3,_<=*3>[K%$g"!<_`_#=&"&" =>_#%*3A.[3)\P.10_< @=(;H8c.[$!<2E,+=_L2l~=3"$.13)+L
T~_.1*+n!<$1Lpx.&:@J.1_LQ'(9+(_<8MGLrmGM!#=3:3"Iu}j^%]rmG!#%3"3"IQ j28^(*M3w_#=*M3w8c.1"!<=$@=4
@P(3:3"!#[=3O;?(1$R;?.1$g*&"@%3"!`a+"GiP&"CA_<!`Y9!<=3 NajL\%3);6H= .1$+=3 8^(1*3]_<=*3
G9*M;?%*3A"(* (*3"&,&DIg;68c.h"G!<g*?^F_`!<Yg!#%3>xj82(*3,&"P&,0_.[1*P&'!<$\%8*!<&).10_<P&=j>
3)=;6=3"@=!<\=[.1_<=;6=$gu .h03"!<=_.m82(*3p;C-.JY(!<302J.1*@P(*8a.1!<+\8^(*M3_<0^(1$a+\%3)(*M_#%q
;?%$9>+w;?.|&"(*M)=$.1$@P1j
M-/.+M3"P&"&:|;?=&,3"=;6=3)@%!#%;?%$9"&F.1*53)P&D)|+n*_.102(3.h)(!`3)OrsDBCE]L2$().1;H;?%$9
4?Wn(1$ .|8^(*M3'&"($5.1!#+MF8c.13"yz(1!#&m!`$P&D"!<;?.10_<j
'83)\=&"%$9"F;?=&3"P@=($$c.1!<&"&".1$@P=&k4 ;6P&8c.13"=$g)&8^(1*3~_<=*3~=$@P(*3).[K%;?%$9"&
+=8*M!#&k;?(1$Z8.tI9&'$c.1).1_ej
!`$c.1_<=;6=$gJL ;? +M(!#&+-/.+M3"P&:&"=3;6P&8_`*&&:!`$@Pi%3)P&3"=;6=3)@%!#%;?%$9"&4
Q>%$c¡1.82(*3d&".8c.1"!<=$@=!<$¢M$!#1L'82(*3b&". &"(*"=$c.h$@P=d82(*3?)(*b@=*
$(*&>.JYK($&>8c.h3".1[K\F8^%$+.1$g>_#=&"3)(1!#&'.1$$\PP&'8c.&:&"\=P&,46uF3)%$(0_<j
³ ´ µ·¶n¸=¹nºX»t¼M»·½z¾XºÀ¿p¹Á¼»·ÂpÃ9¸P¹ Ä
Å jÅ A0 =@=:!<yz&j]j j j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj Æ
Å jÇ Tm(1$9:3"!`0*"!<($&«j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj Æ
Å
j/È x_#.1$Z+w_.a"GiP&"j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj É
Ê Ë=º2»tµ·¾¿ÌÍ»t½¾XºÎÁz¼¸=Ïpº2»·ÂpÃ9¸P¹ÍK¾XРѾXµt»t¹9Ð ¹9º2»t¼Á¹ ³9Ò
ÇnjÅ E>0&::3.@%"!<($C.1*C$M!<YKP.1*Z@P(;H82(3""=;6=$g.1_j jOj]j j]j j j]j j]j jOj ÅÅ
Ç9jÅ jÅ o!#%$5.JYP@O_.}&:Ig$g"Gi=&"a.1*b$!<YJ.1*Z"3).1$&:yz%3">+w3)=[!#&D"3"P& j Å Ç
ÇnjÇ N,(;.h!<$=&k+-.h88_<!<@J.1:!#($+w_.|&:Ig$g"GiP&"a@P(;H8^(13")%;?%$g.1_<Fj]j jOj Å È
Ç9jÓÇnjÅ uF3.18Gw+ ÔM*M7b+O@P(1$9:3)_<j j j]j jOj]j j]j j j]j j]j jOj ÅPÕ
Ç9jÓÇnjÇ uF3.18Gw+ ÔM*M7b+O+($M$\P=&j j j]j jOj]j j]j j j]j j]j jOj Å
Ç9jÓÇnj/È E,8M8_<!<@J.1:!#($&~;6!7n"P&Oj j]j j]j j j]j jOj]j j]j j j]j j]j jOj
ÅtÖ
ÇnjÇnj/ÈMjÅ BC(9+i=_<P&+b3)%83)\=&"=$g).1"!<($82(*3_<P&H.188_`!#@P.hq
"!<($&;H!`79)=&j]j j]j j j]j jOj]j j]j j j]j j]j jOj Å Æ
Çnj/È E>883"(n@)GO"3).+M!`"!#(1$$=_`_#'8^(1*3k_.}&:Ig$g"GiP&"]@P(;H82(3""=;6=$g.1_<×jOj
Å É
Ç9jÈMjÅ NA=&"@=3:!<8:!#($Z@=(;682(3:)=;6=$g).1_# j]j jOj]j j]j j j]j j]j jOj Å É
Ç9jÈMjÇ Tm(;H8!<_#.1"!<($ =\=_.h0^(3).1"!<($ +m_#.>+=&"@%3"!<8M"!#(1$}@P(;H82(3""%q
;6=$g.1_< j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOjØÇ1Ù
Ç9jÈMj/È A3)+(1$$c.1$@==;6=$g×j j j]j j]j j j]j jOj]j j]j j j]j j]j jOjØÇ Å
Çnj/ÈMj/ÈMjÅ BC(9+O+-f(3)+(1$$c.1$@==;6=$gZjOj]j j]j j j]j j]j jOjØÇ Å
Çnj/ÈMj/ÈMjÓÇ E,_<[K(3:!<"GM;?=&m+-f(3)+M($$c.1$@P=;6=$gÚj j j]j j]j jOjØÇÛ
Ç9jÈMj
Õ
E,_`_#(9@J.1:!#($¦j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOjØÇ
Ö
Ç9jÈMjÛ uw\=$\%3.1:!#($Z+-/.13)@)GM!<)=@=:*3) j j j]j jOj]j j]j j j]j j]j jOjØÇ1Æ
Çnj
Õ
Tm(1$@=_`*&:!<($&Új j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOjØÇ1Æ
Ü Ý2Ïpº2»·ÂpÃ9¸P¹ÍK¾XРѾcµ·»J¹nÐ ¹9º2»t¼Á¹ZÞO¶g»J¼M»6¿¹Áàßá¼µt» Êâ
ÈMj
Å ã
).1'+w_e-/.13"Cj j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ÈÙ
ÈnjÅ jÅ op.83"=;H!#i=3"S[K\%$\=3).1"!<($U+=&(*:!<_<&C+S&:Ig$g"Gi=&"@P(;q
82(3""=;6=$g.1_< j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ÈÙ
Ènj
Å
jÇ op.+=*n7n!<i=;6[K\%$\=3).1"!<($ä+P&d(1*"!`_#&H+&:Ig$g"Gi=&"@P(;q
82(3""=;6=$g.1_< j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ÈÙ
ÈnjÅ j/È op.:3)(!<&:!<i=;6[K\=$\=3.h"!#(1$+MP&Z(*"!`_#&d+&DI9$g:GiP&:@P(;q
82(3""=;6=$g.1_< j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ÈKÇ
ÈMjÇ o!`;6!`.1:!#($&+=&>(1*"!`_#&k+O&:Ig$g"GiP&" "3).+M!<:!#($M$=_<& j j j]j j]j jOj¦ÈÈ
ÈnjÓÇnjÅ lm%Gc.JY9!<(3.h_Tm(;H8!<_<=3tðfF$c.KÉKhñj j]j jOj]j j]j j j]j j]j jOj¦ÈÈ
ÈMjÇnj
Å jÅ
BC(9++-f(3"+($$c.h$@P%;?%$9+klm%Gc.JY9!<(3.h_Tm(;q
8!`_#=3j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ÈKÛ
ÈMjÇnjÅ jÓÇ o!<;H!<).1"!<($&+ lm=Gc.JYg!#(13.1_Tm(1;68!`_#%3'j]j j]j jOj¦È Ö
ÈnjÓÇnjÇ A*"!`_+O&:Ig$g"GiP&" *$!`YK=3"&:!`.1!`3)}E,;H!#@P.1_òð/KNFOQ>É
Ö
ñj jOj
Õ Ù
ÈMjÇnjÇnjÅ BC(9+i=_<w+-f=$g"3"\P @P(;H8^(13")%;?%$g.1_ój j]j j]j jOj Õ Ç
ÈMjÇnjÇnjÓÇ E,3"@)G!<"P@%"*3"H@%!<0_<.1*$!<YJ.1*:3.1$&Dyz=3:]+M3"%q
[!<&:"3"P&j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj
ÕÕ
ÈMjÇnjÇnjÈ {>:!<_`!#&).h"!#(1$+M*C&:I9&:"i=;6]EFBCsDTmEFo j j]j j]j jOj Õ Û
ÈMj/È V>(*YJ.1*M7Z(10 P@%"!<yz&k82(*3k_#.|&:Ig$g"Gi=&"|@=(;682(3:)=;6=$g).1_#dj j]j jOj Õ
ÈMj
Õ
V>(*Y=_<_<.18M83)(9@)G682(*3]_.Z&:Ig$g"Gi=&"b@P(;H82(3""=;6=$g.1_<bH@=($Mq
:3"!`0*"!<($&ôj j j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj Õ Æ
ÈMjÛ Tm(1$@=_`*&:!<($&Új j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj Õ É
õ Ë=º2»t¹gµ·Ñµ·¶»t¼M»t½¾Xº¿¹döb÷CøZùúѾX̵6Áz¼¸=Ïpº2»tÂÃ9¸P¹5ÍK¾2РѾcµt»t¹9Ð ¹nºX»t¼Á¹üû2³
Õ jÅ ow;6(n+i%_#AýFþANFoÿj]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOjØÛÇ
Õ
jÇ x3"(n@=P&"&D*& j j j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOjØÛ1È
Õ j/È E^=@=).1"!<($&k+O&:!<[$c.1*n7b=>+wY1.13"!#.10_<P& j jOj]j j]j j j]j j]j jOjØÛ1
Õ jÕ W9(*&Dq83)([3.1;H;6P&F83"(n@=\P+M*3"P&=Lcyz(1$@=:!#($&k%'(82\=3.h)=*M3)& j]j jOj¦Ù
Õ
jÛ se$&:"3:*@=:!#($&>@=($+M!`"!<($$%_<_#=& j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦KÇ
Õ j/ se$&:"3:*@=:!#($&'!`)\%3.1:!<YK=&Fj j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦KÇ
Õ jMjÅ lm(*@=_#=&k!<$¢$M!#P&¦j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦È
Õ
jMjÇ lm(*@=_#=&>.tYP@ +P&k_`!<;H!<)=&m@=($$g*P&Oj jOj]j j]j j j]j j]j jOj¦È
Õ jMj/È lm(*@=_#=&>.tYP@ +P&'+\%8^%$+.1$@PP&,+O+($$\PP&wj j j]j j]j jOj¦ Õ
Õ jÖ o=&'òIg82P&>+O+($$\PP&²j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ Õ
Õ jÖ jÅ
oP&kòIg8^=&,&:@J.1_#.1!<3"P& j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦KÛ
Õ jÖ jÇ oP&kòIg8^=&,@=(;H8^(K&D!<"P&új]j j]j j j]j jOj]j j]j j j]j j]j jOj¦KÛ
Õ jÖ j/È oP&kòIg8^=&A.1@P@Pi=& j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦
Õ jÖ jÕ
oP&kòIg8^=&,+MO¢@)G!#%3 j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦
Õ j/Æ E>YK%$!<3>+M*Z_.1$[.[KAýFþANFo j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ Ö
Õ j/É Tm(1$@=_`*&:!<($Sj j j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ Ö
û Ý2Ïpº2»·ÂpÃ9¸P¹ÍK¾XРѾcµ·»J¹nÐ ¹9º2»t¼Á¹¼¸P¶g¹¸J̵?ÁDßá¾cµh¿¾Xºº¼ºÍK¹9Ð ¹9º2» Äcâ
ÛnjÅ E>88_`!#@J.h"!#(1$d+w_.}&:Ig$g"GiP&"]@P(;H82(3""=;6=$g.1_< j j]j j j]j j]j jOj Ö Ù
ÛnjÇ BZ(n+i%_#w+-f=$g:3)\P @P(1;682(3""=;6=$g.h_ j j j]j jOj]j j]j j j]j j]j jOj
Ö9Å
Ûnj/È BZ(n+i%_#w+O&:(3":!#O.1*Z$!<YJ.1*Z"3).1$&Dyz=3"'+MO3"P[!<&::3)P& j j j]j j]j jOj Ö Û
Ûnj
Õ ã
_#.10^(13.1:!#($O+_.'+P&:@=3:!<8:!#($]=@P($&D"3:*@=:!#($a+M*|[3).18G+Ô*M7
+M @=($g"3"_#|j j j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj
ÛnjÛ A3"+($$c.h$@P%;?%$9 j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj ÖÖ
Û9jÓÛnj
Å
uw\=$\%3.1:!#($Z+=&>@)G=;H!<$&'+-f%7n\P@%*"!<($j]j j]j j j]j j]j jOj
Ö É
Û9jÓÛnjÇ uw\=$\%3.1:!#($Z+w_.a;?.@)G!`$w+-f\=).1)&k¢$!<&Aj j]j j j]j j]j jOj¦ÆÈ
Û9jÓÛnj/È Q'\P\P@%3"!`"*3" +M @=(n+M j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦Æ Õ
Û9jÓÛnj
Õ
E,$.1_<I9&"O+O@)G%;6!`$Z+O+($$\=P& @)Gc.#$.[K?j j j]j j]j jOj¦Æ
Ö
Ûnj/ Tm(1$@=_`*&:!<($&Új j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ÉÙ
Ä ÑÑÁ½ÍK¼M»·½z¾2º¿p¹Áz¼R¸%Ïpº2»·ÂpÃ9¸P¹ÍK¾XРѾXµt»t¹9Ð ¹9º2»t¼Áz¹ â2Ê
MjÅ 7n=;H8_<P&'+-/.188_`!#@J.h"!#(1$ j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ÉKÇ
njÅ jÅ op.}@P($@==8:!#($C+-*$C@P($g"3"_#F:3.1¢@ Er'B j j j]j j]j jOj¦ÉÈ
MjÅ jÅ jÅ E,3"@)G!<"P@%"*3" +n*5@%!<3)@%*!<'+^-/Er'B j j j]j j]j jOj¦ÉÈ
MjÅ jÅ jÓÇ W9òIg_#+^-/\=@=3"!`"*3"+P&p+=&"@%3"!<8M"!#(1$&@P(1;682(3""=;6=$Mq
.h_#P&j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj¦ÉKÛ
MjÅ jÅ jÈ Q'\P&:*M_<.h)&k+w_.}&DI9$g:GiP&:×jOj]j j]j j j]j j]j jOj¦É
njÅ jÇ op.}@P($@==8:!#($C+w_e-fP&D"!`;.1"=*3+w;?(*MYK=;6=$g?j]j j]j jOj¦ÉÉ
MjÇ o!<=$C.JYKP@O_.|&DIg$9:GiP&:|&:I9&D)i=;6 j j]j j j]j jOj]j j]j j j]j j]j jOj Å Ù Å
njÓÇnj
Å
BC(9+i=_<w+-f=$g"3"\Pa@=(;H8^(3:)%;?%$9).1_#,\="=$+M*äj j j]j j]j jOj
Å
ÙÈ
Mj/È Tm(1$@=_`*&:!<($&Új j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj Å Ù Õ
¾XºÍÁ̸J½¾Xº¸|¹»6ѹgµh¸Pѹ9Í»·½ X¹n¸ ³nÒXÄ
Ö jÅ Tm(1$@=_`*&:!<($&Új j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj Å Ù
Ö jÇ x=3"&:82P@=:!<YP&vj j]j j]j j j j j j]j j]j j j]j jOj]j j]j j j]j j]j jOj Å ÙÆ
±«ª¨ S¤ ¯ © ¨ §¤
°«ª¨
"!$#$%&'(
NA%8*!<&>8_`*&>+|Ç1Ù6.1$&PL_.}3)=@)G=3"@)G|=$5&:Ig$g"Gi=&"|@=(;H8^(3:)%;?%$9).1_#w=&:>!<$Mq
)=$&:!<YjTm%3".h!<$&(*"!`_#&@P(;H;6=3)@%!.1*n7 ($gy.1!`_<=*3.188c.13:!<:!#($]&:*3_#~;?.13"@)G\m%
&"($g+\
4¡>+M!<&:82($!`0_#=&Pjx.13p@=($g"3"L%$];H!<_`!#%*A!<$+M*&::3"!<=_eLJ_<+P[13)\+-/.@P@==8).1"!<($
+@P=&d(*"!`_#&$-/. .1;.h!#&3)\=*&"&:! 4S.1""=!<$+M3)@==_`*!F+C_.R;6\=:G(n+M(_#(K[1!#b+5_#.
&:Ig$g"Gi=&"6.1*$!`YKJ.h*"3.h$&:yz%3"w+]3)P[1!#&::3)=&Pj o]yz(K&:&"\}+a8M3)(9+M*@=:!<Yg!<"\a%$@=3)(1!#&Dq
&).1$@=Z3"=83"\P&:=$g)b*$d$(*MYK=_`_#d(8M8^(3:"*$M!<)\68^(*M3}_.&:Ig$g"GiP&"C@P(;H82(3""=;6=$Mq
.1_<8*!#&:*-f!`_k+%Y9!<=$gH+d8_<*&}=$8_<*&}$\=@P=&"&).h!<3)b+-f(8"=382(*3+d$(*MYK=_`_#=&
;?\%"G(9+(_<(K[!#=&Pjó$ :G\P(3:!#1LA_. &:Ig$g"GiP&"S@P(;H8^(13")%;?%$g.1_<.1882(3""*M$ =$nq
&"=;a0_#6+-.JY1.1$g.1[KP& !<;H8^(3:.1$g"&Ha@=I9@=_<?+6+\=Y=_#(188^%;?%$g|@P(1*3"PLP&D"!`;.1:!#($
+F8^%3"yz(3:;.h$@Pw4a*M$Z$M!<YKP.1*b+-/.10&D"3.1@="!<($d8_`*&\=_<=Y\L3)\%*"!`_<!<&).1:!#($H8_<*&my.@=!`_#
+P&H@P($@P=8M"!#(1$&}%79!#&D.1$g"P&PL!<$+M\=82=$+.h$@Pb+d_.5"P@)G$(_#(K[1!#@%!<0_<L="@jx.h3
@P($g"3"L@P%3".h!<$=&O_`!<;H!<).1"!<($&'($g =;H8^=@)G\6*}_#.b&DIg$9:GiP&:?@=(;682(3:)=;6=$g).1_#
&"(!`]3"\=8c.1$+M*682(*3 _#=&|.18M8_<!<@J.1:!#($&F!`$+M*&D"3:!#=_`_#=&w=|@=(;H8_# 7M=&PjZ$ [K\%$\=3).1_eL
_#P&3)\P&D*_<).1)&+Mm_.A&DIg$9:GiP&:,&:($g+M!*)H@%!<_#=&4F@=(;68M3)=$+M3)%4,83"\=YK(1!<3JLK_<m;6(n+i%_#
+-/%$g"3)\=OP&:':3)(8d3"P&::3)%!<$gJLM_-f!`$g)\P[13.1:!#($?+F_.a&DIg$9:GiP&:]@=(;H8^(3:)%;?%$9).1_#A.1*M7
Ô*M7b+w@=($@==8:!#($Z%79!<&:.h$9"&8^(&"O+w&"\%3"!<=*M7?83)(0M_#i=;6P&m=JL+.1$&k@P%3").1!<$&k@P.&PL
_#P& (*:!<_<&w+6&DIg$9:GiP&:d.1*$!<YJ.1*R"3).1$&:yz%3"]+3)P[1!#&::3)=& 83"(n+n*!#&:=$g +P& 3)\P&D*_`q
.1"&8_<*&+)H@J.@=P&Pjse_=&:+($@$\P@=P&"&".1!<3",+^-f!`$9:3)(9+M*!`3)~*M$k$(*Y=_<_<k[K\=$\=3.h"!#(1$
+-/(1*"!`_#&+k&DIg$9:GiP&:A@=(;682(3:)=;6=$g).1_#8^(*M3&:*3:8c.&"&:=3_#=&83)(10_#i%;?=&8^(K&:\P&8c.h3
_#P&'(*M"!<_<&@=_#.&"&D!#*=&Pj
A*:3)F_#=&83)(10_#i%;?=&k+\P@%3"!<"&'@=!`qe+P&:&:*&=L_.|&DI9$g:GiP&:a@P(1;682(3""=;6=$g.h_#A$-fP&D
.1;.h!#&8c.13:YK%$9*4, 798_#(!`)%3p=$g"!<i=3)%;?%$g_<P&p@J.18.@=!`)\P&+_.k&:Ig$g"GiP&"'.h*]$!`YKP.1*
"3.h$&:yz%3"|+MH3"P[!<&:"3"P&=jCNA.1$&O*$.h883)(9@)G6@=_.1&"&:!<*L_.b&:Ig$g"Gi=&"@=(;682(3:)%q
;?%$9).1_#m,2P@=:*_e-f(3"+($$c.h$@P%;?%$9PL_e-/.1_`_#(9@J.1:!#($Lt_-.&:&"(9@=!#.1"!<($a+MP&*$!`)\=&yz($@%q
"!#(1$$=_`_#=&m=k8M3)(9+M*!<~*$O.13"@)G!<"P@%"*3"w@P(;H8^(&"\Pw+^-f*$Z@=($g"3)1_#=*M3k='+-*$Z@)G q
Å Ö
;6!`$+,+($$\=P&=j~o-f(3)+M($$c.1$@P=;6=$gk+M\P@P(1;682(K&">_. +P&:@=3"!`8"!<($!`$!<:!.1_<=$d*$
;.@)GM!<$+-f\=).1)&¢$M!#&+Gc.1*M$M!<YKP.1* +($g@)Gc.*"3).1$&:!`"!<($F82=*=:3)%7n\=@=*"\P
=$*$@=I9@=_<H+^-fG(13"_#([Kjao-f\=).182}+-.h_<_#(9@J.h"!#(1$=O@==_`_#|+-/.&:&"(9@=!.h"!#(1$+P&w*$!`)\=&
yz($@=:!#($M$=_`_#P&63. (*M)4@P;6(n+Mi=_#Z_#=&!<$yz(3:;.h"!#(1$&6@=($@==3"$.1$gZ_<8c.13:.[K
+P&a3"P&:&"(*3"@P=&Pj$ [\=$\%3.1_L_e-f\=).1826&D*!<Y1.1$g)6+\P@=(;H8^(K&:?@=6;6(n+i%_#=$+=*M7
@P(;H8^(&).1$g)&O_#w@=($g"3"_#%*3>&"(*&kyz(3:;?w+^-f*$ ;?.@)G!`$w+-f\=.h)&'¢$!#&'.h*C$!`YKP.1*
"3.h$&:yz%3"F+M]3)=[!#&D"3"P&>=A_<O@)G=;H!<$5+a+(1$$\P=&F@P(1$9"=$c.h$9,_#=&>*$M!<)\=&,yz($@="!<($Mq
$=_`_#P&k@P.18c.10M_#P&'+-f%7n\=@=*"=3A_<P&k(82\=3).1"!<($&k+w_#.|+P&:@=3"!`8"!<($Z@P(;H82(3""=;6=$g.1_<j
Wn%*_ _e-f(3)+(1$$c.1$@==;6=$g
comportemental
Ordonnancement
Allocation de ressources
de ressources
Synthèse au niveau transfert de registres
Association
Portes logiques
Synthèse au niveau transfert de registres Synthèse
comportementale traditionnelle
Modèle
!<[*3" Å jÅ W9Ig$g"Gi=&"«.1*$M!<YKP.1*
@=(;682(3:)=;6=$g).1_^%"3).1$&Dyz=3"+A3) q
[1!#&::3)=&
P&:&:82\P@=!`¢*4R_#.R&DI9$g:GiP&:
@P(;H8^(13")%;?%$g.1_<]_#P&Z.1*M:q
3)P&\%.182P&5+M*UÔ*M7 8^%*YK%$9
="3" .@=@P(;H8_<!<P& 4 _e-/.1!<+
+-/(1*"!`_#& + &DI9$g:GiP&: .1*
$!<YJ.1*:3.1$&:yz=3:A+M]3)=[!#&D"3"P&
;?(9+=3:$P&=Lc@PO*!P&:>!<_`_<*&D"3"\
&:*3F_#.6¢[*M3)
Å jÅ
jAop];?(9+i=_<
+-/%$g"3)\=v+À_#. &:Ig$g"Gi=&"ú.1*
$!<YJ.1*:3.1$&:yz=3:A+M]3)=[!#&D"3"P&
8^%*>="3"F_.a;?.@)G!`$F+-f\=).1)&
¢$!#&«+ G.1* $M!<YKP.1*ô83"(1q
+M*!<"?8c.13a_e-f(3)+(1$$c.1$@==;6=$g
(* _e-/.13)@)GM!<)=@=:*3) &D8^\=@=!`¢\P
@P(;H8_#i%)%;?%$9Pj oP&®+%*M7
;?(9+i=_<P&C($g*$&D8^\=@=!`¢@=!`)\
@P(;H;|*$ _.Ø&DIg$@)G3)(1$!`q
&).1:!#($ú+=&Z(18^\%3.1:!#($&?&P-f,2P@=:*4_-.1!<++-*$G(13"_#([KL,.1*:3)=;6=$gb+M!`JL'_#=&
+P&:@=3"!`8"!<($&>&"($g,+\=¢M$!#=&F.JYK=@a%7M.@%"!`"*+ +M*5@=I9@=_<]+-G(3:_#(K[j$5,2=JLc@==""
83)\=@=!#&D!#($ =&:.h")%!<$g).183)i=&5_e-f\=).182S+-f(3)+M($$c.1$@P=;6=$gPjÿE>!<$&D!a_#.;.1@)G!<$
+-/\%.1"&À¢$!<&+MGc.1*MÀ$!`YKJ.h*Ø83)(9+M*!`)v8c.13_e-f(3)+M($$c.1$@P=;6=$g8^%3";6=Dqò=_`_#
*$|!<$g"\P[3).1"!<($+|_#.?&:Ig$g"Gi=&"H@P(;H82(3""=;6=$g.1_<|.JYK=@}_.?&DI9$g:GiP&:.1*$!`YKP.1*
"3.h$&:yz%3"+3"P[!<&::3)P&C8_<*&Z)+.1$&5_<RÔ*n7U+@=($@==8:!#($j NA.1$&@P @P.&PL
_e-/.1_<_<(n@P.1"!<($ +M3)P&:&"(*M3)@P=&.1!`$&:!a* _e-/.&"&:(n@%!.1:!#($U+MP&*$!`)\P&yz(1$@=:!#($$=_<_<P&
&"($g,,2P@=:*\P=&>8.13'_.|&:Ig$g"GiP&"a.1*Z$!<YJ.1*b"3).1$&Dyz=3">+w3"P[!<&:"3"P&=j
oP&O3)=@)G=3"@)GP&];?%$\P=&a+.1$& _<H@P.+M3"6+H@P%""H:GiP&:?&P-/.188M*!#%$9]&:*M3a@==""
$(*Y=_<_<|3)=+\=¢$M!<"!<($+|_#.&:Ig$g"Gi=&"H@P(;H82(3""=;6=$g.1_<j o-.h883)(9@)G}%F_#=&O.1_`q
[K(3"!`"G;6P&d+M&DIg$9:GiP&:S($gZ\="\83)(*MYK\P&b8c.13Z+=&5.h88_<!<@J.1:!#($&?@P(1;68_<%7nP&b%
!<$+M*&:"3:!#%_<_#=&k=>8c.13'_e-!<$g"\P[3).1"!<($b+O_e-f(*"!`_p4}*$CÔM*M7C+]&DIg$9:GiP&:|&:I9&D)i=;6 g*M!
Å
-./- 021435
%6 ',798
o-f(0 P@%"!`yk+?@==:)?:GiP&:P&D}+(*0M_#Z}+-f*M$?8c.13:JL\="*+M!#%3|+=&a;?\%"G(9+=&
+-/(13)+($M$c.1$@==;6=$ga*:!<_`!#&).h0_#=&F8c.13 8_<*&D!#%*3)& +(;?.1!<$P&O+-/.188_`!#@J.h"!#(1$Lp+-.h*"3"
8c.13"PL9.1$c.1_`In&:=3*$';6=!`_<_<=*3"~!<$g"\P[3).1"!<($+P&(*M"!<_<&+'&:Ig$g"GiP&",@P(;H82(3""=;6=$Mq
.1_<O.1*M7dÔ*n7b+O@P($@P=8M"!#(1$5 7n!<&:).1$g)&Pj
op.a8_`*8c.13:'+P&'.1_<[K(3:!<"GM;?=&m+-f(3)+M($$c.1$@P=;6=$g>&P-!<$g"\=3)=&"&:=$gF4|_#.|&:Ig$g"Gi=&"
+P& @=!`3)@=*M!<)&w(13"!#%$g)\P&FÔM*M7++($M$\P=& "=_#&w*_#=&O.188_`!#@P.1"!<($&A+M:3.1!`)%;?%$9
+M*&D!#[$c.h_ejNa-.h*"3"P&6.1883"(n@)G=&?&:C@=($@P%$g"3)%$g*$!<g*=;6=$gH&:*36+P&6@=!`3)@=*M!<)&
+(;H!<$\=&,8c.13,_# Ô*M7+M|@P($g:3)_<a&).h$&F(8:!<;H!#&".1"!<($&k8c.13:"!#@%*_<!<i=3"P&>+a_.8c.13:"!#
(8^\%3.1:!<YjTm=82=$+.1$g_#=&6@%!<3)@%*!<"&};?(9+=3:$P&6%79!#[=$g+=&6:3.1!`)=;6=$g8_`*)
;6!7n"P&'8^%3";6=:.1$g'_.}@P(1;|0!<$.1!#&:($Z+-f*M$]8c.h3""!<O+]@=($g"3"_#O=,+=&,0_<(n@=&'3"\J.hq
_<!#&".1$g+=&@P.1_#@%*_#&.h3"!<:G;6\="!<*P&@=(;H8_# 7M=&Pjse_gP&D+M($@$\=@PP&:&).1!`3)+-/.1$c.1_`In&:=3_#.
8^(K&:&:!`0!<_`!<)\,+O@P(;a0!<$%3k_#=&k+=*M7b.1883"(n@)G=&,+^-/(3"+($$.1$@P%;?%$g>82(*3k8.13"Y=$!`3
46.&:&:*3"=3>+=&,&:(_<*:!#($&m8^(1*3k_#=&>@%!<3"@=*!`)&;6(n+%3"$=&Pj
x(*3m82(*Y(!<33"P+\%¢$!<3m@P%3".h!<$&83"!`$@=!`8^=&+M,_. &:Ig$g"Gi=&"w@=(;682(3:)=;6=$g).1_#
83)\=&"=$g"\P&@%!`qò+MP&"&D*&PLF!`_OP&DZ$\P@P=&"&".1!<3"S+-f\=:*+M!#%3Z+;?.1$!<i=3".1883"(yz($+M!<_#=&
3.1!<&"($&~83)\=@=!#&:P&k+,_e-f\P@)G=@F+P&k(1*"!`_#&+w&:Ig$g"Gi=&"O@=_#.&"&D!#*=&PjTm(;H;?>_e-*$F+M
@PP&p3.h!#&"(1$&pP&:p_#.k;?.1*Y1.1!<&"!`$9"\P[3).1"!<($O+_.k&DI9$g:GiP&:@P(;H82(3""=;6=$g.1_<.JYK=@_#.
&:Ig$g"Gi=&".h*$M!<YKP.1*"3).1$&:yz%3"O+|3"P[!<&::3)P&=L_e-/.1$c.1_`I9&"|@=($@P%3"$c.h$9O_<P&F$(*MYK=_`_#=&
@J.18c.1@=!<"\P&d+_#.S&:Ig$g"GiP&"_#([!#*=&:b\=[.1_#%;?%$g!<$+n!#&:82=$&).10_<j«TmP&b\%"*+=&
$(*&82=3:;?%")%$g+-f\=).10_<!`3*$}$(*YKP.1*}Ô*M7|+&DI9$g:GiP&:>@P.18c.10M_#m+^-/ 7n8M_#(!`)=3_#=&
(8"!`;6!<&).1:!#($&~+,Gc.1*k$!`YKP.1*b+F_.]&:Ig$g"Gi=&"].1*d$!<YJ.1*b:3.1$&Dyz=3:k+F3)=[!#&D"3"P&Pj
-.;: <
=>?'
1
#@ '($8
oP&k83:!<$@%!<8c.h_#P&m@P($g"3:!<0*M"!#(1$&k+O@P%")w:GiP&:]&:($g>_<P&'&:*M!<Y1.1$g)=&
A
{>$,\=:*+A+n*Ô*M76+,@P($@==8:!#($?[K\=$\=3.h_^+=&m(*M"!<_<&*"!`_<!#&:\P&82(*3_.O@P($nq
@P%8"!<($ +P&&DIn&D)i%;?=&@=(;68M_#%7n=&p.tYP@*$].@=@P=$gp8c.13:"!<@=*_`!#=32&:*M3_-f!`$&"%3":!#($
+P&(*M"!<_<&+k&DIg$9:GiP&:A@=(;682(3:)=;6=$g).1_#m.1*M7|ÔM*M7} 7n!<&:).1$g)&PjTm%""k\="*+
;?(1$9:3) *]_#.8_`*8c.13:>+P&,(*"!`_#&'+]&:Ig$g"Gi=&"|@=(;682(3:)=;6=$g).1_#O@P(1$$g*&
$ &"($g>8c.&'8c.13"Y=$g*&A46\=).10_`!<3*$ !`$9"=3:y.@P ,)H@J.1@P|.JYP@]_<=*3'%$gY9!`3)($nq
$=;6=$gPL@PZ*!A%$g"3.B#$b[K\%$\=3).1_#%;?%$96+=&6+\%y.1!<_`_.1$@PP&}%$À;?.1"!<i=3"Z+M
8^%3"yz(3:;.h$@P1j
A
{>$C\=:*+C.1883"(yz($+M!<b+C_-f!`$9"=3:83)\%.1:!#($+=&?+M!`YK%3)&"=&?&D"3"*@="*M3)P&?+M*
_.1$[.[K|+MH+MP&"@%3"!`8"!<($+};.1"\=3:!#=_ýwþ,NFo.1!`$&:!*}_#.+\=¢$M!<"!<($+-*$
&"(*&Dqò%$&"%;|0_<3)=_#.1"!`YK%;?%$9?\="=$+M*L,83:!<$@%!<8c.1_<=;6=$g6+P&D"!<$\4S_.S&DI9$nq
Å
A
op.R;6!<&"C=$ä(9=*Yg3)+^-f*$ä(1*"!`_,+M&:Ig$g"Gi=&"@P(;H82(3""=;6=$g.1_<C+M5$(*Mq
YK%_<_#b[K\%$\=3).1"!<($8^%3";6=:.1$gH+d83)(1¢)%36+MP&$(*Y=_<_<P&@J.h8c.@=!`)\=&6%6+M
_e-f\=Y(_<*:!#($b+MO_#.|&:Ig$g"Gi=&"}.h*Z$M!<YKP.1*Z"3.h$&:yz%3">+w3)=[!#&D"3)=&Pj
A
o-f!`$9"\P[3).1"!<($b+w$(:3)O(*:!<_+M &DIg$9:GiP&:a@=(;682(3:)=;6=$g).1_#w4|*$ZÔ*M7Z+M
@P($@P=8M"!#(1$&:I9&D)i=;6,;H!`79"'_<(K[!<@=!#%_DCh;?.1"\=3"!<=_9=_.w+\%¢$!`"!#(1$?+-*$6;?(K+Mi=_#
+-f=$g"3"\P \=)%$+M*C8^(*M3k_.|3)%83)\=&"=$g).1"!<($5+MP&'&:I9&:"i=;6P&>G!#\%3.13"@)G!#*=&Pj
-.FE GH(I ! 5 H(I JLKM8 5
oF3)=&:"]+O@= @)G.18!<:3)O+\=@=3"!`k_.|&D"3"*@="*M3) +w_.|"Gi=&"1j
ow@)Gc.18M!<"3"OÇa+($M$w*$FYg*w[_<(0c.1_<A&:*M3k_.a&DI9$g:GiP&:a@P(1;682(3""=;6=$g.h_#A%$
83)\=&"=$g).1$g_#=&8M3"!<$@=!<8.1*M7.1_<[K(3:!<"GM;?=&}=H_#P&}3"=83"\P&"%$g.1:!#($&H!<$g)%3";6\P+M!#.1!<3"P&
*"!`_<!#&:\P=&8c.13k_#=&'\=.h8^=&>+M &DIg$9:GiP&:j
o@)Gc.18!`"3)È>+M!#&:@=*"_<P&p3.1!<&"($&83"(0c.10M_#P&+_e-f\P@)G=@~+MP&(1*"!`_#&+~&:Ig$g"Gi=&"
@P(;H8^(13")%;?%$g.1_<6+M!`)& "3.1+M!<:!#($$=_#&=jCTm(;6;6H%7n=;H8_#1L+%*M7(1*"!`_#& +?@==""
@J.1"\P[K(3:!#1Llm=G.tYg!<(3.1_Tm(1;68!`_#%3=>EFBCsDTmEFoLc&"($g,.1$c.h_<I9&"\=&Pj
o@)Gc.18M!<"3" Õ .102(3)+_<ýwþ,NFoLP_#_.1$[K.[K++MP&"@%3"!`8"!<($O+;.h)\=3:!#%_1_<8_<*&
3)\=8.1$+M*82(*3>_.&:Ig$g"GiP&"}@=(;H8^(3:)%;?%$9).1_#1jop.6+M\=¢$!`"!<($5+n*&"(1*&Dqe=$&:=;|0_<
.@P@==8"\m8c.13_.>&:Ig$g"Gi=&"k@P(1;682(3""=;6=$g.h_#=_e-!<$g)%3"83"\=).1"!<($a+Mm+M!`YK=3"&"=&&::3"*@ q
"*3"P&'8^(*M3k_.a3)\P.1_<!<&).1:!#($+P&>@=!`3)@=*M!<)&k&:($g,.1*&"&D!p+\=).1!<_`_#\=&Pj
o}@)Gc.18M!<"3"HÛ?!<$g"3"(n+M*M!<A*M$|$(*Y=_`_#.188M3)(9@)G+|_.&DI9$g:GiP&:6@=(;682(3:)%q
;?%$9).1_#w*!p=&:>;6!<=*M7.+.h8)\=].h*M7dÔ*M7Z+M @=($@==8:!#($b;6(n+%3"$=&Pj
o@)Gc.h8!<:3)S83"\P&:=$g)_#=&?83:!<$@%!<8c.1*n7+(1;.1!`$P&6+-/.188_`!#@J.h"!#(1$À+$("3"
(*"!`_+w&DIg$9:GiP&:jmo-f,)H@P.@=!`)\O+F$(:3)O.18M83)(9@)GwP&D'83)(*MYK\Pw8c.h3k+=*n7Z.188_`!`q
@J.1:!#($&~@P(;H8_<%7nP&~=!`$+M*&D"3"!<=_`_#P&=jTm,@)Gc.18!`"3)>;?(1$9:3),\P[.1_<=;6=$gm_#.O$(*YK%_<_<
+M!<;6=$&D!#($Z+O_e-*:!<_<!<&).1:!#($?+P&')=@)G$!<g*P&A+M &DIg$9:GiP&:|@P(1;682(3""=;6=$g.h_#w+.1$&
_#w@J.1+M3)O+-*$(1*"!`_+O&:Ig$g"GiP&"]&:I9&:"i=;6j
om@)G.18!<:3)
Ö
.1$c.1_`In&:~_<P&3"\P&D*_<).1)&%;6($g"3"~_#=&82=3"&:82P@=:!<YP&=_#P&.1;6\=_<!<(1q
3.1:!#($&'4.18M8^(3:)%3A.h*M7:3.JY1.1*M7d;6=$\=&'+.1$&'_#F@P.+M3"]+O@==""w"Gi=&"j
O S±ô© P Q ¯ R §¤ ª@S
°«ª¨
QT ¬ ±R¨ ¬ ¨S¤Ú§¨
"!$#$%&'(
op.&:Ig$g"Gi=&"}@P(1;682(3""=;6=$g.h_#Lc.h*"3"=;6=$gA+n!<'_.&:Ig$g"Gi=&"|+M]Gc.1*M,$!`YKP.1*
@P(3:3)P&D8^(1$+ 4d*$%$&"%;|0_#6+FU@)G=&a+3.)H$=;6=$g)&](*+"3).1$&Dyz(3";?.1"!<($&
g*M!eLw4 8c.13:"!<3b+^-f*$R&D8^\=@=!<¢@J.1:!#($@P(;H82(3""=;6=$g.1_<L>[K\=$i=3)%$g5*$R.13"@)G!<"P@%q
"*3"@%!<0_<+\=@=3"!`)&"(1*YK%$9Z8c.13b+MP&Z+P&:@=3"!`8"!<($&b.1*ä$!`YKP.1*:3.1$&:yz=3:Z+3) q
[!#&D"3)=&Pjo=&\%.182P&+'&DI9$g:GiP&:L&:=_#(1$H_<=*3"&.1_#[(3"!`"G;6P&=L*"!`_<!<&"=$g+MP&;?(9+i%_#P&
+-.h3)@)G!`)P@%"*3"]%>+P&k3)%83)\=&"%$9).1"!<($&'!<$g)%3"$=&Pj
op.]¢[1*3) Çnj Å !<_`_<*&D"3">_<,Ô*M7[K\=$\=3.h_+-*$b(*:!<_2+w&:Ig$g"Gi=&" @P(;H82(3""=;6=$Mq
.1_<jop.+P&:@=3"!`8"!<($@P(;H8^(13")%;?%$g.1_<?8^%*H=:3)b[K\=$\=3)\=5.h*)(;?.1:!#*=;6=$g
8c.13A*M$(*:!<_p+]&:Ig$g"Gi=&"+]8M_<*&'Gc.1*,$!<YJ.1*(*+\=@=3:!<) 8c.13>_# @P($@P=8M)=*M3O4
8c.13":!<3 +-*$&D8^\=@=!`¢@J.1:!#($jd_<_#=&:|+^-.102(3"+S@P(1;68!`_#\=H%$*$H3)%83)\=&"=$g).1"!<($
!<$g)%3";6\P+M!#.1!<3"A*!+\=82=$+C+=&>.1_#[K(13"!<:G;6P&~*M"!<_`!#&:\P&+.h$&k_e-f(*"!`_ejop=&'\=.h8^=&>+M
&:Ig$g"Gi=&"Z&P-/.188_`!#*=$g%$&:*!`)b4@==""3)%83)\=&"=$g).1"!<($=458c.h3""!`3|+_#.*=_`_#
+-.h*"3">&D"3:*@=:*3)=&m+'+($M$\P=&~&:($g~[\=$\%3)\P=&A[3.18MGP&=Lg;?.@)G!`$P&+-f\=).1)&¢$M!#&PL
.13)@)G!`)=@="*M3)P&=L="@j$ [K\%$\=3).1_eL@P=&}\=.h8^=&a&"(1$9a8!<_<()\=P&O8c.13|+MP&|@=($g"3.h!<$g)=&
+-f*M"!<_`!#&".1"!<($*!~!`$Ô*%$@P%$g|@P%3").1!<$=&a@P.13.@%)\%3"!#&D"!<g*P& +P&a.1_#[K(13"!<:G;6P&O.1!`$&:!
g* _-.13"@)G!<"P@%"*3"F3)\P&D*_<).1$g)1j
o0*+'@=>@)G.18!<:3)k=&:_.F+\%¢$!<:!#($+MP&83"!`$@=!`8^=&+k0c.&:>+M'_#.w&:Ig$g"Gi=&"
@P(;H8^(13")%;?%$g.1_<,_<P&Fyz(3:;.1"&,!`$9"=3:;?\=+M!.1!`3)=&F.1!`$&:!*|_<P&O.1_<[K(3:!<"GM;?=&Pj op.
83"!`$@=!`8c.1_#,@P($g:3"!<0M*"!<($d+=&':3.JY1.1*M76;?%$\P&k+.1$&_#A@J.+M3"w+w@P%""F"Gi=&"O\=).1$g
_e-f\=.h0_<!<&"&"%;?%$g'+-f*M$Z$(*YKP.1*5ÔM*M7b+O@P(1$@P%8"!<($b0c.&"\O&D*3'_e-f(3)+(1$$c.1$@==;6=$gJL
_e-/.@P@==$g>P&:>;H!#&&D*3>@P=:)O\=).182 +M &DIg$9:GiP&:j
Tm(;H;6A*$w+=&k3.1!<&"($&m+F_e-f\P@)G=@O+w_.a&DI9$g:GiP&:a@P(1;682(3""=;6=$g.h_#A=&:k_#.
;.1*MY.h!#&"!`$g)\P[13.1:!#($.h*M7}Ô*M7}+'@P($@==8:!#($H 7n!<&:).1$g)&PLg$(*&;6=:)($&=$H3)=_`!#%y
Ù
ÅÅ
r b
r2 r1
c d a
Process
end a : end if loop
variabl variabl
comportementale
wait un begin subtyp
w
RTL Compilation
=
OP[5-6]
w
comportementale
S15
Description
S16
Description
Outil de
subtyp
S17 begin
S16 Process
S15 1
2
=
R1 3 4 5
6 7
8 end
a : end if loop wait un
Représentations internes
...
Contro-leurReseau de communication FUnFU1...
synthèse
Coprocesseur
Contraintes
!#[1*3) ÇnjÅ _`*M7d+M &DIg$9:GiP&:a@=(;682(3:)=;6=$g).1_#F[\=$\%3.1_
&"($C_<!#%$.JYP@a+^-.1*M"3)=&,(1*"!`_#&k+ @P($@P=8M"!#(1$jkop.H&:P@%"!#(1$ÇnjÇ}8M3)\P&:=$g)]_#P&k83:!<$Mq
@=!<8.1*M7+(1;.1!`$P&w+^-.18M8_<!<@J.1:!#($82(*3O_#.&:Ig$g"Gi=&"@=(;682(3:)=;6=$g).1_#}.h!<$&D!*
_#=*M3)&3)%83)\=&"%$9).1"!<($&b!<$g)%3"$=&_#=&8_<*&b.h883)(183"!<\PP&=jüoP&d+M!V^\%3)=$g"P&b\=).18^=&
+ &:Ig$g"Gi=&"&"($g=$&:*!`) +M!<&"@=*M)\P=&6_e-/.@=@P=$g=&:;6!<&5&D*3_#=&.1_#[K(13"!<:G;6P&
+-/(13)+($M$c.1$@==;6=$g+(1$9_<P&H@J.13).@="\=3"!<&::!#*P&&:($g683"\P&:=$g)\=P&%$Àyz($@%"!<($À+M
+(;?.1!<$=&k+-/.188_`!#@J.h"!#(1$Yg!#&"\1j
:"./- WX1 8
I
%6 ',=
I # $',Y
5ZI
# %&[ \]=
5 [ 5
^
I_H
Na-/.183"iP&wð/KNFOQ>É Ö ñ Ln*$b@%!<3)@%*!<~+\=@=3"!`k.1*?$!<YJ.1*b@=(;682(3:)=;6=$g).1_XP&:+\=¢$M!
=$5"=3:;?=&k+-/\%.182P&>+O@J.h_#@=*M_ejop.}&:82\P@=!`¢@J.h"!#(1$C=&:'8!`_#("\PF8c.13k_<P&'\=Y\=$%;?%$g)&
%79)\%3"!#%*3)&?=@=(;H8^(K&:\PZòI98M!#*=;6=$gd+^-f*$=$&:=;|0_<5+Z83)(1)(9@P(_<P&H+5@=(;Hq
;|*$!<@J.1:!#($82(*3d_-/\=@)Gc.1$[++($$\=P&Z.JYK=@_-/%$gY9!`3)($M$=;6=$gb=Z+@P.1_#@%*_#&
!<$g)%3"$=&PjoP&]\=).18^=&|+@P.1_#@%*_&"($g}@=($&D"!<:*\P=&|+-*$ %$&"%;|0_#?+-/(18^\%3.1:!#($&
%7n\P@%*)\=P&'=$g"3"w+=*n7?82(!<$g"&m+F&DIg$@)G3)(1$!#&".1"!<($b&:*@=@P=&"&:!`yz&Pjo-/ 7n\P@=*M"!#(1$b+-f*M$
\=.h8^,+A@P.1_#@%*_282=*Mm+M*M3)=3~8_<*&:!#%*3)&~@=I9@=_<P&+^-fG(13"_#([Kjo. &:Ig$g"Gi=&"w@=(;682(3:)%q
;?%$9).1_#w+M\P@P(1;682(K&" @P=&,\%.182P&'+ @J.h_#@=*M_=>[K\%$i=3" *$]+=&"@%3"!<8M"!#(1$5.h*C$!`YKP.1*
"3.h$&:yz%3"6+Z3"P[!<&::3)P&=j$[\=$\%3.1_L~_#=&+P&:@=3"!`8"!<($&@P(1;682(3""=;6=$g.h_#P&&:($g
+M!<3"P@="=;6=$g}@=(;682(K&:\PP&|8.13a_<@P($@P=8M)=*M3H45_e-/.1!#+H+-*$ _.h$[.[K6++=&"@%3"!<8nq
Å
8_<*&~Gc.1*~$!<YJ.1*jE>!<$&D!eLg8^(1*3m*$A;?%!<_`_#=*M3)k!<$g)\=[3.h"!#(1$d.JYK=@w@PP&m(*"!`_#&=Ln=&::q!<_
$\P@=P&"&".1!<3"]+^-/\%"*+M!<=3k_<P&k@J.h3.@%)\=3:!#&D"!#*=&83"!`$@=!`8c.1_<P&+=&'(*"!`_#&~+O&:Ig$g"Gi=&"].1*
$!<YJ.1*C"3.h$&:yz%3",+w3)P[1!#&::3)=&PjNA.1$&,_<w@)Gc.18!`"3"aML_-f!`$g)\P[13.1:!#($b+O$(:3)O(*:!<_
+&:Ig$g"GiP&"b@=(;682(3:)=;6=$g).1_#64C*$ Ô*n7+?&:Ig$g"Gi=&"Z.1*$!`YKP.1*&:I9&:"i=;6P&D
83)\=&"=$g"\Pj
`6acbdacb efcgihkjlmgnpoqjsrutvhxwzyZ{r|gpj~}khMfldgj~}wzzj~hZr|;giw Mgpzg
fcruwzzgir
E,@="*=_<_<=;6=$gJLp_.d;6\="G(n+(1_#(K[!<|_.d8_<*& 3"\=8c.1$+M*682(*3 _.b@P(1$@P%8"!<($+=&
@=!<3"@=*!`)&!<$g"\P[3"\P&pP&D_#.'&DIg$9:GiP&:.1* $!`YKJ.h*a"3).1$&Dyz=3"+3"P[!<&:"3"P&=p_e-f(8:!<;H!#&".1"!q
($C_<(K[!<g*jTmOòI982 +O&:Ig$g"Gi=&"a82=3:;?%k_.}@P(;H8!`_.1:!#($?+-f*M$]+MP&"@%3"!`8"!<($C.1*
$!<YJ.1*d:3.1$&Dyz=3:k+F3)=[!#&D"3"P&%$d*$A3"\J.1_`!#&).h"!#(1$d.1*$M!<YKP.1*b+=&8^(3:)=&m_#(K[1!#*P&
+\=¢$M!#P&p8c.13p_#.k"P@)G$(_#(K[1!#joyz(3";?.1!`$9"=3:;?\=+M!.1!`3)*M"!<_`!#&:\8c.13@PòIg8^+-f(*:!<_#&
P&:F[K\=$\%3.1_<=;6=$gF@=(;H8^(K&:\]+^-f*$3"\P&:J.1*@=(;|0!`$c.1)(1!<3)w3"\J.1_`!#&).h$9'_<P&A(18^\%3.1:!#($&
g*M!m+(1!<YK%$ga%"3)6%7n\P@%*)\=P&a82=$+.1$ga*$S@=I9@=_<?+-G(3:_#(K[H%a+^-f*$S=$&:=;|0M_#?+M
3)P[1!#&::3)=&H82=3:;?%".h$9_#.;6\=;6(3"!<&).1:!#($+P&6+($$\=P&!<$g)%3";6\P+M!#.1!<3"P&=jÀop.83) q
;6!<i=3)8.13":!#+k_#.F&:Ig$g"Gi=&"A@=($&D!#&:">4O 79"3.h!<3)k@=P&&::3"*@%"*3"P&+k_.F+=&"@%3"!<8M"!#(1$
!<$!`"!.h_#j]Tm%")6.13"@)G!<"P@=:*3)|!`$g)=3:;?\=+M!.h!<3)]P&D !`_<_`*&::3)\P]8c.13w_.?¢[*3)HÇ9jÓÇnj|op=&
3)\P&:J.1*n7@P(;a0!<$c.h)(!`3)P& &"d&D!<:*=$g}%$9:3)_<P&a0_<(n@=&a+3"P[!<&::3)P&=jop.+=*M79!<i=;6
8Gc.&:R+_#.&DIg$9:GiP&:S(8M"!<;H!#&:@P=&Z8.13":!#P&d@=(;|0!`$c.1"(!<3"P&b4_e-/.1!#+M+)P@)Gnq
$!#*=&a+-f(8:!<;H!#&).h"!#(1$02(9(_#\==$$H*!~&"($g|[1*!#+\=P&O8c.13a+P&]@P($g"3).1!<$g"P&]"=_`_#P&
g*_.'&:*3:y.@P1LK_#m+M\=_.h!n+n*@)G=;H!<$}@%3"!`"!#*1L1_#.>)=&:).10!<_`!<"\Lt_.'3)(*).10!`_<!<"\Lt_.>@P($nq
&"(;H;.h"!#(1$Lg=)@1jop=&k@=3:!<)i%3)=&+-f(8"!`;6!<&).1:!#($6\=).1$g'&"(*MYK=$g>@P(1$9:3.+n!#@="(!<3"P&=Ln_#
0*,P&:>+O"3"(*Y=3'*$O3)\P.1_<!<&).1:!#($d+.1$&'_e-fP&:8.@PO+O&"(1_<*:!#($&k*!p3"P&:82P@%)O_#=&
@P($g"3).1!<$g"P&!<;H82(K&"\=P&~8.13_#A@P($@==8"=*3Pj~Tm(;6;6A@=P&k(8M"!<;H!#&".1"!<($&$-!<$&:i=3"=$g
8c.&+'@=I9@%_#P&+-G(3:_#(K[m&:*M88_#\%;?%$g.1!`3)P&=LK_e-f%7n\P@%*"!<($H+_.F+MP&"@%3"!`8"!<($[K\=$\=3)\=
+=;?.1$+w_<F;?%;?F$(1;|03)w+M @%I9@=_#=&,+^-fG(13"_#([Kw*w_.|+=&"@=3:!<8:!#($b!`$!<:!.1_<j
oO;?(9+i=_<O+-/%$g"3)\=}.1*$M!<YKP.1*5:3.1$&:yz=3:F+ 3)=[!#&D"3)=&,=&:F:3)i=&,3)=&::3)=!`$g,8c.h3
3.1882(3:?.h*$!`YKP.1*@=(;682(3:)=;6=$g).1_ejx(1*3H@)Gc.*CòIg82C+^-.13"@)G!<"P@%"*3"Lm8c.h3
%7n=;H8_#H_#=&];?.@)G!<$P&a+^-/\%.1"&]¢$!<&PL_<6&DòIg_#?+^-/\=@=3"!`"*3"P&Da¢M7n\?8.13a_-/(*M"!<_+M
&:Ig$g"Gi=&"jTm&DòI9_<+-/\=@=3:!<"*M3)&::3"!#@%.&"&D*3)_-/+)6@P.@=!`)\+_-/(8M"!<;H!#&".1"!<($>_#(K[!<*j
o-f\=_<(!#[1$=;6=$g+M*d&DòI9_<A+-f\P@%3"!`"*3",83"(·Y(n*A[K\=$\%3.1_<=;6=$g~+P&3)\P&D*_<).1)&;6(!<$&
&).1:!#&:y.h!#&).h$9"&Pj
oP&(*M"!<_<&+'&DI9$g:GiP&:A@P(1;682(3""=;6=$g.h_#m$-/.JI.1$g8c.&%$@P(3"'(0)%$g*6_<k&:*@ q
@PiP&w=&"@=(;68M)\L2_#P&A(*"!`_#&>+|&DI9$g:GiP&:H_<(K[!#* ($gw\%)\|+]8_<*&A=$8_`*&F\="=$+n*&
8c.13d+=&d)P@)GM$!#*=&Z+^-/(8M"!<;H!#&".1"!<($+Gc.1*?$!<YJ.1*j«op.S83)(tY=$c.1$@P+@P=&
)P@)GM$!#*=&}P&:|P&"&:=$g"!<=_`_#=;6=$g]_#H+(;?.1!<$H+H_.C&DIg$9:GiP&:b@P(;H8^(13")%;?%$g.1_<j
x.13m%7n=;H8_#1LM%$ Å ÉKÉKÉnLMWgI9$(8&:I9&'. +\=Y=_#(188^\FNAP&D!#[$ZTm(1;68!`_#%3{>_<:3.6ðW9Ig$cÉÉ1ñL
Å
Portes logiques Portes logiques
!<[*3"'ÇnjÇnE>3)@)G!`)P@%"*3">!`$g)=3:;?\=+M!.h!<3)8^(1*3_.F&:Ig$g"GiP&"F.1*6$M!<YKP.1*
"3).1$&Dyz=3">+w3"P[!<&:"3"P&
$(*Y=_<_<P&>(8:!<;H!#&).h"!#(1$&m+OGc.1*M>$M!<YKP.1*jTmP&A(18"!`;6!<&).1:!#($&~@P(;H83"=$$%$gA+=&
.1_#[K(13"!<:G;6P&a*!kyz(1$9|[K\=$\%3.1_<=;6=$g}8c.13:"!<+P&(*M"!<_<&a+b&DI9$g:GiP&:C@=(;682(3:)%q
;?%$9).1_#?A8c.13:.[Ka+P&w3)=&"&:(*3)@=P&O8^(1*3F_#=&w(82\=3.h"!#(1$&PLX"3.h$&:yz(3:;.h"!#(1$&A@=(;Hq
8_# 7M=&~+MP&%7983"P&"&D!#($&.13:!<"GM;?\%"!#*=&.JYK=@A.1_`_#(9@J.1:!#($a+P&*$!`)\=&yz(1$@=:!#($$=_<_<P&
lk'E%L13)P(13)+($M$c.1$@==;6=$g+P&(82\=3).1"!<($&
lQr6;82(*3;H!<$M!<;H!#&"%3p_#k@)G%;6!`$
@=3"!`"!<g*L9=)@1jo-f!`$9"\P[3).1"!<($6+A@=P&m 79)=$&:!#(1$&k.JYK=@A_.O&:Ig$g"Gi=&"F_<(K[!#*'82=3";6=
+P&(8:!<;H!#&).h"!#(1$&02J.h*@P(*M868_`*&8*!<&"&".1$g)P&*'@P'*k_e-f($H(0:!#=$g.1*$!`YKP.1*
@P(;H8^(13")%;?%$g.1_jATm(1;6;6w83)\=&"=$g"\}+.1$&>_#a@)G.18!<:3)]ÈMLc_#P&,(*:!<_#&'+a&:Ig$g"Gi=&"
@P(;H8^(13")%;?%$g.1_<L^[\=$\%3.1$gw+=&w+P&:@=3:!<8:!#($.h*$!<YJ.1*:3.1$&Dyz=3:w+|3)=[!#&D"3"P&PL
+=Yg3.h!#=$g')%$!<3'@=(;H8)O+O@P=&'\=YK(1_<*:!#($&=j
:".;: [
I
'
5
8!
I
\$\
H
'%
I
'( !
5pH(I
84>JLKM8
5
%[
\
5 [ 5
>
I_H(5
op.À3)=&::3"!#@%"!<($U+-*$²(*:!<_]+ &:Ig$g"Gi=&"@P(1;682(3""=;6=$g.h_#4À*M$«+M(;.h!<$
+-.h88_<!<@J.1:!#($58^%3";6=w+-/.1:)=!`$+M3"|+P&w3"\P&:*M_<.h)&F+)6@P.@P=&][13FU@=4?_.63"\P+M*@%"!<($
+_.S@=(;H8_# 7n!`)\C+M*ä83)(9@P=&"&:*&Z+M&:Ig$g"Gi=&"j®F$ä+n!#&::!<$[1*+%*M7v+(1;.1!`$P&
+-.h88_<!<@J.1:!#($b+.1$&k_.a_`!<""\=3).1"*3"|
ÑÑÁ½ÍK¼M»·½z¾Xº¸}¿p¾Xн ºp¶g¹n¸ ѼMµdÁ¹4ÌÀ¿¹¿p¾Xººp¶g¹9¸
TmP&.18M8_<!<@J.1:!#($&b&:($g
@J.13).@="\=3:!#&"\=P&d8c.13b+MP&Ô*M73)\P[1*_<!<=3)&=j $ú+-/.1*:3)P&d"=3";6P&=L,_<P&%$9:3)\=P&
=k_<P&k&"(13""!<P&+MF_e-/.188_`!#@J.h"!#(1$6yz(3:;?%$g'+P&Ô*n7d3)\=[*_<!<=3"&m+w+(1$$\P=&Pj~o
@P(;H82(3""=;6=$g+-*$,)=_`_#A.188_`!#@J.h"!#(1$?=&:k[K\%$\=3).1_#%;?%$g&:82\P@%!<¢\A@P(;H;?
¢¡,/£+¤¥¡;¦¥§©¨«ªi¬¨Bª¯®±°¡³²(¦µ´,¶·¡;¤¸¬©¹/º»¦µ¼d¦¥§»¡+º½¦µ´,v´;¾«i¶»¦¿º·°B¼d®qº½¦¥À