From multi-clock constraints to multi-rate GALS executives
29
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. From multi-clock constraints to multi-rate GALS executives Dumitru Potop-Butucaru — Robert de Simone — Yves Sorel. N° 6021 Novembre 2006. ISSN 0249-6399. apport de recherche. ISRN INRIA/RR--6021--FR+ENG. Thème COM.
(3)
(4) .
(5) !
(6)
(7) " # $&%('*),+ $-$./ 10$. . 2 34,57698:3<;>=?6@=BACDE3693FHG?8@3JILK=BMONH8:6PNRQS5T4,=BUNVIWX?NHY Q=B8@N[Z \^]`_:acbEd.egfihkjml"npoq_:acb@n.rs[acaEt`u`vwr xyu[o
(8) n zL{qsy|}bo~e#j"\^ x s[{po"b#{b:r
(9) ]`b:{r
(10) ]`bu?yH" hs[b aE`{qb[yhyx[b:n. /: `yy b"b u`bx¡a¢bo]`s",£¤s[{nplmuHoq]b:nqv¦¥:v¦u`Ro]`b§xynqlmur
(11) ]`{syu`s[tnEb¨"b:r t"oqv©yb@ncoq]xo/x{b `{qv©mv¦u`ªoq]bnplmur
(12) ]`{syusytn>a¢sm`t`«¦b@n#s£.x/[«¦s[x«©«©lxynqlHu r
(13) ]`{qs[u`syt n ¬B«©smr:x«©«¦lnplmur
(14) ]`{syusytnc®7¯#~>°j`± nql"n}ob a³²\^]`b^oqb@r
(15) ]`u`vw´[tb.oxyµyb:n¶x[n¶v©u``t"oO]v¦[]"·T«©b [b «`nqlmur
(16) ]`{syu`v©¥:xoqv©syu¢rsyu n}o{xyv¦uHon:¬t`u`b {Lo]`b^£¤sy{a sy£gaEt`«¦oqv¦·¸r «¦s"r
(17) µ¹a¢s""t`«wx{nqlmur
(18) ]`{syu`s[tnc{qb@xyr1ov¦[bV®7jº±¢np?b:r v» ?r xov¦s[un:²<¼`s[{b:xyr
(19) ]½nqlHu r
(20) ]`{qs[u`syt n a¢s""t`«©by¬?syt{oqb@r
(21) ]`u`vw´Ht`b`{s""tr b:nxat`«¦oqv¦·T{
(22) xobb¨"b@rt"ov¦[boq] xog`{qv©yb@n^oq]`bcrs[acaEt`u`vwr xoqv©syuxu r «¦s"r
(23) µgs£"o]`br sya¢?syu`b:u[otnqv¦u`gx.a¢v»¨"b@npoxov©r9º"lmuxya¢v©rLnr
(24) ]`b@"t`«©v¦u` s[«¦vwrl[²\^]`b{qb@npt«»ov¦u`g¯#~°j nql"n}ob a vwn^`{b:"vwr1o
(25) x`«©bgxyu/£¤t`ur1ov¦s[ux«©«©lrsy{{b:r1o¾.v»o]³{qb@np?b:roosEo]`b#v¦uv»ov©xy«¿nplmur
(26) ]`{syusytnnp?b:r v»· ?r xov¦s[u¿²\^]`bxy``{s[x[r
(27) ] vwn xynqb:³syu³o]`bo]`b s[{ql s£¶¾b:xyµH«©l/b:u"s"r
(28) ]`{syu`s[tn® ±nql"n}ob an:¬ xu s[uxu`syoqv©syusy£ xoqs[acvwr.{b:x[r1oqv©syu¾.]v©r
(29) ]xy«¦«©s¾½tn¶osb¨"`«©syv¦oLo]`b>r syur t`{q{b u rlsy£Boq]`bgnp?b:r v» r:xov¦s[u os¢v¦a¢`{syb>oq]`br sya¢atu`v©r:xov¦s[uªb Àr v¦b:url/s£oq]`bb ¨mb@rt"ov¦[b:n:² ÁÃÂHÄBÅÆÇ Èy jmlmur
(30) ]{qs[u`sytn:¬~nqlmur
(31) ]`{syu`s[tn:¬E¯#~°jB¬gft`«»ov»·Ér«©s"r
(32) µB¬fÃt`«¦oqv¦·T{
(33) xoby¬ b@xµÊb u"· `smr
(34) ]{qs[uHl[¬"~t"osyaxov©r"vwnpoq{v¦`t`oqv©syu. Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France) Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30.
(35) + . $ }$- .
(36) (%('*),+ S $E S E $.
(37)
(38) $. sytn uv©nnps[un#t`u`b/a oq]`s""b/ s[t`{«wxÃnplmuHoq]`_@npb"b@nb¨ @rt"ov»£ nExynqlHu r
(39) ]`{qs[u`b:n#´Ht`v r syuHoq{ y«©b uHo«! b ¨"@rt"ov¦s[u "b:na¢s""t`«©b:n/nplmur
(40) ]`{syub:n¢# t`u npl"npoq_:acbÃ[«¦s[x«©b a¢b:u[ox[nplmur
(41) ]`{syuby¬O«©s· r:x«©b a¢b uHonplmur
(42) ]{qs[u`bª®T¯#~°j±1²Ssoq{bcoqb@r
(43) ]`u`vw´[tbE`{b u §b:ub:u[o{$:bc`b:nrs[uHoq{
(44) xv©u[ob:ng"bnplmur
(45) ]{qsy· uv©nxov¦s[u½`bÃ]xt"oªu`v¦[b:xyt¿¬nqsyt n«©xR£¤s[{qa¢b"bnp%:r v» r:xov¦s[unnplmur
(46) ]{qs[u`b:n¢{ :x[r1oqv©yb@n¢a¢sm`t`«©xyv¦{b:n aEt`«¦oqv¦·T]`s[{q«©sy[b:n:²Lzsyt`{>r
(47) ]xy´Ht`ba¢s""t`«©bnqlHu r
(48) ]`{qs[u`by¬"usoq{b#oqb@r
(49) ]`u`vw´Ht`b`{s""t`v¦ot`uÃb¨ @rt"ov»£¶at«»ov»· {lHoq]`a¢b@nL´Ht`v r syuHoq{ y«©b^«¦b@n¶b uHoq{ b@n ¬[«¦b@nLnqsy{qoqv©b:n:¬boO«! ]`sy{«¦s[yb."ta¢s""t`«©bb u¢t"ov¦«©vwnqxyu[ot`u`b?sy«©v»ov©´Ht`b & s[{"s[u`uxyurb:acb:uHoa¢v»¨moqbcn}o
(50) xov©´Ht`bº"lmuxyacvw´Ht`by²g°¿bcnpl"npoq_ a¢b¢¯#~°j{$@npt«»o
(51) xuHo>b@n}og`{$@"vwr1oqv©`«©by¬ r sy{{qb@r1o^bo>r sya¢`«©boxy{.{xy`?sy{qo('c«wxnp%:r v» ?r xov¦s[u nqlmur
(52) ]`{syu`b# b uHo{$:by²L°) x`{qs"r
(53) ]`b#b@n}o.£¤s[u b nqt`{«wxo] s[{qv©b`b:nnpl"npoq_:acb@n£ xv©`«¦b:a¢b uHo¶b u"s"r
(54) ]`{syub:n®¤¾b:xµm«©lb u`smr
(55) ]{qs[u`sytnnpl"npoqb:a¢n
(56) ±1¬[´[tvHusytn ?b {a¢bo& b ¨m«¦s[v»ob {L«wxrs[urt`{{b ur b^`b«©xnq%:rv¦ r:xoqv©syu¢?syt`{xa «©v¦s[{qb:{¶«* bÀr:xyrv¦o$`b:nLb ¨ :rt`oqv¦£ n ² +Ç @ Å -, à jmlmur
(57) ]`{syuby¬B~nqlHu r
(58) ]`{qs[u`by¬ ¯#~°jB¬ fÃt`«¦oqv¦·T]sy{«¦s[yb:n:¬ ft`«»ov»·¸{l[o]`a¢by¬ Lu "s"r
(59) ]`{qs[u`v©b £ xyv¦«¦b[¬`( xy{pov»ov¦s[uÃxt"osyaxov©´Ht`b.
(60)
(61) !#" %. $. & E S ªO . '>b [b «©sy`a¢b:u[oob:r
(62) ]`uv©´Ht`b@nxynqb: s[u½nqlmur
(63) ]`{syu`s[tnE£¤sy{ax«©v©nqanx{b oqs"`x9l r sya¢a¢syu½v©u xy{qv©sytn b «w`n ¬Bnqtr
(64) ]xyn`v¦[v»o
(65) x«r v¦{
(66) rtv»o#"b:nqv¦[uÃsy{®7nqx£¤bo}lH·Ér{v»ov©r:x« ±b a?b:"b:nqs£ o}¾^x{b"b:yb «©syacb:uHo)( $*T² j"lHu r
(67) ]`{qs[u`syt n¿np?b:r v» ?r xov¦s[unSxy{qbOtnpb@v©uoq]`b@npbO b «w`nSoqsa¢s""b:«Hr syur t`{q{b uHoS{b:x[r1ov¦[bLnpl"npoqb an:²\^]`b nqlmur
(68) ]`{syu`s[tna¢sm`b «Sxy«¦«©s¾noq]`bb¨"`«©v©r v»o{b `{b:nqb uHo
(69) xoqv©syu s£oq]b{qb@xyroqv©syuªoqsnqv¦[ux«¿xynpb:urb[¬xu o]mtnnpt` s[{po
(70) n#x/u`syoqv©syuRs,£ +-.. #/0 123"#45 6 8719 . # .19 .:¾.]`vwr
(71) ]§£ x[rv©«¦v¦oxoqb@n£¤tur1ov¦s[ux«¶a¢s""b «©«©v¦u` xyu xuxy«¦l"nqv©n:<² ;Éac«¦b:acb:uHoqv©u`nplmur
(72) ]{qs[u`sytnnq b@rv¦ r xoqv©syun^vwn.s£ ob u ]x{
(73) ²L\^]`vwn^vwn.axv©u`«¦lª"t`b#oqs o]`bcy«©syxy«nqlmur
(74) ]`{syu`v©¥:xoqv©syuÃa¢b:r
(75) ] xu`vwnpan>s£oq]`bca¢sm`b «T¬¿¾.]`vwr
(76) ]§u`b:b:§oqs b¢`{b:nqb {yb@ ¬?xog«©b:x[n}o v©u/ x{qo:¬Hoqscb unqt`{bo]xo.x npb:urb>v¦u"£¤s[{qaxoqv©syu/vwnu`so^«©s[npo¾.]`b:u/v¦or xu/v¦u = t`b ur bgoq]`bg b:]x9mv¦s[{sy£ o]`bnqlmnpoqb:a³² ;ÉuÃo]`vwnxy b:{:¬?¾bxy``{qb@nqnoq]`bcnplmuHoq]`b@npvwnsy£oq]`bcxynqlHu r
(77) ]`{qs[u`syt n^b¨"b:r t"oqv©yb@n.oq] xogxy{qbE"{qv©mv¦u o]`bnqlHu r
(78) ]`{qs[u`syt na¢s""t`«©b:ns£¶x¯#~°jªnql"n}ob a³²\^]b#oqsyv©r"{
(79) x9¾n^at r
(80) ]³xopob uHoqv©syu oqs"`x9l[¬`¾.]`b:u `v©npoq{v¦t"oqb@b aE b@`"b@ªnql"n}ob an^xuªrsya¢`«©b¨/nql"n}ob anp·Ts[u"·¸r
(81) ]v¦§®Tjmsmd^±x{b#rsya¢a¢syu`«©x[rb>v¦uªoq]`b v©u"t n}o{ql[²³e>t`{nqlmu[o]`b:nqvwn#oqb@r
(82) ]`u`vw´[tbv©naxoq]`b:a¢xoqvwr xy«¦«©lã¤sytu"b:¡s[uRoq]`bo]`b s[{ql§s?£ >@8 BA!C:D 12 +E7F G 87!197 "0"#:H"#
(83) /0"1¬S"t`bcoqs zsosy¿¬dxyv¦«©«©xyt ¬SxyuJ Ib:uH[b u`vwnpoqK b (¦@H *T² b@xµÃb:u"s"r
(84) ]`{syuml³yv©yb:n r {qv¦oqb:{qvwxb@n}o
(85) x`«©vwnp]`v©u`§oq]xo¢xRnplmur
(86) ]{qs[u`sytn`{b:nqb uHoxoqv©syu¹]`vw"b@ncx§ b:]x9mv¦s[{E¾.]b {boq]b³xynqb ur b v©u"£¤s[{qaxov¦s[uvwnOu`b:yb:{u`b:b:"b@ ¬"npsoq]xoOo]`bgnqlmur
(87) ]`{syu`s[tnOnq?b:rv¦ r:xoqv©syuªr xuªnqx£¤b «©lc?bgb¨"b:r t"oqb@v©u xyuªx[nplmur
(88) ]`{syusytnOb ummv¦{syu`a¢b:u[o@¬[¾.v¦oq] `{b:"vwr1ov¦«¦bg{qb@npt«»o
(89) n ² b:xµb:u"s"r
(90) ]`{syuml¢b¨moqb:u`noqsxcnplmu"· r
(91) ]{qs[u`sytn¶£¤{xyacb:¾s[{qµEoq]bgfxy¥ t`{µmv¦b:¾.v©r ¥.oq{
(92) xyr b:Ln (¦9B *T²L\^]mtn:¬[oq]`b#rt`{{b uHoxy b:{{qvw"yb@nL?bo}¾b b:u o]`b# b:«©`n^sy£nqlmur
(93) ]`{syu`s[tn«©xyu`ytxyyb#rs[acv¦«wxov¦s[u xyuªr «©x[nqnqvwr x«¿r syur t`{{qb:urlcoq]b sy{ly² \^]`bgv©ac«¦b:acb:uHoxov¦s[uoqb@r
(94) ]`u`vw´Ht`bvwn^"b ub:/x[nOxyD u H" "#3"# +M"#:!1NOGP "#3"
(95) 8G1N5Q.NLo]xooxyµyb:nxyn v©u``t`o>]`v©y]"·¸«©b yb:«nqlmur
(96) ]`{syu`v©¥:xoqv©syuÃrs[un}o{xyv¦uHo
(97) nn}o{qt r1oqt{qb@³v¦u§x/at`«¦oqv¦·Ér«©smr
(98) µ³nqlHu r
(99) ]`{qs[u`syt n.np?b:r v»· ?r xov¦s[u¿²\^]`b¢oq{
(100) xu n}£¤s[{qaxov¦s[uvwn b:{p£¤s[{qa¢b@§v©uRo}¾s³n}ob n:²\^]`bc {
(101) n}os[u`br
(102) ]`b:r
(103) µ"ng¾.]`b oq]`b:{oq]`b nq?b:rv¦ r:xoqv©syu nsy£Loq]`b¢nqlHu r
(104) ]`{qs[u`syt na¢s""t`«©b:n#x{b¾b:xyµH«©l³b u`smr
(105) ]{qs[u`sytn:R² ;¸£Loq]`b:lx{bu`syo:¬ v©uHoqt"· v¦oqv©ybg"vwxyus[npoqvwr nLxy«¦«©s¾ oq]`b>tnpb:{Losv©ur{b a¢b uHo
(106) x«©«¦lcv¦a¢`{syboq]`bgnpv©yuxy«¦«©v©u``{sosmr sy«wn ² ]`b u/oq]`b nq?b:rv¦ r:xoqv©syu vwn.¾b@xµm«©lb u`smr
(107) ]{qs[u`sytn:¬Hoq]`bnqb:r syuªo{xyunp«wxov¦s[uªnpoqb:³xyt"oqs[axoqvwr xy«¦«©l/nqlmu[o]`b:nqv©¥ b:n o]`b¯#~°jªb¨"b:r t"oqv©yb@n ² S S 5, T5U 9 V\^]`b#xy b:{.v©n^s[{qHxu`v©¥ b@/x[nO£¤s[«¦«©s¾Fn W¶j"b:r1ov¦s[u³Ev©uHoqt`v¦oqv©yb:«¦l{qb@npb:u[o
(108) nsyt`{^`{sy`«©b a³¬ {qb:Hv©syt n¾sy{µ?¬?xuÃoq]`b¢"b:nqv©{qb@nps[«¦t`oqv©syu¿²#jmb:roqv©syJ u $ª"b ub:noq]`bE£¤sy{ax«©v©nqa o]xo#¾.v©«¦«npt` s[{po s[t`{`{qb@npb:uHoxov¦s[u¿²jmb@r1ov¦s[Yu Xvwnsyu¾b:xyµ#b u"s"r
(109) ]`{syumZl WBoq]bs[{qv©yv©ux«yoq]`b:sy{l#s[£ (©:H *`xyux«©ys[{qv¦oq]a¢n os `boqb:{qa¢v©u`bcv»£^xªnq b@rv¦ r xoqv©syuvwn ²jmb@r1ov¦s[uRb ¨"`«©xyv¦u n>]s¾ oq]`b¢xynqlmur
(110) ]`{syu`s[tnb ¨"b:rt`oqv©yb:n xy{qbgyb:u`b {
(111) xob:£¤sy{ rsya¢?syu`b:uHon:²¶j"b:r1ov¦s[u c[v¦[b:n^r{v»ob {v©xEb u npt`{v©u`o]`brs[{q{b:ro£¤t`u r1oqv©syuv¦u` sy£So]`b{qb@npt«»ov¦u`¯#~>°j npl"npoqb:a ¬ xu³jmb:roqv©sy] u \crs[ur«©t"b@n ² ^. _ 0$^0 $a`. e>t{¶ys[xy«"v©nLoq]`br syunpoq{troqv©syu¢s£ rs[{q{b:ro¶xyuc`{b:"vwr1o
(112) x`«©b.b¨"b:r t"oqv©yb@n£¤sy{O¯#~>°j¢nql"n}ob an ²;Éu¢oq]v©n x?b {@¬H¾b>r syunqvw"b {oq]`vwn`{sy`«©b a v©uªxuªt`uHoqv©a¢b:/nqboqoqv©u`²¶\xµmv©u`v©uHoqs¢xyr r syt`uHosy{b unqt`{v¦u`oq]`b nxov©np£ xyroqv©syuªs£{qb@x«¦·7ov¦a¢brs[un}o{xyv¦uHo
(113) n( X!*nq]xy«¦« ?b#oq]`bnqt`"|}b@r1osy£S£¤t"ot`{qb¾sy{µB². bcbed!fNg#h#iBj.
(114) X. 77 7! .c !1Z+ +E)9 / 719 .
(115) !"!#$%&' ($#. e>t{xynqvwr#acs""b:«Ssy£"vwnpoq{v¦`t`oqb:§npl"npoqb a v©n>npv©a¢v¦«wx{oqs¢oq] xosy£*)xy]`u³zL{smr b:nnb o}¾s[{qµ"n®+)#zO>± (©:! *T²¶~ npl"npoqb:a v©n£¤s[{qa¢b:/s£r sya¢`t"ov¦u 7!/,N7!19.1N4"1²L\^]`b#rsya¢?syu`b:uHon^rs[acaEt`u`vwr xoqb>oq]`{syt`[] / "8". .-E N H" "# 1/-cxy«¦s[u`] 7!"8"# " " 7 +-. # 09 ". #B 1/-D H"#:!19 G 87!197 "0 1Z#"1²¼`s[{gnqv©ac«¦vwrv¦o}ly¬Bsyt{b¨m· xya¢`«¦b@n^syu`«©ltnqbnpv©a¢`«©b s[v¦uHop·Toqsy·T?syv©uHorsya¢aEt`u`vwr xov¦s[uª«©v©u`b:n}h !"#:!19 G 7197! " 1&2 13 "
(116) ² .b@xy"v©u`s[{¶¾.{qv¦oqv©u`x#a¢b:nnqxyyb^syuxr sya¢at`uv©r:xoqv©syuc«©v¦u`bv©n¶«¦s"r
(117) µmv¦uxucu`s[u"·Tv©uHoqb:{q{t`"ov¦`«©by² I«©s"r
(118) µHv©u`R{qb@xy`n¢xy{qb³xy{pos£>oq]`bà xynqv©4r )#zO*a¢s""b «T² I«¦s"r
(119) µmv¦u¾.{v»ob:nxy{qb³u`b:b:"b@¹osVb unqt`{b = s¾ {b [t`«wxoqv©syu¢v©u¢oq]`bgxnqb u rbsy£?ov¦a¢v©u`s[{OnqlHu r
(120) ]`{qs[u`v©¥:xov¦s[uEv©u"£¤s[{qaxov¦s[usyu¢o]`bb:uHmv©{qs[u`a¢b uHo:² v¦oq]³`«©s"r
(121) µmv¦u`¢¾.{v»ob:n:¬"¾br:xu tnpb#{b:xy«»·¸«¦v¦£¤bg s[t`u"b@m·Ta¢b:acs[{qlªrsya¢aEt`u`vwr xov¦s[u/«©v¦ub:n.v©unpoqb:x[/sy£ o]`bt`um?syt`u`b:³¼ ;}¼egn^s£oq]`b xynqv©5r )x]uªa¢s""b «T² +. 67(8 , %&9 :;#,<=;'($#,($, > / ?<@ BA5<C%!' ($#. \snqlHuHo]`b:nqv¦¥:bsyt`{b¨"b:r t"oqv©yb@n ¬¾bnpoxy{poE¾.v»o]¡oq]`b/nqboEs£nplmur
(122) ]{qs[u`sytn#a¢s""t`«©b:ns£^oq]`b ¯#~°j nql"n}ob a W 7D
(123) OGP. "GP. E"#:!1Z 8G 7!1Z7! "F2 "¢s[{/rs[a¢`v¦«©b:<nplmur
(124) ]`{syusytnr s""by¬.t`u "b {ªoq]`b§£¤sy{a&sy£ nqs£ o}¾^x{b - .4571GE 1Z 57!1N"1²¼sy«©«¦s¾.v©u`coq]`boqb {a¢v¦usy«©syyl/s£ ( ! *T¬ ¾br:x«©« oq]b:nqbv¦a¢`«©b a¢b:u[o
(125) xov¦s[u a¢s""t`«©b:Hn N ! # "1² Ox[r
(126) ]?b:x{«vwnOx[r r sya¢xuv¦b@Emlx]`v©y]`·T«©b [b «nq b@rv¦ r xoqv©syusy£¿v»o
(127) nOnqlHu r
(128) ]`{qs[u`v©¥:xov¦s[u¢`{qs[ b:{pov¦b@n ² \^]b:nqbnp?b:r v» r:xov¦s[unu`b:b:¡u`syo b£¤t`ur1ov¦s[ux«©«©lRr sya¢`«©boqb/¾² {@² o@²/osÃoq]b b@x{«©n:²³\^]`b lRnp]`s[t`«w r syuHoxyv¦u³b:u`syt`[]nplmur
(129) ]{qs[u`v¦¥@xov¦s[u v©u"£¤s[{qaxov¦s[uÃx«©«¦s¾.v©u`¢oq]bErs[unpoq{tr1ov¦s[u sy£¶oq]`bcxynqlmur
(130) ]`{syu`s[tn b ¨"b:rt`oqv©yb:n>rs[u[o{qs[«¦«©v©u`¢oq]`b:a³L² ;É{{qb:«¦b:9xyuHov¦u"£¤s[{qaxoqv©syu¿¬Bnpt r
(131) ]§xyn>rsya¢`«©b¨Ã`xoxs[ b:{xoqv©syun:¬ r:xu¿¬ xyu np]`s[t`«w/?bxnpoq{
(132) xyroqb@ªx9¾^x9ly¬Hoqsc£ x[rv©«¦v¦oxoqbxu x«©lmnqvwn ² \^]`bv¦u`t"os£syt{nplmuHoq]b:nqv©nob:r
(133) ]`u`vw´Ht`bvwn^oq]bacs""t«©xy{nplmur
(134) ]{qs[u`sytn^nq b@rv¦ r xoqv©syu³sy`oxv©u`b@ mlÃ`t`opoqv©u`³v©u§xy{xy«¦«©b «oq]`b¢]`v©y]`·T«©b [b «"b:nr{v¦`oqv©syungs£x«©«o]`b¢ b@x{«©n:,² ;Éuoq]`bc£¤sy{ax«©v©nqa*¾.]`vwr
(135) ] ¾.v©«©«nqt``?sy{qo#syt`{g`{b:nqb uHoxoqv©syu,®7xªnqax«©«nqt`"·Énqbo>sy£Loq]bj"v¦[ux««©xyu`yt xy6 b ( I!* ±¬ oq]`vwnga¢b:xu no]xo o]`bnq b@rv¦ r xoqv©syu v©no]`bx{
(136) x«©«©b «¿rs[a¢ sHnpv¦oqv©syuªs£¶xEumt`aE b:{.s!£ 9 7B #" ". "
(137) ² bOtnqbxnpax«©«T¬@v©uHoqt`v¦oqv©ybOb¨`xa¢`«©b¶oqs>`{b:nqb uHoSsyt{¿`{sy`«©b a³¬@oq]`b"b:nqv©{qb@#{qb@npt`«¦o:¬xyugoq]`baxv©u v©a¢`«©b a¢b uHoxoqv©syuRv©nnqt`b:n:²\^]`b¢b¨`xa¢`«©by¬`vwr1oqt{qb@§v©uV¼v©²O¬SvwnxÃnpv©a¢`«©bc{b:r syu" yt`{
(138) x`«©b¢xy`"b:{:¬ ¾.]b {b^o}¾s#v©u"b ?b u "b uHonqv¦uy«©b·¸¾s[{c~!° JnLr:xu¢ btnpb@¢b v¦oq]`b:{Lv©u"b ?b u "b uHoq«©ly¬Hsy{Lnqlmur
(139) ]`{syu`v©¥ b@ os£¤s[{qa(x"s[t``«©b·¸¾s[{Ã~>° J²?\^]`bcr
(140) ]`syvwrbE b o}¾b:b u§nqlmur
(141) ]`{syu`v©¥ b@³xuÃusyu"·Énplmur
(142) ]syu`v©¥ b@³acs""b vwnL"s[u`b.tnqv¦u>o]`b KLNMOnpv©yuxy«7²\s#nqv©ac«¦v¦£¤lo]`b^ [t`{qb[¬y¾b.rsya¢x[r1ob:c syoq]`xoxgv©u``t"o
(143) nLs£Bb:x[r
(144) ] x[`"b:{.t`u"b:{xcnqv©u`y«©bnpv©yuxy« uxa¢b® P'QxyuR PTS¬m{b:nq b@r1ov¦[b «©l"±² \^]`br:x{{ql³?bo}¾b b:u§o]`b¢o}¾sÃx[`"b {
(145) ngv©n#{qs[xHxoqb@³oq]{qs[t`y]oq]`Ub Oþ.v©{bc¾.]b u`b:yb V{ KLNMO³v©n {qb@npb:u[o@²¶\^]`b#o}¾s¢nqv¦u`[«¦b ·T¾sy{
(146) /~>° J>nx{bo]`b`{s"rb:nnqb:ns£syt`{.nq b@rv¦ r xoqv©syu¿² ~>n¾b/nq]x«©«nqb b«wxob {Ev¦uVo]`vwnxy b:{:¬o]`b/]`v©y]`·T«©b [b «Onq b@rv¦ r xoqv©syuVsy£syt`{b ¨`xa¢`«©b/r xyu¹ b £¤tur1ov¦s[ux«©«¦lªv¦u rsya¢`«©boby² ;¸or:xuÃnx£¤b «©l/xyn}o{x[r1ox9¾^x9l¢oq]`bx[r1oqt x« ?b ]x9mv©sy{.s£oq]bxy`"b:{n:¬`xu o]`bv©u[ob [b {.`xo
(147) x`² W. V W VYX Z Ä U\[S Ç U Ç Â `yFT Ç U. °Sv¦µ[bExyuHlÃnqlmur
(148) ]`{syu`s[tn.£¤s[{qax«©vwnpa³¬B¾b£¤sy«©«¦s¾Jx "vwnqr {qb oqbEacs""b:«s£Lov¦a¢by¬ ¾.]b {bEb ¨mb@rt"ov¦s[ungx{b nqb:´Ht`b:urb@ns£ E 57!1N"
(149) ¬v¦u`b¨"b: ml½] x - 7_^ !, 7F A² \xy`«¦b,yv©yb@nxV?s[nnpv©`«©bb¨"b:r t"oqv©syu sy£. b. `ba c`ed.
(150)
(151) !#" . j `. j . j. d. . a . <i. d. Oi. <i. `. ¼v©yt{qb¢-Wds[u" [t`{xy`«©bgx[`"b {BWy«©syxy« `xo
(152) x!=s¾.
(153) $% '!(*)+ $+. ⊥ ⊥ ⊥ ⊥. ⊥ ⊥ ⊥ ⊥ ⊥ ⊥. & > , , . ! " & ⊥ ⊥. , , ,. ⊥ ⊥ ⊥ ⊥ ⊥ ⊥. # >. , " . ⊥ ⊥ ⊥ ⊥. #! " . \x«¦b¢-WOj`xa¢`«©b#nqlmur
(154) ]`{syu`s[tn{qtuªsy£o]`bb¨`xa¢`«©b. bcbed!fNg#h#iBj.
(155) 77 7! .c !1Z+ +E)9 / 719 pearl inputs. pearl outputs Synchronous pearl. .... ... shell inputs. Bd #d
(156) . d. clocks. .... ... shell outputs. ¼v¦[t`{qbPW<'>b:nqv©{qb@ r sya¢?syu`b:u[onpoq{tr1ot`{b s[t`{cb¨`xa¢`«©by²,~ {b:x[r1oqv©syu,v©n¢x9xy«¦t xoqv©syu s£>oq]`b v¦u`t"o:¬syt`oq`t"o@¬xyu¹v©uHoqb {uxy«"# --19 "s£>oq]`b {qs"rb@nqn:² bnq]xy«¦«"b:u`sob³¾.v»o] V oq]`b³ uv»obnpb os£gnqv©yuxy«©n¢sy£#xR`{s"rb:nn:² ;Éu½s[t`{¢b¨`xa¢`«©by¬ ² V = {I1, I2, SY N C, O1, O2, ~«¦«npv©yuxy«©n^xy{qbgo}lm b@ ² bC}"b usoqb#¾.v¦oq] DS o]`b"s[a¢xyv¦u³sy£xnqv¦[ux«K ²`syox«©«¿npv©yu x«wn^u`b b@ os]x9ybx¢xy«¦t`bv©ux{b:x[r1oqv©syuS¬moqsa¢s""b «r x[npb@n^¾.]`b {bsyu`«©l x{qon^sy£o]`b`{s"rb@nqn.r sya¢`t"oby² b ¾.v©«©«^nx9lRoq]xo¢xRnqv¦[ux«v©n Z #"..1N^v©u x{qb@xyr1ov¦s[u¹¾.]`b:u,v¦oc]x[n¢xx«©t`b v¦u DS ² eoq]`b:{q¾.vwnpb[¬¶¾b nx9lo]xo¢v¦oEvwK n ^#"..1NT²§~nqb u rb/vwncnpv©a¢`«¦l¡{b `{b:nqb uHob:R¾.v»o]¹x«©t`b ¬¶¾.]`vwr
(157) ]VvwnExy` b:u"b@¡oqs xy«¦«L`syaxv©un D⊥ = DS ∪ {⊥} ²¼`s[{qaxy«¦«©ly¬Sx {b:x[r1oqv©syuRs£oq]`b/`{qs"r b:nn>⊥vwnx xy{pov©xy«¶9xy«¦t xoqv©syuRs£ v¦onnqv©yuxy«©n:² b¢S `b u`syoqb¢¾.v»o] R oq]b¢nqbosy£x«©«¶npt r
(158) ]x«©txoqv©syun:²\^]`K b "# _N7! #¶sy£xª{qb@xyr1ov¦s[u r ¬ `b u`syoqb: supp(r) ¬¶vwno]`b nqbocs£`{b:nqb uHoEnqv©yuxy«©n:²¼sy{v©unpoxyurb[¬oq]`b npt` s[{pocs£{b:xyroqv©sy u Xv¦u \x«¦b¢#v©n {I1, I2, O1, O2} ² ;ÉuRaxumlÃr xynqb:n>¾bcxy{qbEsyu`«©l³v¦uHoqb:{qb@n}ob:§v¦u§oq]`b¢`{b:nqb ur bs[{gxynpb:urbEs£x nqv¦[ux«T¬B b@r xt npbcv»o o{xyunqacv¦onSu`s>xox¬sy{ b@r xt npbL¾bxy{qbOsyu`«©l#v¦uHoqb:{qb@n}ob:v©unqlmur
(159) ]`{syu`v©¥:xoqv©syuxynq?b:r1o
(160) n ²\Ss>{qb:`{qb@npb:uHo nqtr
(161) ]nqv¦[ux«wn:¬"oq]`b¢jmv©yuxy«S«wxu`[tx[btnpb@nx"b@"vwr xob: o}lm bEs£L"syaxyv¦u Devent = {>} a² ;Éu s[t`{.b¨`xyac«¦b[¬ K_LNMO¢]x[no}lH?b B² \s³{qb:`{qb@npb:uHo>{b:xyroqv©syun:¬ ¾bEtnqb] x "..4
(162) C A-6 871N! 124571Ãxu§sya¢v»onqv¦[ux«wng¾.v»o]xy«¦t`b Y² ;Éu ¼v©²`y¬oq]bnpv©yuxy«`npb oLv©n {SY N C : event, O1, O2 : integer, I1, I2 : integer pair} ² ;Éu\xy⊥`«©by¬ {b:x[r1ov¦s[] u Xªvwn#"b usoqb@ (9,9), O18, I2(0,0), O20) ²\^]`K b "#4. # 1/-K 88 E 57!1³xynnqv¦[u`v¦u ⊥ oqs³x«©« nqv©yuxy«©nvwn"b usoqb@ ⊥ ² ;É(I1 u³\x`«©b¬`{b:x[r1oqv©syu³Ev©nx¢npoqt"oqoqb:{qv©u`{b:xyroqv©syu¿² . . ,< ';. (. . %"<C($ ;' #"! <C($ ?($#;!#$. \sv©uHoqb {q£ xyr b?bo}¾b b u¢o]`b>x[nplmur
(163) ]{qs[u`sytn¶r sya¢atu`v©r:xov¦s[u«¦v©u`b:nxuoq]`bnqlmur
(164) ]`{syu`s[tn¶?b:xy{q«wn ¬[¾b npoq{troqt`{b#syt`{r sya¢`t"ov¦u`r sya¢ s[u`b uHo
(165) n.xyn^`vwr1ot`{qb@/v©uüv¦ ² m² b.x{bv©uHoqb {b:npoqb@]`b:{qbv©uo]`bx[nplmur
(166) ]{qs[u`sytnSb¨"b:r t"oqv©yb[¬yx«wnqs>r xy«¦«©b: "GP. ¬y¾.]`vwr
(167) ]¢rsyuHo{qs[«©nSoq]`b x[nplmur
(168) ]{qs[u`sytn ;qº[e xyu"{v¦[b:no]`bnqlHu r
(169) ]`{qs[u`syt n b@x{«`s£Boq]brs[ac?syub uHo:²¶\^]`bnq]`b «©«vwnL xynqv©r:x«©«¦l xyux[nplmur
(170) ]`{syusytn>xt"osyaxosy$u #@0² ;¸o#oxµ[b:ngxyngv©u``t"oo]`bcx[nplmur
(171) ]{qs[u`sytn>¼ ;}¼egn>oq{
(172) xunqa¢v»oqoqv©u` oq]`b v©u``t`onsy£o]`b?b:xy{q«T¬xyuRv»oEr:xuVx«wnqsªo
(173) xµ[b¢x[`"v¦oqv©syuxy«Ors[uHoq{sy«¶v©u``t"o
(174) nxy"b:Rmlo]`b/nqlHuHo]`b:nqv©n {qs"rb@nqnLoqscb unqt`{b>r sy{{qb@r1onqlmur
(175) ]`{syu`v©¥:xoqv©syu¿² ]`b u b u`s[t`y]/v¦u`t"o^nqv©yuxy«©nx{b`{b:nqb uHo:¬Ho]`bgnq]`b:«¦« %'& (*) ( +),.- ,. d/(102(1) #d3'0 d5467 Fd #d
(176) '86)9
(177) 7) d;: <2=>8
(178) +1),.- . ?@ d/(1)A0BDC. b. `ba c`ed.
(179)
(180) !#". \ $ % ' ( )+ $+. " + +# & & > > , , + , , , " +# " ,. \x«¦bWds[{q{b:nq?syu"v©u`¡xynqlmur
(181) ]`{syu`s[tn{t`u¿² dsy{{qb@r1oq«©lV{b:rs[unpoq{tr1ov¦u`Vnqlmur
(182) ]`{syu`s[tnv©u``t`on £¤{sya oq]`bx[nplmur
(183) ]`{syusytnsyu`b@n^v©n^v©a¢ sHnqnqv©`«¦b[² o{qv©y[b {
(184) nx³nqlHu r
(185) ]`{qs[u`syt n{b:xyroqv©syus£Lo]`b¢ b@x{«7²c\Ss³"s oq]`vwn:¬ oq]`bnq]`b «©«`{sHvw"b@no]`b¢ b@x{«¾.v¦oq] o]`bu`b:b:"b@³v¦u`t"on:¬Bxu ax{µ"nx«©«¿so]`b { b@x{«Sv©u``t"o
(186) nxy0n _^ " .1N® ⊥±^b:yb u³v¦£Lx«©t`b:n.] x9yb?b b u {b:r b v©yb@¹£¤s[{oq]`b:a³²Ê\^]`b:u¿¬.v¦ooq{v¦[yb:{nEoq]b§rs[act"oxoqv©syu½s£#oq]b{qb@xyroqv©syu¿² ;Éu nqs£ o}¾^x{by¬oq]v©n xya¢syt`uHonoscr:x«©«¦v©u`Eoq]`b{b:x[r1oqv©syu£¤t`ur1ov¦s[u¿² ;Éu ]x{
(187) "¾^x{by¬[oq]`b#?b:x{« r«©s"r
(188) µv©n^b:ux`«©b:¿²Le>u rbgoq]`b ?b:xy{q«rs[ac«¦b oqb:nv»o
(189) n>r sya¢`t"o
(190) xov¦s[u Wa;Éu]x{
(191) "¾^x{by¬"o]`b?b:xy{q«r«©s"r
(192) µªvwn>`v©nx`«©b: 2;Éu§nqs£ o}¾^x{by¬oq]`b npoxoqbt?`xoqbª`{qsyoqs"rs[«Lvwn?b {q£¤sy{a¢b: ²\^]`b/syt"o`t"oncrs[a¢`t"oqb@¡mlo]`b/?b:xy{q«x{boq{
(193) xunqa¢v»oqoqb@ s[uHoqso]`b#syt"o`t"o.¼ ;}¼egn:²\^]b>v©u``t"o.x«©t`b@nt npb@v©uoq]bg{b:x[r1ov¦s[u/x{b>x[r
(194) µHus¾.«¦b@"yb@xyn{qb@xy ¬"nqs o]xoub ¾<s[u`b:n.r:xu bx[r r b "ob:ª£¤{qs[a oq]brsy{{b:nq s[u"v©u`E¼ ;}¼egn:² . R=;. :;#H=, N . '( . b#u`b b@oscnqlmuHoq]`b@npv©¥ bgoq]b¢® ]x{
(195) "¾^x{bs[{^nqs£ o}¾^x{b@±Onp]b «©«©noq] xo.¾.v¦«©«¿"{v¦[bo]`b#b¨"b:r t"oqv©syu s£oq]`b o]`b?b:x{«wn^syuªoq]`br sya¢ s[u`b uHo
(196) n^s£So]`bx{
(197) r
(198) ]`v¦oqb@r1oqt{qb[² \^]`bgaxv©uox[npµcs£ o]`b#np]`b:«¦«?vwnLosErs[unpoq{tr1ov¦u/xErs[unpvwnpoqb uHoO¾^x9lcv¦u`t"on£¤sy{Ooq]`b#nqlHu r
(199) ]`{qs[u`syt n ?b:xy{q«T²³\^]`bv©u``t"osy£x³{qb@xyr1ov¦s[u¡atnpoExynnqv¦[u¡x³xy«¦t`b[¬s[{"b@r«wx{bxnqb uHo:¬b [b {lv©u``t"ocs£^oq]`b ?b:xy{q«T² v¦oq]§oq]`vwng]Hlm?so]`b:nqv©n:¬Brs""b[b u`b:{xoqv©syu £¤sy{>oq]b?b:x{«Svwn>]`v¦[]`«©l³nqv©ac«¦v¦ b: y¬ £¤sy{gv»o#"smb:n usoL]x9[bosv©u"£¤b {Ls[{Lb u`£¤sy{
(200) rb.v©u``t"oO{qb@npb:urb^sy{xnqb ur by¬usy{L`t ?b:{Ov©u``t"o
(201) nLsy{¶s[t"oqt"onLoqsaxo
(202) r
(203) ] o]`bxynqlmur
(204) ]`{syu`s[tnOoq{
(205) xunqa¢v©nnpv©syuª`{soqs"r sy«wn ² .b@rs[un}o{qt r1oqv©u` {qb@xyroqv©syun>£¤{syaixynqlmur
(206) ]`{syu`s[tna¢b@nqnx[b:ngatnpo# b"s[u`bcv¦u¡x³"bob {acv©u`vwn}ov©r £ x[np]v¦s[u¿¬B{qb:[x{
(207) "«©b:nnsy£Loq]`b¢a¢b:nnxybEx{{qv©x«sy{
(208) "b {@²\^]`v©n#vwngu`sox«©¾^x9lmn sHnqnqv©`«¦b[²~nnptacb[¬ «¦v©µyb v©uª\x«¦b"¬mo]xo^¾b#rs[unqv©"b:{Oo]`b#v¦u`t"on^sy£\x`«©bEg¾.v¦oq]`s[t"o^oq]`b#nplmur
(209) ]{qs[u`v¦¥@xov¦s[uv¦u`£¤sy{a¢xoqv©syu¿² syu o]`bÃv¦u`t"o/r
(210) ]xyu`u`b ?« P'QÃxyu \^]b a¢s""t`«©. b
(211)
(212) @Q ¾.v©«©«.oq]`b:u½{qb@rb v©ybªoq]b³ {npox«©t`b s[> u KLNMNO?[² '>b ?b u "v¦us[uVoq]`b x{{qv©x«sy{
(213) "b {@¬¾.]v©r
(214) ],r:xu`(1,us2)oE?b/{qb@rvwnpb@ ¬LxumlRs£.oq]b/{b:xyroqv©syu>n sy{ (1,2) 3 r:xu?b>oq{v¦[yb {b:¿¬y«©b:xy`v¦u`oqsc"v¦[b {yb:u[orsya¢`t`ox· (I1(1,2) , O13 , SY N C > , C 0 ) ov¦s[un:²>\^]`bE`{qs[`«©b a*v©noq] xoo]`b(I1o}¾s/{b:, x[O1r1ov¦s[)unx{bu`syogv©u"b: b:u"b:u[o¢® o]`b l"sªu`so#rs[acaEt"oqb9±1¬ l[boLo]`b>r
(215) ]syvwrb.?bo}¾b b uoq]`b:a r:xu`usoO?b"s[u`bs[b {oq]bx«©t`bsy£Sxa¢b:nnqxyyb.syuxyv©yb ur
(216) ]xyu`u`b:«7¬ nqsx¢np]`b:«¦« ] xyn^u`sa¢b:xyun^s£r
(217) ]`sms[nqv¦uE?bo}¾b b:uªo]`b a³²L~ nqv¦a¢v©«©xy{.`{sy`«©b a s"r:rt`{
(218) n^v¦ u
(219)
(220) S ² e>t`{Ex``{s[x[r
(221) ]vwnos³oq{
(222) xunp£¤sy{aio]`b/nqlmur
(223) ]`{syu`s[tnnp?b:r v» ?r xov¦s[u¡v¦u¹nqtr
(224) ]Vxþ^x9l§xyn#osaxµ[b {b:x[r1ov¦s[uE{b:r syunpoq{tr1ov¦s[uE"b oqb:{qa¢v©u`v©npoqvwr.t``oqsrs[a¢at"o
(225) xoqv©syucs£ v©u"b: b:u"b uHoO{b:x[r1ov¦s[un ²e>u`bnpt r
(226) ] v©a¢`«©b a¢b uHoxoqv©syus£s[t`{#b¨`xa¢`«©bcv©ng`{b:nqb uHoqb@v©uR¼v©² $`¬ ¾.v¦oq]¡xub¨"b:r t"oqv©syuoq{
(227) xyr bv©uR\x«¦Mb X² 7 7'0 d 46 ! "$#86) d3(1 7 d 17 &%+: j'B=>C. bcbed!fNg#h#iBj.
(228) 77 7! .c !1Z+ +E)9 / 719 I. \{
(229) xunp£¤sy{axoqv©syu³vwn>`syu`bEHl³xy"v¦uªrs[a¢at`u`vwr xoqv©syuë©v¦ub:n:²g\s/"vwnqr {qv©a¢v¦u xoqbE b o}¾b:b uÃo]`busyu"· vw"b: b:u"b uHogoq{
(230) xunqv¦oqv©syun>s£
(231)
(232) cQ[¬?¾bv©uHoq{s""trbEoq]bMIsmsy«©b:xyu§npv©yu x«*K_LNMO@Q[²Lxy«¦t`b s[uRKLNMOCQ v©u"vwr xoqb@n¶oq] xoLo]`bo}¾sxy``b {
(233) nLnplmur
(234) ]{qs[u`v¦¥:by¬Hnps#o]xoK_LNMOxyuUOExy{qb.{qb@npb:u[o@²Lxy«¦tbv©u"vwr xob:n xyu§v©u"b: b:u"b uHors[a¢`t"oxoqv©syusyu
(235)
(236) cQ[²j"lHa¢a¢bo{qvwr xy«¦«©ly¬KLNMOSvwnxy``b:Ãos
(237)
(238) 'S ²#sobEo]xo nqv©yuxy@« KLNMOc b@rsya¢b@n^tnpb:«¦b@nqn:¬"xynv¦o.r sy{{qb@np?syu `nLosr
(239) ]`syvwrb@ns[b { KL/MO@Qgxu4 KLNMNO@Q[²\^]b {b£¤sy{by¬ ¾br xyu "b:«¦b oqbv¦o£¤{sya o]`b`xo
(240) !x =s¾Ênqr
(241) ]b a¢by²¶syoqb[¬`v¦uÃ\x`«©,b X`¬"o]xo.o]`b#o}¾sc{qs"rb@nqnqb:n^r:xu³ b us¾ nx£¤b «©l{t`u syu³npb:x{
(242) xobgr «¦s"r
(243) µ"n^v¦u o]`b¯#~°j/v©a¢`«©b a¢b uHoxoqv©syu¿² . . '; (H, ] /($ ' ($#. ~ x{qoqvwrt«©xy{r«wxynnsy£nps[«¦t"ov¦s[unossyt{`{sy`«©b a ]x[nExy«¦{b:x["l§?b b:uVoq]`s[{qs[t`y]«¦lRn}ot"v©b: W\^]`b r:xynqb¢¾.]`b {bb [b {l b@x{«L{b:xynx«©«Lv¦u`t"onExuR¾.{v»ob:nxy«¦«Osyt"o`t"onExob@xyr
(244) ]¡{qb@xyroqv©syu½®¤u`s[u`br xyu ?bªxynqb uHo
(245) ±² b np]xy«¦«r xy«¦«Ooq]`vwno]`b/a¢s[u`s·Ér«©s"r
(246) µ§r x[npb[¬£¤s[{{b:x[nps[ungoq]xoE¾.v©«¦«?b:rs[a¢b/r«©b:xy{v©u j"b:r1ov¦s[K u $² ;Éu/o]`vwnr x[npb[¬"v¦a¢`«©b a¢b uHo
(247) xoqv©syu n^]x9yb#?b b u³[v¦[b u/v©u³ syoq]Ãnqs£ o}¾^x{bgxyu/] x{
(248) "¾xy{qEb W ¨ (\B*¸¬acs[u`s·Ér«©s"r
(249) µ>nqlmur
(250) ]`{syu`s[tn¿nq b@rv¦ r xoqv©syunx{b¶oq]`bv¦u`t"os£`sy`oqv©acv©¥ b@at«»ov»· ;ÉuEjmlmNu '>¶ `{smr b:nnps[{.nqr
(251) ]`b@"t`«©v¦u¢xy«¦[sy{v»o]`an ²\^]`br sya¢`t"o
(252) xoqv©syu n^s£So]`b?b:x{«wn.x{b#npoxoqvwr xy«¦«©l/nr
(253) ]`b:m· t`«©b: syu b:x[r
(254) ]ª`{s"rb@nqnqsy{@² b 'b@npv©yu¡® [° ; 'gR± ( H *¸¬moq]bacs""b:«Snqb {yb:nxyn^ xynqv©n£¤s[{^oq]`bnqlHuHo]`b:nqv©n^sy£ ;ÉuðSxob ur lH· ;Éunqb u npv¦oqv©y? oqb@r
(255) ]`u`sy«©sy[lH·Tv©u"b: b:u"b uHo.syu`·¸r
(256) ]`v©ªr sya¢atu`v©r:xov¦s[uª`{sos"rsy«wn:² zOt"opov¦u`Ãs[t`{#b¨`xa¢`«©b¢v¦uRa¢syu`sy·¸r «¦s"r
(257) µ³£¤s[{qa(¾syt`«wRrsyu npvwn}ov©ub ¨"`«¦vwrv¦oq«©lÃo{xyunpa¢v¦opov¦u`³s[b {goq]`b x[nplmur
(258) ]{qs[u`sytn«©v©u`b:nLoq]`bgxnqb ur bs£Snqv©yuxy«©n:N¬ .
(259) ©¬moq{
(260) xunqa¢v»oqoqv©u`xy«¦«oq]`bgnplma?sy«wnLv©u/\x`«©by²\^]v©n ax9l¡?bªv©u`bÀr v¦b:u[o¢¾.]`b:u,¾b/u`b:b:Vos§a¢v©u`v¦a¢v©¥ bÃrs[a¢at`u`vwr xoqv©syu¿¬s[{E¾.]`b:u,¾b/¾^xuHocoqsxy«¦«©s¾ aEt`«¦oqv¦·T{
(261) xob#r sya¢`t"o
(262) xov¦s[u¿² \^]`b# {npo.b¨moqb:unpv©syu/oqs¾^x{
(263) `nat`«¦oqv¦·Ér«©smr
(264) µ?b:xy{q«wn^¾b {bo]`b 1Z+-7B 8G 7!1Z7! "?"#:H"#./Y"( `'¬ I!*Sxu o]`b#{qb:«©xoqb@]xy{"¾^x{b - .19. ! B + !
(265) 1Z :!
(266) 1N". 1N" !,"#:H"#./0"L(¦! \F*¸² b {by¬m¾bxynnpt`a¢b>oq]xo.oq]`b {qb@npb:urbxyuxnqb u rbsy£ xy«¦«?npv©yu x«wnOr xyu bv¦ur {qb:a¢b uHoxy«¦«©lEv©u"£¤b:{q{b:npoxy{pov¦u`#£¤{sya oq]b>npoxobxu £¤{sya nqv¦[ux«wno]xo¢x{b/x«©¾x9l"n{qb@npb:u[o@²§\x`«©6 b $Ã{qb@npb:u[o
(267) nx§{qt`u,s£xuVb:u"s"r
(268) ]`{syu`s[tnnql"n}ob a s["oxyv¦ub:³ml oq{
(269) xunp£¤sy{a¢v¦u`¢o]`Gb KLNMO/nqv¦[ux«s£Ls[t`{b ¨"xya¢`«¦bv¦uHoqsªsyu`boq]xogr xy{q{v©b:n.x«©t`b@n.£¤{sya cos $PWc£¤sy{
(270)
(271) cQ#b¨"b:r t"oqv©u`xy«¦s[u`by¬¿#£¤s[{
(272)
(273) Sb¨"b:r t"oqv©u`x«©syuby¬ E£¤s[{ syoq]x[`"b {
(274) n^b¨"b@rt"ov¦u` ¾.v¦oq]syt"onqlHu r
(275) ]`{qs[u`v©¥:xov¦s[uY® Oxynqb uHo
(276) ±¬mxyuK $£¤s[{o]`bnplmur
(277) ]{qs[u`v¦¥:b:b ¨"b:rt`oqv©syu/sy£¿oq]b>o}¾s¢xy`"b:{n +® Oc`{qb@npb:uHo
(278) ±1²¶soqboq]xoo]`bxy«¦t`bgs8 £ K_LNMOc"bob {acv©u`b@nLo]`b>{qb@npb:urbºx?b u rbsy£Sx«©«?nqv¦[ux«wn:²\^]`b r sya¢`v©«©xoqv©syu s£oq]`bjmv©yu x« «wxu`[tx[b>vwn.rt`{{b uHoq«©l£¤sytu"b: s[u xcyb:{nqv©syu/sy£b:u"s"r
(279) ]`{syum l (©# *T² \^]`b`{qs[`«©b a ¾.v»o]b u`smr
(280) ]{qs[uHl/v©noq]xov»o#"smb:n.usogxy«¦«©s¾ r syur t`{{qb:urlªv¦unqvw"bnqlHu r
(281) ]`{qs[u`syt n a¢s""t`«©b:n:²\^]b{qb@xyroqv©syu {qb@rsyu n}o{qtroqv©syu `{smr b:nn^v©n.£¤t`«¦«©l³"bob {acv©u`vwn}ov©ry¬ xyuªoq]`b{qb@npb:urbsy£xy«¦« nqv©yuxy«©ncvwnnplmur
(282) ]`{syuv¦¥:b:V¾² {:² o:²½nqsya¢b³xynqb nqv©yuxy«T®7n±Ev©u xR]`v©b {
(283) x{
(284) r
(285) ]`vwr£ xynq]`v©syu¿² ;¸£>¾b³{qb £¤b {coqs s[t`{gb¨`xa¢`«©by¬Sxyu§b:u"s"r
(286) ]`{syu`s[tnr sya¢ s[u`b uHor xyu`u`syo#xy«¦«©s¾Jrs[urt`{{b ur l ?bo}¾b b:u§v©u"b: b:u"b uHo r sya¢`t"o
(287) xov¦s[un.s£o]`bo}¾sxy``b {
(288) n ².\^]mtn:¬¾br xyu`u`sogx«©«¦s¾Êv¦a¢`«©b a¢b:u[o
(289) xov¦s[un.¾.]`b:{qb?so]
(290)
(291) @Q xyu
(292)
(293) 'S x{bv©ac«¦b:acb:uHoqb:syuoq]bcnxa¢bc b@x{«¾.v¦oq]syt"o{b a¢smv¦u` x«©«v¦u`b ?b u"b:urb¢?bo}¾b b:u o]`b aioq]`{syt`[]x[`"b:Rnqv¦[ux«©«¦v©u` ¬ b yb:uo]`syt`[]§o]`vwn#v©n#u`syo#£¤t`ur1ov¦s[ux«©«©lu`b:r b:nnqxy{ql[²\^]`vwn#«¦b@xy`n oss[b {q·¸nqlmur
(294) ]`{syu`v©¥ v©u`³o]`b³v¦a¢`«©b a¢b uHo
(295) xoqv©syuS¬Oxu,oqsR?soqb:uHoqvwx«^v¦ubÀrv©b ur ly² ~nxRnpvw"b·¸b Bb:ro:¬. b. `ba c`ed.
(296)
(297) !#"
(298) $% '!(*)+ $+. ,. & , , . ⊥ ⊥ ⊥. ! " & , ⊥ , ,. #! , " . ⊥ ⊥. . # ⊥ " . \xy`«¦b,$NWOu"s"r
(299) ]`{syu`s[tn.nps[«¦t`oqv©syu
(300) $% '!( ) '!( ) $+
(301) . ,. " & . , , . ! " & ,. # , , , ,. ,. . #!, " . \x`«©b?XNW b:xµm«©lb u "s"r
(302) ]`{qs[u`syt nnqsy«©t"ov¦s[u b:u"s"r
(303) ]`{syumlRv©ncu`syocrs[a¢ sHnpv¦oqv©syuxy«7¬¶¾.]v©r
(304) ] a¢xyµyb@no]`b `b u`v¦oqv©syu s£v©ur {qb:acb:uHox«^"b:yb «©syacb:uHo {qs"rb@nqnqb:n^"v¦Àrt`«¦o:² . . ,. % ,'( %*<=. ;Éuoq]`vwngx?b {@¬B¾bEb¨"`«wxv©u]`s¾ oqs x«©«¦s¾ ?so]nqlmur
(305) ]`{syu`v©¥ b@ÃxuÃusyu"·Énplmur
(306) ]{qs[u`v¦¥:b:¡®¤v©u"b: b:u"· `b uHo
(307) ±#r sya¢`t"o
(308) xoqv©syu n#oqsÃ?b{qb@x«©v¦¥:b:Rml§xÃnqv¦u`[«¦br sya¢?syu`b:u[o@²É; uRoq]`vwnxy``{s[x[r
(309) ]¿¬Boq]`b/tnpb:{r xyu. `b:rvw"b/xoE?b:xy{q«nplmuHoq]`b@npvwnov¦a¢bR®¤ax9lm b/oq]`{syt`[]Vxu¹b ¨m«¦s[{xoqv©syu¡`{smr b:nn±]`s¾ oqs[{qs[t`¡oq]`b {qs"rb@nqnqb:nsyuHoso]`b"v©npoq{v©`t"oqb@ªr sya¢?syu`b:u[o
(310) n ¬m¾.]`v©«©bgµmu`s¾.v©u`oq]xo^b Àrv©b uHonp]`b:«¦«wn^x{bgxyt"oqs[axop· vwr xy«¦«©lRyb ub {
(311) xoqb@ ²§¼sy{v©unpoxyurb[¬oq]`b/o}¾s{qs"rb@nqnqb:ns£syt{b¨`xyac«¦b r xuV?b v¦a¢`«©b a¢b uHob:Vml nqb x{
(312) xoqbg?b:x{«wn ¬"s[{ml xcnqv©u`y«©b#syu`b[² \^]`bOa¢xyv¦ur syuHoq{v©`t"oqv©syuvwn¿[v¦[b u#v©ujmb:roqv©sy,u X`² bb¨"`«wxv©u>o]`b {bL]`s¾Ros"bob {a¢v¦u`bO¾.]`bo]`b {Sx {qs"rb@nqnSv©n¾b:xµm«©l#b u"s"r
(313) ]`{syusytn:²¿\^]`vwnvwnxynqb:s[uE"b oqb:{qa¢v©u`v¦u>xa¢v©u`v©a¢xy«"npb os£ {qb@xyr1ov¦s[un o]xo [b u`b:{xoqb.x«©«`syoq]`b:{L{qb@xyroqv©syun:²\^]`b`{qs"r b:nnv©n¶¾b:xyµm«¦lEb u"s"r
(314) ]`{syusytn¾.]`b:ux«©«`yb:u`b {
(315) xosy{
(316) nnxov©np£¤l xyJ u !
(317) 7!/M5 :)G : N7!OGP " 3" Eoq]`b:l¢xy{qb.b:v»o]`b {xynqlmur
(318) ]`{syu`s[tnp«©l"vwnpoqv©u`yt`vwnq]x`«©by¬Hsy{Ou`syu"·¸v©u[ob {q£¤b {b uHo:² ]b uÃx{qs"rb@nqnvwn^u`so¾b:xyµm«¦lb:u"s"r
(319) ]`{syu`s[tn ¬H¾bgub b:/oqsr syunpoq{
(320) xv©u/v¦o.£¤t`{qoq]`b:{.Hl/b «©v¦a¢v©uxov¦u` usyu"·Érs[u =t`b:u[or
(321) ]syvwrb:noq]xoEx{bu`soc"bob {acv©u`b@Vmlxnqv¦[ux«O9xy«¦tb§®¤u`syoEmlxynqb ur b@±1²¯gv©yb:u o]`br sya¢`«©b¨"v»o}lcs£Bo]`v©nnpoqb S¬[¾.]`vwr
(322) ]xy`nOnqt```«©b a¢b:u[o
(323) x{lcr sya¢atu`v©r:xov¦s[uc«©v©u`b:n:¬[¾b"su`soL£¤t«¦«©l . bcbed!fNg#h#iBj.
(324) 77 7! .c !1Z+ +E)9 / 719. @. j `. a j. j. d . Oi `. b2j. j . . a a . . i. <i. d . . bi. <i. ¼v©yt{qb,$PW b:xyµm«¦lb:u"s"r
(325) ]`{syu`s[tnnps[«¦t"ov¦s[u xyt"oqs[axoqbv»o@L² ;}npoqb:x[Ãs£L{qsmvw"v¦unps[«¦t"ov¦s[unoq]xo>a¢v¦[]Ho>u`syo>axo
(326) r
(327) ]³oq]`bcy«©syxy«Sx{
(328) r
(329) ]`v¦oqb@r1oqt{qbsy£ o]`bnql"n}ob a³¬s[t`{>xyux«©l"npvwn.x«©ys[{qv¦oq]`a npv©a¢`«©lª?syv©uHons[t"oo]`{qs[t`y]Ãv©uHoqt`v¦oqv©ybb {{qs[{.acb@nqnx[b:n^¾.]ml o]`bnqlmnpoqb:avwnLu`syoL¾b@xµm«©lb u`smr
(330) ]{qs[u`sytn:²e>u rb^oq]bxynnpvwn}ob:Eoq{
(331) xu n}£¤s[{qaxov¦s[uEnpoqb:v©nLr sya¢`«©bob: ¬ o]`bxynqlmur
(332) ]`{syu`s[tnnp]`b:«¦«wn.x{bxt"osyaxov©r:x«©«¦l[b u`b:{xoqb@ ¬"xyn^b¨"`«wxv©u`b@/v©ujmb:roqv©syum² @ "  ,  @¢": `yFT Ç U \s µyb b:Ãoq]bc{qb@npb:u[o
(333) xov¦s[u§npv©a¢`«©by¬ ¾bE`{b:nqb uHo#]`b {bEx nqv¦a¢`«©b¢yb {
(334) nqv¦s[uÃs£Lo]`bcoqb:r
(335) ]u`v©´Ht`b[¬ ¾.]`vwr
(336) ] `sHb@ngu`sogoxyµybcv¦uHoqs³xyr:rs[t`uHo>o]`bE{qs"rb@nqn#npoxoqby²E\^]`bcxy``{s[x[r
(337) ]§r xyu§?bEb ¨Hob u`b:§oqs³"b:xy«¾.v¦oq] nq?b:rv¦ r:xoqv©syu n^¾.]`b {b#b:xyr
(338) ]ª`{smr b:nn^]xyn.x¢npoxoqby². V [V. W YX. Z. + / ª i #
(339) L` + btnqb/xnqax«©«Onqt`"·Énpb os£^oq]b/]`v©y]"·¸«©b yb:«OnqlHu r
(340) ]`{qs[u`syt n#«©xyu`ytxyybjmv©yuxy«Losã¤sy{ax«©«¦l`{qb@npb:uHo s[t`{ob:r
(341) ]`u`vw´Ht`by²\^]bªjmv©yuxy«Lat`«¦oqv¦·Ér«©smr
(342) µ¡rs[unpoq{
(343) xv©u[o«wxuytxyybx«©«¦s¾nxnpv©a¢`«©b{qb:`{b:nqb uHoxoqv©syu sy£o]`bªnqlmur
(344) ]`{syu`v©¥:xoqv©syuRrsyu n}o{xyv¦uHon#¾btnqby² s¾b [b {@¬ oq]b{qb@npt«»o
(345) nr xyuV b/nqv©ac«¦lRx``«©v©b:Roqs xyuml½nqlmur
(346) ]`{syu`s[tn/xox =s¾inq b@rv¦ r xoqv©syu x[r r sya¢xuv¦b@ ml nplmur
(347) ]`{syuv¦¥@xoqv©syu r syunpoq{
Documents relatifs
À cet effet, un nombre considérable de recherches démontre cliniquement que les enfants de parents souffrant de problème de santé mentale sont plus à risque d’un retard dans leur
usual route to school and provide us with some details about their travel routine (e.g., schedule, mode of transportation, people accompanying them, etc.); 3) recent interventions
La question de l’extension des limites de Paris jusqu’à cette ligne avait été discutée mais ne fut tranchée que par un décret impérial du 9 janvier 1859 qui décidait de
C'est aussi le résidant pas chez leurs parents fréquentent deux fois parativement à la province, les étudiants de Nanterre ne lement ce moindre attachement à la ville
In this paper, we study the performance of an enhanced channel estimation technique combining estimation using an autocorrelation based method and the Expectation-
Selon Laeven et Valencia (2012) , le coût budgétaire de la crise bancaire s’est respectivement élevé à 44 et 41 points de PIB en Islande et en Irlande, ce qui place ces deux
Dans ce travail, nous comparerons les entreprises coopératives, détenues par leurs membres, dont le produit risqué est la ressource critique apportée et dont l’objectif est
