From 7167edeb7b5781174c40a79e8dc0ab66765bcb46 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Sat, 26 Aug 2017 01:39:03 +0200 Subject: [PATCH] Add subcircuit match perf section --- report/Makefile | 3 +++ report/img/mux_of_tri.png | Bin 0 -> 17653 bytes report/img/mux_of_tri/mux_of_tri.dot | 33 +++++++++++++++++++++++++++ report/report.tex | 12 ++++++++++ 4 files changed, 48 insertions(+) create mode 100644 report/img/mux_of_tri.png create mode 100644 report/img/mux_of_tri/mux_of_tri.dot diff --git a/report/Makefile b/report/Makefile index 935279d..1db03ae 100644 --- a/report/Makefile +++ b/report/Makefile @@ -5,3 +5,6 @@ all: upload: scp report.pdf www.tobast:~/tobast.fr/public_html/m1/internship.pdf + +upload-alt: + scp report.pdf www.tobast:~/tobast.fr/public_html/m1/internship.tmp.pdf diff --git a/report/img/mux_of_tri.png b/report/img/mux_of_tri.png new file mode 100644 index 0000000000000000000000000000000000000000..91b352bc67143480a96360a3e6df2f1870dc5b05 GIT binary patch literal 17653 zcmaL92Q=61A3yw6WM-97WJhHs4cRk<(lSC;p=3tL$|edaJ0sCRQW=%(QK(SaWfdwy z10kN*)%|;(^E~H&&U5Z_pSxRpKcCO_d0+4MYh9uY4`{Dt*vLSkP}b_|Xdb3esBG}B zKHVC8WoDsN5&v0Zqo=J&St0*qJ-?lRuh6^dn4Y6h7}t@1sVJ%G-1s7`hpvGZ?GW7t zE}m6~m!w!J6ak8^rrJ^O-iZ%h=11%oRi+OLoIQE(MYz1H5vy46@i6(CD6_}R1x7W@ zG>)13BQCu+D&~lGxNfDTy6uvun#EvZcJP+Rbj{Z;zX<;}r(N|)?0sqJ=D6zL0nfda z{MFgr?=Q|KBqV%GH&fN5ZsfKtJQd5^by24AI2WyqZHybMY$G@MgAB7xBln1aU5rel z+S1f9BO`SY_L|qPnO7DER=kgHu;s0nlvGsYovK<vw7&@SoeXfB$~(yzPy0 zkt@yVd(Xwi#kEbmSzP*aZlb$5#Gc+ZCS=~z1Ap$xJomZzx{jXSh-odiql#L3YU(96 z;eD!ldW?L0d~&XX6!&xI8md_6>D5-2|7PF170Rb{K|n%6e@P)ob-Hyti&NLoxcl(o zRjCsdI!~WIy_S%mp{c2|G`+f~r{~a_Guu9ojlKQ!GC}vifh#t)wo#FH@V%6_@U=Yk zZ|1yW=@}S={Qdo(`u*8)?C8-p->K)?lr3AfL`FuIp6yYm+$k?l=C;*W_sbQH6yLUu zj`HEDr=DNmeT!#X#Ka=bI6B@vH}?8kdb-52#lC%OsIqz<*;nm|T=_0@?AWn)caMnu z`1y0)%JRqOzPEC6G!|zk$-BZ{p-+$rr&kxUi=cM`1{Twy;G&WY(+k4#4cc9Y$kcr6){seB@$vJK} z9UZ#Ij~@?CPOd$7?%dh#2UKgQX;G;rg53Ua>w4zfLDC%8**1 zn3A?E#-8q9T|>=BZdW_gpLRQE<@B?kZURx4;$rDOpHiiU|@4=>!%_PZd<1^$D62x z%Ej*r3rj!WkoS1f!9mB;Z-!>q&Yh7{kG!T%eC;g}zkBCSTb5eLmTlWEMMfUTRQ@2M zkF{NymAQQWd%tdDW8G6Uh~(tuA-OEL)8U81}r*B9Df|C*SMU}+`Ru< zV&X7LaEp{wcyx4&-p|X$vz+zPH-^(wQvP&2|N8YSD-Tcfk=qB{UYb0@<5Y*xvXrwH zSom&@l$4YdT+h%TwvTc#IC#}ZpRrA6dme^~cfLMmY&(5|WZLuN9`MYin02`Oa#_ z@+oEAx$`2-R{yXX6J>OC6jvQ%C{cTpsnS$vR_6Nq>oN0Z=ht=>S!%1PQC+)!y}ig% z#l+Oqy0gF()vs9<@HgxJ{nuKy1-pWiOE!_3Ziwb$eQ605T%yo9c)cmOj{pZi0x68`bCCk{7E)ugrcFhfW&tY|R_tw<6 zAD(%!@$p@mo_4KoYSK7zWZmrSY&&1?pd!gALDRyk^g1xAB0cB-AHa0dn_fK?W zV;{I7Z;iT}pLq0U`}qkI->#R2SxP4b}^FH%G{Z?3@-fB*hHdAC!qxN)8x2GJusLko+`*l&W{x3dln4Uxu@ zknpcsWNaHFyV}UKdSsWFoE(XFBd}!)-KkTjxE0Pz;6tg!#Kg9Ui=PW3BkZc7v2nym zQ|!pIsY;1+1c4a zvC0c{;>PzwOG|fiMUcP$qBMy57+##JinwxxxzuIg3hqNgODin84tJP%>*2#4-oC!J zUH2{8+S)FbmF+RNuz0c<^zWll6WwJl{JWj|BcDE%_nYmpH+kZ|d5TIFui32j$+@xV z8d`pVUAs7N#rl=yIhFD8aaU_@+oCY(!_)jH?d@$*ePmrO{2C9!o*}bXBUz@=xBhA; zF6O^DYdzUpGTvP*jMo{426+xYjPX9S{CCl$+*J^bG{W;+r}f{3-+sKwGP9Y}*-?QH zxGMY?&zqQ;X>3_9Bq&Ig8MwSRV!Lh3T%?)$@#7oK&COlEbxL~s_*i2S#w8_<)e=-- zrfy=wohV_tN>*03|EVXVOXVL?t}vO-g88=k%sct{A-8XfrQf(Q^yyP5W}G{nY@>H< zd9I?*59+tK4>q9-xz0~pw`M4%Mb~24oVS)af2hUG&d$jRF)MRM2?gUX61FJsoC$vL zV0+BQT@1MCy6fV`a-sha%geq#p4YEmn^btq;8|%53=E_gYzwp=FKVpQq-J4Z@%#I` zYkFp;=Ii@>AESRayd$)$z%&H=!xsC@HHH@&+>MNK!gqFFa?yo4+1XDFuF zuLis+-#izZBxx3&8L&Vvb}%FK`E#W=09p8f<7Lj9NVQ{+F%79a6yU=HM8>ZWr7$RFK^7>#W@Xa?Fj8ZyMP>rG2)W9 zTd#__e3?x8A?z}9Zh{e0E?r_MfAYlod;b$spRvSzk{Lyr^Sf&@kCoX6@n<>(p0T^Wp^^<}7QJ zruXvFUam_r%)?2WMMSK|Uf-DinqOpPWmTQi$5c>QNOpQ_t3I#7d8XdpUX!ODTd`zA z!^6RM?rdRY`}czbPo6!qMbjdG8GBath>=lvPL8m;x_Vq%S~S5hb5jEmXc77b218%I zM7?`=RBFBLG14ipN_tMegBhlY^XsJ94I4I)EAIbyMc~)@!4MYjow;$v#WISDig8!33OR@MJ@?)7 z(R*a=()>s)W`MSj58i|uYs$m}m%!baKIYX{jUc$yky^8Am z)W^&8>qNmomP+{3($W|)9%A^EHs%`@4!0+D>TVUI1$>_W^M_z{IwmG+N^6R2gxL@- zztb<~RdX}xUv4wQS_LM>!~9AC=vVX0i&JhxwKVVEzn>Xzp>S|;$SEiY3kj|I^5si6 z>i@oF6|;hZ!msZicut%+;r(kIwMurUMg%jd{gKAYi`uaY;84ROBcM+8!qOozF)@SR zzh6=C`aXyfbai#TSX3na)braK+}p&5XG#C=M+93{2%}b5`$|0k^!9V3`ULi)f49AT ztASxn)&T5{ZOxiBbZgi8fByNRrA5QkG)4PFcfngApWef}I~8Tgl@ zy}kWGNl62?8(Ip5mX`Kk>8==ou3a1`vK078shr)um`}f~E^ZF!5F8wwRZtLvajkyv z;K6=|rrSoc%)?zC;K513$;Dm2n~da8a{U!P>&~A)Kb)Z3(a}NbY`$pc?wP9Y0Hb5a zXeb7if-VjY6v}rFXD#Urnm^i6QBkC`%6p7cl$4YT%*yUJG&Q%iu>wf}C~Mo;2odN7 zc$DQk_kGx?9FS&4bqDjX3L&zTL6EXL1qGU(o+WbW(&pt9A$2DwNf2Z@id^8bUqWoU zX6VGk*`ufn1qCzSVf`H&-vs*|GBV|vW3ROP{*J3R zZd`t3|7Q5|o{!Z4JOj5lt_-|OxwTUKBGk6&N|ad_#SpXf^rsi`2F`r|nQJ%fxb@O$ zAYid@ey{SDR~oHg^hC8 zK~h3WDi09yVOg12kg6(bbC^@NG4+|hfn9L<{rgt{!gWR1XC6FXvwHRFRjR9kE`rkU z^PQc@#v3tW83z4KxPSk9=9S{BSFgVN?S1?9?F8U2l)!b0A$lqxLmI>gpPMo-XW4G& z<_=+)MP9me^^)v0loK#14X_NbWNHM>#+A8+-`@x-l=u1`1FoVW!mj&kek|Hv4SSZ4 z!pgxx6QoK(F|X(3R2N`X6<`&Rl|8Z~cUtLNJ7z~kvyQEJKlrt^g99B3DpFI(O`FB` z)%lq2t}ZU63%{y^X&46w2QN~sUV~aHIA-Z^`t;U|18K88DlDHdgLm%SIr!sqi}%RRJ9e-?vU?Q_G|P$o*WKN1 z_lE~1*<-X-TpV3;$BrG-J@%P`Tes4aRxK+_pk2V?vs9VIY{-V%vEtE||MY1pB`zXDJE1R0!t}@OrpUfpPgO`WFB=>8`T3nV zcI-NohdaQ1C!L%O(Dj4?9OTjVNLK-I<`+CwS*x<mNRRsB`F0JnyDWQ1}kt`ZMH2*C1oFdXm$sYuCv))uo#ffG`fqJvYUK8;(Z zvOmO>>YT>Z27sVq&u>N^Qy(|2re)RyHR!x=5e+sBELhvnpmpZ>W|~!0Mg=B8z)1o? zVXN0LRhKw+d9&_~G|Rxt0pjp^=`mY$JuwkFY}A{JKS8EIZHSx%=IQP2odp^0@Zth3 z6E}K>$*-va{v7StMz97SLwrW!jT@VwKDmxGuI1Z1+xzv~H)ta?0HfU8+*UvZhDJvF zTwS4%>=*=iM;m<6I_u!*I5IyoVuGb3vks$x@8kxtYq?yI_2{5-YHDlSwkFFcUYL;H zym>Rx5~!%CUZB4L)$Mlq81v`nn1->jabB4LrgT6+00?;Xa6|N=BS%6`wIt4DontMF z0Vy8oF1DS<)@Zkte);~923fmmv~m_cMO7dPALFAuWQftx7Kd6sNarQ1RTshXlcu~cJ0^zd z?1!fum@yae3ILj?XPWr;oZjnLA*Jgp#7Z|fHO1oS=m?&>0g9TUsa)jd7NST_4K(55 zy{Y?xu3lw#Ye{+XWG^(5FiajHDX9bf?s>OwcYXhM3j#h^GF_NDxVzc5L^)e0Iie)W z_|3ace0-j!{owM2;?J$XEnp^GWlpu!hK4 z%8L`S<`v%Yj6$oaMRI75v6HDa*GePbcGhlx(mxkl}2A8VnLo+CR*G z_>diH5Xeg?q|b_qitXOhRwzf|y?ZwRx%1Ypw1WyCI&tFTJ-zhe-2o1(=KtzFld^bP z4a}i^c+HY&OAjQ~_@pFSV21AA-qN&0S>10$F`eiRf+ishv6-<}O=1HmF; zzv1;Uh;TS1C7+$SI&N+*?KEOo9HM7)rK+t3Zn- z06H!qp^heAeMjG}8SQmq2heTS;7aAszgRAmS*$BAE(V35V_;B+Y7X$W2K}J*hC)(R zVG{fG>(>b--gkLp7&?}#+N~D8C#4TJE1aKDg{4!uvh2&($r+cD5(O2Z778P2YbQ^N z7~MCI0^nRLBO~ML>G_#8QE1z?ZPT-};W{G2$DF-mO&-FeV8Nsm5f!cN?oQS&OPPxl z7Z-Q?@ktk`EM3_jvwWlL`SXoHWLA!jEi~8MHA4k8!c{FT`I}<-$AYK%icdoQB7|(J z;wQ5u>z$N}Zud?Q3JH@36bdmm`uok@S~esEJ(miiU|7{-(|BL!+4?pw*aTc42~~IsPqsVNk7Wj4DH{mjfpXo{ zmaXwbpkw-USnr_yJj?>Zp&*!7E&X8hI#iJt7so1LR>~x6*IHd0#%OJC-(>%!W+xdjmB}_16cki^SCkFXz*{?6|Le`)Fl3REd$$ObJ;A-&-fX!*{)~<%n)ffGn0Sr!#P&H446x(9V;iN%kje6!?5cV zf5cD`8E$5JNTbq{dx(q;Br~DTK_}x#z=hu)s4Ts&2k`Ju0}Sf#EfiQLqk=J z9j=g&@>6@|+glcm0))(4h2}nZ=SensJSMueA!I8Z8oM@3> zOYeIzO%P08Wxr%BTK}c6xP*{Lk7R*ShsMSt(01kIzHmXFE2_j)J)0Gz zdTgY=@Ybsnzi#g(#>n#WvRuHD9NN`(*FjaHvBQR`MZskk6!hnnmgVKGft3;gUj|gh zd(~rEE-CYB@Rymvn$;#ICa!A7U-N-98=9F#1AGcgNH9SY(>ZuB0@G&=3m+41MB`ZWshv$%`B?~wt(H3BF-9*`mndy{ z1%Rx-(m##t3Ny5~xWvS8*m&e8fq%T0=4HTx(cUp$s?G&ET@FdE(5l7+Ic#g$*QwvxHc6&h0R zbOBN=gf+u|gZxbjaA43tuLZ zJU$`$ZTa!yT@b>9gSZFEb<>k|7Sa(#{ z)KEc*`K<2B`l$34+JKzj{Px$GDlEW(pz(0Sh6Zawyr-Ve4Gs;}Xk8UT3v7V?Ilr+1 zKAfcP!GmOzK>>Jx$?h@UMg_><0Af{a|AuddUPS-GY$R~HlzDk|g9DYi6jcJG3U`8E zjPIKh9SpkV`t|EkkHVD){r#1&LH-;)y)`E{mj;N)yxf(FY+Q^mnS^6N;~?)E&>1Kf zBU3|NbC4>)!=9_T)e0fR4Th%_H7q~Rv^_52kWnl%zUym(&V^yITrpdWPqc(0QnKMD zOfi7smC3&tt_$e4SYp0CE*}YUkTo3}9$v-6lP22r-kS)4mMbO<&^l}S`_owtk|lyr zG6*GUr=wPR( zr#Gj=Pj)JQfBNiM^jtZNk0)CW7X+>>mwQd|1zI<$wf1f#@a*e5dWao?y_T)F#0b8K zPfcxZ7!+`R2K#wCOkFza;PXFoaDPinen@DP=1+3cQKK`(-<7U{g0dP9rK~8ZRv|7# z^XvC-;v*ka`Mdt($B&>$wV3H2r8xU5(BSdNAM?uMBL}~Iiv}FCMxO_yg5{UfS`mPz z@oS=Io!9sNnu(rAfA|Zir?*N<-6S0X83EeFDY86j%M&VZhexJMXkbAMTqGmJ8SUNB6Ii1k_=!lYxp~8YBhkL z+XI&7OF0lMAh`ls8Cti+Jam12e*Vy~FhMyvZcwo%aN+Xpg$3y3p!9h1nyZ`jSl6vv zEi3zI_me_SPEJzyOcX%oaBR4n7?;q`=J67Gmv#pNkZjqyHU4SWb)=~f9T-Lrp`)h{ zij8H#Q}s>Axw4*PeZ&PNZ1o=J{%ZITu+f>ypFPV#bsIQ;!$d8%ZDPLbYk?)?R`lME zDkq@`yvWCYeC%PGL-xL2w6{jBbt6PRThJUi?`Z)T3K94q0R@F;ubjpJ$*_e*cNN{f zf1ep{WwN~IHt;aEb?e?bOPzJWhkX5d1|wzqwm7rRtPr3)Mh*{VGvX2T;K^o_C5nFY ztN>6U85w+dx6?1hGPBVCwr}4K^fRtESLN}A9rKGGP8spC#El9Ze#F*;j6(3B)QkIG zOG+y1omC20;)aes{rk5T7zwC4-dOJ|b4SHl$$T}5!p!>=N_}rA+CVA@GaBNL>1haC zPdNkEVlhOdr4Ldd5nM*AzXR?HwHsNrXatlR=9DmBJjdIDgoK2~alh+%dG#^4cDfE$ zi_Y~S0YH_7A2KR*(bS~=GCpny7_vo1ruf5aS={debn=rwN}iRM>ok~Ops{2g-Yp6k zid!2mEc=jMC4FlEtelA5Kt)9h-OJ}l(fRrGIMzzhLZo6chC`GchU33LxlhO^^5b5 z84w$>^Uz*FY$Gh5ohOnE#0}_-t0@>uSk0_ryMD^p zi0*~*q-t)?izf?m8)>X*X~}=tp~-&3u*mIDTBB`DU`0SUu*K11$8v}Dni#pHh|vlo zvguXYp5n7TJ2Fh>|9-leD7Q~vlZ@F1u0!hjsXOU0?FisiUKkf9WeK=SA*issuWye} z!Idko^~!V=@Y43{=n`i-))L*H) zzhB-HkpB4L!(cG;E4+I5{eAlSG4nY}Y}uuy zoLtf;s43|xfqa_Om<(qJDmURj#OMcUAYhV1+{g;-%;3Nk;6KhOL5y`4s5R_&+d=fK zPoIv8VBsGI7#VIbFg=3l1{9`-#Lct6??mp#+7#TtY|R2zz6$-@AVcvjg8b9=Pph{&cdKx;eKO$gwo$o*Gg%$$~AY9(_t0pd$=xqQx z;eB%{3=?J@<*D!7ea)2vsL>5PJPC=3MhV}EOT|iIpr>aW82$3)&ta~51TOR`$Q~N_ zrNQcQ%Dt-P=#g%(DOAaZvE^QNmFZ!mCtjf{=OlufO{ z`a0eXN*#jOdF##{9oxp3Y%s12x|O)Qcencges4T!W9IU)LYJbWs~d$l&KJn5M=dNq zOsKV5c9z(}Ab=364jBdc02%N&1lNjQIlF+l*u74Vf}&&t7aKS{eV%&#>;jCE&C925 zJidGXek10~_EXL4k^QrId37^9#wEw!V_omwElnnkV6YJ>80FMnY^#mEPYuz@@mwD_ z1PcO7;aS+fPLKb>aXnWsvTsD_CL9p~A$0o@@JDWd4YZef$(w;peV{ue-$p1G9GbMW zzD&#ei7F1o`<#A1Ww_imz`g6tdc3Zmsw>(6`+29|=9T1YtPA{|la-}Pc~M<`5iy1> zd-tY9MuKoOz>QSTj#K{o>#Z?gDl2P=>TSh@tU*OB!IxgTRxq~t<+%*5t9Sf z`h(MNMIkf%q~IcUuhbE@ARtVtbnaM^>t9)rW86MaRFk-I#drKC-)L`7UFNH9Jq$}C zI3m2mv`KzFG7CG()pN{h6 z>C^qgeKt|VafiVH^pf}Mmj~YqyU~dWeJBWi4#O_Y2GDb!dpOj#v_$uHbyxj_!W@r& zVQOaf)}`vNXi3o{#9i@mI`F9A(Z7H9ZhBC+`p%&ohlWcWlk$_vz@O@# z9;8V&AWd-nX;)Vw>Hc`YN#|!_>Vgpev-9%8vD0imR`}qZy~{j5ker+>0Ah(*3OGLB zq9N}Wll(lf@p=vbB^|DC_xRog@ICGwC+YBEtXy18g8i%13i9*&?w6W^`QX#F5H?|8 zWGse4j-bXu$#DTZ(aLPOJgtnc6GF=*|3xBL_FVzNG@)8*X09f5t9os~twSa5ZBzwr5Y>8Qx$spSa@NeH=0XvOzkp0T%0zk5z_>t1vEC7o$aXI_w}bjO;SmoR8eRlC zu>$TkpEkN0A5Ud#Yx|Ee8eJCGUR+qPX-SmCf-M|O(kp;A0f`enq7{-{kPv?2A`_tH zBxDP!EPI*=WpJJb5lnpW@L}!yeB+gwbBMYV-HNy-m48Ngc;!8Gh6l_aburpFvwae< z+hK#rUyfdi=}T^IIp=zgw8hga~o)`37tNDno_MMLFL!Z-zh{u43fu$XA19&QT6ovtv4sLdv_z| zDNzrllGiW%?y?j_*bjc@zZY~2+1*;`jRNZ{FZ3$;{0P-BxwKhKtgf|{31h)L#;!3! z)TE{IC*#V(^GxHwxD&*20u(K0<*kn??(7%--t$O|D>x)srgLK?9VTprcB@(|x1%Hi zWNOH2fu6|N7L-6STuqUXkRaklmOotn*!PVWgAGTM!spj_kz+d`sHLGJw|FiK80BtG++x>;J97?MnG z<2VT`p=6Q#Cc+B7o1-4UV?zR`I6I3#5f+m7K^$$-2@u1};Gs44*IO~p^K?u+9Ig+Pd{lqu7REg%dpPL@!x&oG(+%<7dnWIo%`?ZO7`e$ z0(Af1-whQRZW*JKlM|^X+k#wlKtXs(EPDU$Ru7B`-IGk}|Ned#q7OE}8slx*tN**T z4iY5AITHw4|646V1iqmLaw}cf`M+-gU2+?&royoUI(K(oT5@NcUK8CiivA1hAwqoq zZ)u36u>Ew02txbrGRNcN^r}r3aZn}(-!TNK-JI#8FcxPGcrwhawU|)5xkBc!;*yil z4>0J^?P&vbA-(9QVsj4Se*rj$Y#zJeK#)41Pq`QBOE>M>we|XGyVt@qC;1%b{_+~F z(;*oufma|a@gcT0`i&VI`Sfp+PhI-+lUOMT0fvDtj6nP}Pu^V%-xh;_sORMQbj3-E zt16J6B(M~Hc0d}ia&~6^FHgq>;dn&oLkYs7pYmKmmi)HS9aa0@Kp45Hm+fm0+1Swfl^Ocr5>L5S{9A&EE%w2I-R z4e5ewe=`RsCpo5L^6b1MROfO5-gu&b+x0gM+&zz&$% zIW_2MX=$47?nuUk!9M|1L?uy!u8_zP7N4j&h!sReM!(uA7sP)lY(xa$_N2Lc) z(?BUWQ>6+AkeIc^e#6wWv$KP}S&x_B73=9l|m}@kQoK|1o-Gys4 zJbL8lQEDW7$;le+`UP+J(E#g&kG>TmVf4sPHuQgE>>rP@i+~d`_&g5M;}3Teh$cjDG&Cg~x{?C7i)< zn6F-XzrMZ*V)z|hU1AiH>Vo8O3kd1FQUJQ2Fm5RoPkPX91EWpK-kpa`O`~Al#qjQB z2LPg_{Qv1j4hgn)(1$d_nNI(hoB>;gg~S-IQ_p|-BrFvFWjYB1X{Q{RI2L=@Qu`tAfdxeD@ zQ)*OMd(VyT^mz>mxk?qNZE)`7hF;-->&S~S(9sF_`ueidQIo@d_wV0dziHEl(I!b1 zl}sQ#U2vxy*hCpGAfxXk7A*!-LLV|>#dfbYQmUbwKzb%e7YKwyK@aC&+*PXTi46VA zk&?%cDHn@4JJ*0@NB#@pJ#hXYPZWJSic|$x<=X$TNIw zUvo>#sQ?9jfLom7BnPO_Z-}*2GbZ31#I<;dF|p#cmi|+ZFRKRU7;UR?Ub6hDkln zz6i;o`L|1Kx(B9qDl{&lVIo#Djx$k??M_8SMYoZgb_Z7nFU4@bshc2r z2pJk2>(kSUoqk|lhf@}pF?|jiDQD++;?P74B{FbfZt5UV$XR!Eq&^1(Ck>nzk(qCJ z0}Xf|iDcqwz5;4)QuKcC>I$MhzAH0P+a%j7OHZ|Meg$t&=({yp&;%D2@=P`^8IL`6 z+R?G>xVSlBXraY3!U-L40^?e8@{8gIwbqki2<$_z-G~FC{)>}k*V59&In*lr{1SQvnSimh9>uA{S46akNWMMYy# zANWGbL3;H>ayA}Z;h>`?`Y)vCofm#N$V1`2e(jphPI9alQf51JvlnmQCPYSJ?bG}Y zpI*W_yDTU@35A7D31j4Z9#z&G2G{Z!HMYzlPxjqu$`{0&DWs3_2j8&IFizdbX9j5BHeY^LlJJI+3t96wGl9s+n3>4y|V{XQrxCk0+B z*tGjj)#$@Xr@sZ-cyF*ibMV3lqyWxp&o`DP2nGg#;-T*R5acdg z6aL<7&OU}8)-l`u>j|6zCsu3myl9!C{X5fN%=WoPEZ zMR2Bj_&*pW=f8j~$WCqg`k0z)VLb;*_siB})&>6!In%IEb=93}+JhS+2N)*?s`&5Ty-R{?aIcjre!f-!KKs0ie3J;l z-~eX0Qaw)5uL9;lcy%@TJq2ay|Gps?j|+7rLPw+)W^X7q9eG?Bh&bdD1h~N!1;bsG z9>GX_MyQSm{8?r^Z!sWxYuX+bq@F+h?@D*>(BTO=%F=<^>Oc|n5+&3~9!wRkgpBUI zZA%KtZKtOXe*WAbY5(twXU^_jL^AXcV#W|=Z1LL#l9m1CE%k4ZYi`BSdy@YnjvzT9 zL%=lPN-@lp6wBNY+`VYYemy-m)D%*HuuREICD~b!k^ikTG_?_=$^f5XV~_|fbgL(y zarjVH^z>y(ds4_q>5|9s`Dq8iB-2>hj_vEsj8A=Pu2+K61(@mP_FoY zCw%EKjKD1}V&NbvBK^MxhlKqgclW!KUvrRfjmx-~vEgNzI zSRJec9?UAl)5ys%^8S>U=WWR@ha`e008bOScJ10Adhl?fEYvje>Tp&i`1*B@|J_5; znZ4)Wet}cU1T1;eg(+SpCzRRSyWP)&D`VJMbw98soOZM|B?RY1UH?15JdEGifN%)n zIK-+4p(KzWG<)l{Zpaci2#b*K|)(?c@rZzMws*ieFGd O(bYPjd0*Ws`2PZ3K*E#& literal 0 HcmV?d00001 diff --git a/report/img/mux_of_tri/mux_of_tri.dot b/report/img/mux_of_tri/mux_of_tri.dot new file mode 100644 index 0000000..0b1f954 --- /dev/null +++ b/report/img/mux_of_tri/mux_of_tri.dot @@ -0,0 +1,33 @@ +digraph mux { + rankdir = LR; + + if0 [shape=triangle, orientation=270]; + if1 [shape=triangle, orientation=270]; + prenot [shape=point, width=0]; + not [shape=triangle, orientation=180]; + + in0 [shape=point]; + sel [shape=point]; + in1 [shape=point]; + + preout [shape=point, width=0]; + out [shape=point, label=out]; + + edge [weight=1]; + + sel -> prenot [label=select, arrowhead=none]; + prenot -> if1 [arrowhead=normal, tailport=s, headport=n]; + prenot -> not [headport=n]; + in0 -> if0 [label=in0, headport=w]; + in1 -> if1 [label=in1, headport=w]; + + if0 -> preout [tailport=e, arrowhead=none]; + if1 -> preout [tailport=e, arrowhead=none]; + + preout -> out [label=out]; + + not -> if0 [weight=42, headport=n, tailport=s, arrowtail=invodot]; + + {rank=same; sel ; in0 ; in1; } + {rank=same; if0 ; if1; prenot; not;} +} diff --git a/report/report.tex b/report/report.tex index 2c6a3db..ff7e2a4 100644 --- a/report/report.tex +++ b/report/report.tex @@ -761,7 +761,19 @@ the memoized results (essentially the signatures) are kept for the second one, considerably speeding it up: the same program proving only one way takes about \textbf{475\,ms}. \todo{explain why} +\paragraph{Match.} The subcircuit match feature was tested by trying to find +every occurrence of a pattern that can be easily found using tools like +\lstbash{grep}. For this purpose, the ad-hoc implementation of a MUX gate was +used: two tristate gates and a NOT gate, as in Figure~\ref{fig:mux_of_tri}. +\begin{figure}[h] + \centering + \includegraphics[height=6cm]{img/mux_of_tri.png} + \caption{MUX gate made out of tristate and not gates}\label{fig:mux_of_tri} +\end{figure} + +This group appears 73 times in the processor. To match them all (none are +overlapping), it takes \textbf{\qtodo{todo}\,ms}. \subsection{Corner cases}\label{ssec:corner_cases}