Logically Determined Design: Clockless System Design with NULL Convention Logic by Karl M. FantLogically Determined Design: Clockless System Design with NULL Convention Logic by Karl M. Fant

Logically Determined Design: Clockless System Design with NULL Convention Logic

byKarl M. Fant

Hardcover | January 25, 2005

Pricing and Purchase Info

$182.84 online 
$192.00 list price
Earn 914 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This seminal book presents a new logically determined design methodology for designing clockless circuit systems. The book presents the foundations, architectures and methodologies to implement such systems. Based on logical relationships, it concentrates on digital circuit system complexity and productivity to allow for more reliable, faster and cheaper products.
* Transcends shortcomings of Boolean logic.
* Presents theoritical foundations, architecture and analysis of clockless (asynchronous) circuit design.
* Contains examples and exercises making it ideal for those studying the area.
KARL M. FANT is President of Theseus Research, Inc. After serving as a Research Fellow at Honeywell, he co-founded Theseus Research and then Theseus Logic, which is now commercializing NULL Convention LogicTM. He holds twenty-nine patents and has published numerous papers.
Loading
Title:Logically Determined Design: Clockless System Design with NULL Convention LogicFormat:HardcoverDimensions:250 pages, 9.45 × 6.36 × 1.01 inPublished:January 25, 2005Publisher:WileyLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0471684783

ISBN - 13:9780471684787

Reviews

Read from the Book

%PDF-1.3 % 77 0 obj > endobj xref 77 19 0000000016 00000 n 0000001066 00000 n 0000000676 00000 n 0000001166 00000 n 0000001295 00000 n 0000001408 00000 n 0000001575 00000 n 0000002253 00000 n 0000002974 00000 n 0000003331 00000 n 0000003813 00000 n 0000003865 00000 n 0000006589 00000 n 0000006996 00000 n 0000009896 00000 n 0000015392 00000 n 0000016304 00000 n 0000016523 00000 n 0000019147 00000 n trailer ]>> startxref 0 %%EOF 79 0 obj >stream xb```"  , \Sn(8Hcyx:^``?Y`-nIr-k^kS H(`y\M^h910a.C,@l endstream endobj 78 0 obj > endobj 80 0 obj > endobj 81 0 obj >/ProcSet[/PDF/Text]/ExtGState >>> endobj 82 0 obj > endobj 83 0 obj > endobj 84 0 obj > endobj 85 0 obj > endobj 86 0 obj > endobj 87 0 obj > endobj 88 0 obj >stream H|W[o~? Pù[.nV}ef*Z}?DJ 3Yr?{NY?>g)l), InLK ?#?ui x{7{z,f>''dy4w:''EMtkRXLl@L/G~)S% uLiiM!,L h6C?o}/Z$[ß''N z,?TfbId*SKZ-?sQTA\tDG=QV(5b~?6-n?L@mdn*SS.s?xQ LXnv3Jr"aZ:B P??{I:SbQ?p!]?+ >JqD`~VMd )^M?s"yf U}AZ*Z =6 73+AM}S{"`%FY2?fxvef_@ ?/ X#a cd~hlzí6_RG`kcq)ZZkwK?DTj?H*+ur6=vYz]zqv# hE5l~:&e3n4Rowm)K3j!kdb_`uhm- #S/*y ?Nyn xCN,.?95RNL&nk[''im&NZ#pl93} L7F?+q?]?@"h|sFc5fCI\L[}?Q4?"SR"C?V{dqn N7?e^}|-_|Q./??WW/8RChOq>=?3/?|?&~>p|U*Lj(L8p_IPN0f^j j?^-A&1?A/+: (dry Rb mj9 ?G;R `N???j!/LhbGc?v4S9?j Y@3z`##sj=Slev6I.M}2 7TEtdC9 E_Z?K%?f^(LS5eoVO7 :yZakQhK% oV]qQ=ukdM[6~W]BE(Dl,O7L!y//ET?zIv36cO?SxmR[Z -|AKyU3%JVu+0?zO+,G0#C?\Bae4 > endobj 90 0 obj >stream HDT{X` *@+3(c *`@$FS=C_{=\+NeYYY/2> iCdiKGY??|hsC_\> g 8{;n?@ 4\(87Vp5`auuQ}63m?yQ%U?; eYZUoWh/>M?n1m?]Jf;1h5O?ñn KL]/| &??|HM&;? `_?r iDTXOQ(7v%(DR?sF0~WT]7G4*fffQUh?2''GMI''''F./B!X_4` FOI|aIZ&f)pX@Zx''!O)g4ud3]j-~#?pvf7`UcaYIF9C"gF.sM07 !''SEW?yI''5_\9| N``?:sT`WKG??fa|BRl=W.kYkru|ilA?\:+A VthQ+ ??sxkÉUbSWDK( sj/|B4HC|r5]$.nt:C+! -zEr!h%5t 6brvfTS \(Q8W:D~>Rl?Gz4R!h$&Hd`Sr&?Xh `?V?Tua"F!vJt[aIE7Q %PJ?}|#c0o0`l??fM''?8>2bw_Fc?hLKBR?>i(vXf_?tYi].}?QMu&6BR;{@JT4F#?|#t,018_pg/x-%b@O "?ty ?Zk@i??yMRUQ)y\s=?!hU;+{1G:[q $$)G0?k^"6iWB eU''?;![%N6 z??oW%t3$ZDsPpAG+OdAYo?Z?¢SKEy]Ql{z 0dP?G?OQ& Yim o0!30*!UBwj4\#lNIJny*A_wl?s?h0gZm?&H}NYb*V1n mU* BDL ["&_/(2E >stream HtTiTWeiD-*?LbDB# ( .Q#4(4`MbE@T4F3]pG8i2?&dr?+!,DlVws :#z_T5w{8_"!!hK?p!x1?M^M PI 0zfsA#.m[_"="]d]y?C]}? 21$1x= C)?H#%T?/ 2?;qE3?=o-`QX_b.>;p~>K5$|g7.,F?7nENkN?H Yx+.)kZ6q2q'' EiO  _}K"*1O 3$VN_or+@~p`^|2hr$ J=w`koIXi~3\I''G*qI0QOO?!Al.|wjV >1e{O?w]?;s\# ''645?YO _O w);YWZ}@h*;6~]?pY?5_L''%8>jjOKTF Y+[nQBAf} .9N},u(xX?e KG kb (=%?hUI !hT\|I+0]\?cW )zq x5 `lU?R0b?)=^L*I$DZXC, aR-E>mlO+uEEzP_d`VMi>+Arilt}l#x#,(Dc[A7)+*?jk*t?ufo#?Ys=y?O3IR2^ws>XQWuAG?Im`? ?Z }?tQw"d C t!/mNGHK?-?IU_0hK!XQ ,+nynd>zoN?o|a:\uU#r:[Yi?6\:*FDALK?P''h].ZOQ%2`Wn1CKj.?(/>lQw½ 7%,fq/ .4La,/-}@moonRZZD ,:QdA 9uqK{3~rOBJ|GBH!3r}O)4~v???^B??zAKZÃ]9?-b 0;+5J>wo?t5+5aQI+ZB#?m >?bZ2-(B#-tsC|?N?? jt)-V''L?[{0Y~Cm[7w?B@lPROxoK 76nLm[c9R\DHj1u[6} àU)A fZNSDq0 b%u :e?w3?7 ?FccJã`An)f''-oXB/aC~:sslxE??K!>>gG)xo?yzBO+{dpJ-Q4+ >c3bE?k?SnA3ArT_6?Gi `#Z 0_tw0n92Ax0Y8tS3dw(4f_:Q{AYm8H&!T~>?MMwY?jx0D+UZBOm/eoDnfO O. mPt)UMX{L}`1wo$O-i} Zh(*48}H[ (?PZX77.fKX?HD? Y{ZDy?`B?k{+P@KLm_mn2?le³?a$iG\Y^-1hij''sF cg?WW7-''.oIw+dzUx7I?,X/S.sI:+-- +%WF(?k.1^rqOB?o:y /T@ endstream endobj 92 0 obj >stream H,S?4''! c>C1S;EQZTj lNdp 9Jf{Fkwfg($`* F333ZJ-fR+6;&O |x\+ endstream endobj 93 0 obj > endobj 94 0 obj >stream H\TyTSWNTB???Z[E?L"KY !dGB"}&E?t,cGk3g:v92?3m]6fW9p8d}I? Y UtC/?txabUN1RuNi#?@?IF+)K??{}x?p>B Xgj ]57SWg\ ]0 $%ys9#&J?yi?ci]PSE>|?[INogTsE:xT:`6)DEJ!!7%Ic%6 |3c H?6n9?2cY)?AXm0?w_NK~z1+{j1e4,;drv pSm M79[A%%L Cv''FE%jU4:?$z[Nh,JQK?OfEAHt=UR1# .W;sC Vci)JV[K''?|3_/&Q"b( Iv?w?RuEX#7#w_>e&1Jjx,=?[?"VjcD2QZq.WC H?Emzd^{LBunVKfn|K@c|HUa0X''F''k bp.~lf?Z59BIjjagCol,2PKdKF(@^ =S`9]''ßoHe}E)$^y]3U }^$;zSn EBg5UV-@?@|Y''³ ÿ82joqLr )@C7> lK ? r@?5%\7Ge0?(8Q^?O` s\",J%%:g&/F3£]N ? mF] 7Cj_  $kr@! aX.UCw37''LyR>3WzFL2e y 6 x\J%"? {,};OK:kt6+R^#(R ;b,$:n84í4,?by3`S!M|;?QR}zmw^!};l> +Ij{[S:{? @;??oh[^jzzoC{xN|n?~krh\wO''?{1Q6C{~)Fsjw{}|UdY; RPlkmZ}B''@T5H3}k@?|}/W{fnyzjgW>*3kSyN{R$E`0UCeqaZrnci~{y~mwzzva e wfqv}]bV > endobj 1 0 obj > endobj 2 0 obj >/ProcSet[/PDF/Text]/ExtGState >/Properties >>> endobj 3 0 obj >stream H|W?W8r-YI-[ 6K/8_fHPhr3\?zE?pqlMZ?U_otaJ$^2o?^i@?kMP_WMAD*NuR K\= +K ONUl''y$-P? PBfTYiTqG1~,vROG1`?y1Z[''PChq)d:YF ]*=(Tq?`#6(.qmTum+&?uRKqim({0M8 ,3 1 cKf/ad*h?P??%e2f +`GEb G "Q$ 0 `kRD"neMZl- ?F^|D[i?~;];@|??{;6n4^PE=e;8?7 &? j?fx?RICw~xz?n:-L ? wjD`AZ! IG$a`6??A xt:,?e qQ(mu;L"=?-Q `9eN?jDi1 M*KrU.NT(~Z?3%?OK''@z.9?$5]b%^~ ?wH*>\jwn?x~L e%]Qx?V&^0O%8%~4dw-bZM/?T),7???j ah>Ss]J912Q''?*ft]J;q N)B #?,!M- J PURWkLbP6aU''ax?-o/G6xnTFu@0?FB:q *G@&pK]URZ.P/qor~?1Jaj,*Sh)qQ?l3?@Qv-P;p`j-?s^Yh gW/&IPM;dLI?Y> H\Nd[D69y2fS;czu(L(TC-ZuWD q?;)CcB; ys^?For?@z#Ix_, Npu[Z0hc¾krh9*Q6x|u&Ct : 9n9$`B}k{G*bK%l [N6 /$4pCN%rIh M}?7db2 ns r.U ?A jKh v|fub%#YYT?&E"i ? [Q%`B??/KrX6[ 9d:xg,cN[}?M64?F6arIjk''X\ fhN8?^f}8`Sk8PuYCc6 e?DsV/weS p"Ghv |j{0l`$L&uJ0):"e hgM@''z/wz?7 AnXLz`=j-=.P! E_%Y4#?h~?a` F9''yxl Hy?8 zvOX?zu a+xa j\ QH8A JZ;bJ3 ]\?W=''-kGhCnl|\l2Bi}| G+LxF;kM,rH-Z\:xRkAd}Vz qes\??^1K+9?K.I.'' ib`.mv\h#xQT?D.p aMe$9Inzc >stream HV?H}?_aDGLUSHD@ra>i~aRsNL fk??%?i~6o|mx"xO)7]n;Atea }m^(4Q/?~A`8!e6àL0/:pr#$kn9/CW u]??$whX| ''x*?4ek?DH?i''>7?*?oS?Q 5s ^?|Qh g? w}RWBQ4c>?.? 2 {XI''OzI.Nzgð*>=@? ?,K`X,{R#/lM?dI_?yq DN $WKQf\7e??Q3e}hy)JJ''8 ]hraH!+APi 47^/qkvlP0@=> K/E.?PCw F6B=zT?+'';B? }Fm,ea7`F[&5! }6y ì''$X:gsFX8/.vJs15@V*obP?6@s63L1?KTalZxO#uSL r0HN8AcH, @?T-wfN''M 1UY$s{vz)pE}SnX>{dj5 XD2v%B)8Rm''D?b}9hQ>ZvMOH1te407mZ`Xe/VaUXMi![,.Yq)a] Yhl?: *-0Cpm!Iwh c;s+X-qKu?.7t{6ucbyd7W]nl !TzK3&rBy?nhz3;[j 9k7+-:99Fg scwPCDG?J Y?Q??eqs?G?\: ?W:?h 8LE(;_pL_ j?*CmqeT:h\t?i^%[QIez?,C:zeq6Xt??ld4\m} K?"?tB|:\m8o*M_C??+{R N Oquz!9 XHg$:9/iUJ$?Px*?exKy+%Q;Z*4E]4?+$BzOzGRerXK?&w= Ey?KTK>h~?>{0)NsZkFI? ~cY904 Mk0]z796}LYh&Ll#dEH.9D8}HZo>N*.Lp:`!2rF[d??,H^CIJ~ V/F?&?$5z$ S-Y/;28Fi-Iu;[*GOhBxo 5Ym*''?fOwLE^`&%% .7z>{7q5P6hQh?\opQ|#:U1 $4#JR2_uub-NF_y4sb?- GD |qg]=?/?i >C&!U+TU=aL4?&a''>{H_?M??"0=TCi_\}gL?m3 ?PA( { pN6?Vo9-?nOzj*hGI *C +G (i]DPV??0I?QCh` t.??-K Rp} `Y?n\[>$K53v- FZFNrO2NrSex[#+I[P^7z?tCMcT,H.kj&30Q(N2In?UbMg4?~T+l4~/q8=202)K. uZ5 U@w_X7!;M}C3}:II?lsVuS7(mKqfX\.N_j Ch''? -''kXmar G@l}eWy!h j=`?TQF[R#!VX''DJ,N-/]?"rJ Og|81(*Ey=Ua`@?s PxD Ss/;F L*w{Zw''?WM M V)X)gS|Zf$FR*o9?y''1eM)Us(|0Jw>:,;RZ{ pe4r{!odKGE73Az7w:M{m(kade8?/XP[%9me}JeqGnmX C?9(b ]-LrQ 1L i17C (o?Q0p+p"c"C~fE^51w|UU-N>Y S0sgQe;p{w.lJ%5+1? T&U?&h?WvdH,]L>q49tdqA$-?dI?*SDd)7$eD6 $6bP=JX{K j ml7nI -p-?&myWdI~)@Isw2^Nj#Yi_dI$]`"~ui~DSLy/?|qCgVi~adz;r0 _kGFD \r^o)^*(?| 4c b2?ZPn.I8N Q oow3F?1k8-8`?-9f .N2VaO0@IxO?)#sD: eSOd?m:(0jNJR "$!Ha?:EOQbooufKEt,8I8W\xU?c tr7 [N=`O8%{%m s}t7m- +v(w?Lh?Q?z{$C5v%5?wB+iL*>Q*~f?vh01V;"f @`vki2B}\FI\m(=?>`/g[iU8w,  JOQ}p^2Zh/le/8bPk8^gG* SRiFlnn ?NäY^\cXFaS1f5^TE$ 4&?$OB\3 JQy,Gr6:v 3 1L?@f:tz5?~ ,ql2 >~{^ #{ *r>wHC?}|-/|}m{?lEJC|\-L??I?IU0V>j|{- , @2%Od$:$ulp4wj!Z`3#h)K''ptS1LOz, "2" jAEOy=99I''"H]Dtamx_aO/?pE.?{~|5[sCgW#rp}?1jwze~y yV4K?_e} YE/ /^òPM;/ Sk99??[_xW endstream endobj 5 0 obj > endobj 6 0 obj > endobj 7 0 obj >/ProcSet[/PDF/Text]/ExtGState >>> endobj 8 0 obj >stream H|W?? j(i9 hd+d??N)?Nm,?U}U%:OmQmtEef/]Yf7FvvA%6?D.SoIM:5YTN)2O!Ln?j J}T.xN????^?n2~V:5RTi]n^O/t:S9lHT[Tif?&;SW2]Lv~''lZ-?!QO)IS #%TojZv >l?Z}?b;>z2b5(D $h>o;CtQTej''# ,1?(e_)&i.>~#" YK@mhg[???^%lxQ:ha8OfI''''%,?)tyCi$?@v9q?)Ggmbo|adB /+\yuLP"?gL-cCvIp???w y\w+F~8\91i7#1>9D#\sSn9 u&o f,GRIB96=?9_LFh%Jkl#7vd#>?b ,%K^%a?k2Gs{$\su?%grmyÐKK^0]cW&:eNns,:fZb1Zh?+ acYQ5``A9 "e +fWwEGPIN & %-oO q??kTNFMT}!@!w]?D[wMpK=2 @#|ysQFg CDYoGF[{xi)g3 a@?6-Khx\[Pily:%;U$bG4EkvTq?Pp??E^ Rv>_hfKu!Tu!?8%7''p?o.-4,q3G!?( $ZR00-&PFB?a%;t[Z1PUpC)\s3J??`71 A85y m3oU )+a; w>~B*J~#%YNyY:;`.GHg@?-D?v:yLt]?(dT.RAs0Tj >s6cmhFj5,z`z8m^/+?~fK ??p?+ v kCByIdMix gifC\:zn,YA% Z??xB:Vz=S$!N[CYS|S0.hE 6&^qLcUp+dx*7T4Ny_?7`2jm"{n 9?|;JUUI-:fK+9Uhg cOM0,kIZ\Y,_m:%.5nLSvG{]",` ^??La=@=9KYYW%m^U˜6,tVCv''i7?^4?nv (Jxb4?Y6>#s0oyrE ;3& @q?Qp v% f9oG??Q#ChVu%-?,''S#aL? )GO[okbq? [n-GZS>1j)qn[4II0?[)Qh W6N C:pMsZ.s"NV&#s_K^Oq.''_?TL?!5jWX$r I"f?9ptTJu E+C% PR= > endobj 10 0 obj >/ProcSet[/PDF/Text]/ExtGState >>> endobj 11 0 obj >stream HW?WhF4"''p0 ^"[(RÇ?Lsobenq?ÇvCs]t4Xf7Iv?sv''3Wv?NY"~M~uI??~c?2[&L*^}A}H>>|6;; :A$S wuYW?BUx oFnI%?J-5t"D\6m?t.QZS^$na.->_+=j0=?" Dw?4w!m_} V,b51O|K k5"R$_j. ''7+bg6Rz?|W[m.CYIQ4H0_y{T?t!:crrM ^L?`OS~/%~w+#9@a&>)??+W7>?o=XD/, )7U\|Rr]=ZZ/EV zAVhQ;0W:3 Y9,%?mF{OlC(?q}I?asII0lSlV nq$~r6@d6! UWgM7*/o?7I+ 3HE3''q?uV")lp" EbY@`hD }?KwC K?IUeg|TZ7@9,eF(_cWPR&Q8i^g(TFVUT?y?cX-?u ?[nu`W^vc OI!@)v8_Z[E  b2Aa!??+?U9e!|B?&?Y~y@Dridy)0(Pj?U/3NP9>e^rJPH?öA[ r!JakZMCM$"^| j8}./ >#$h! C/n>?6fq&c9tr Y0$'']G,^j8 hPv_+yR=2"\7h=zSh.e4\1?aI?`^LW!K??(+? '' 6xNi%  : = endstream endobj 12 0 obj > endobj 13 0 obj >/ProcSet[/PDF/Text]/ExtGState >>> endobj 14 0 obj >stream HWK?H4|^8FX>PdA"|G/s5%U5EbW_UGÛ~7!? $$IEfpO:(dZij7e7M!)[d!wi=?Md$f:M~oOW,[.cM>N ?CveCN7G2]?qZg+`)4m?k9!-v-k?j hG;h)rSs  K1N\MHRM8 16^V+TVD) ?fj*]~-3QhK>5G5f??I9d+E!6+>=xI ho:+FP]~fZ(x?; 6(bOF."ggN7 i Ru ~''9npwy&b RY"l?n/A[8a(µ$XL$TXIBEuK7n?;}p,`#uQWUnQ^rq$?x>T?bK%O#~TI?Dx0dW/gD`h/oIt9o?XVem1l01''gL_Th 9;oY)??y.y/V#2°P~yw:[GQM?T+w! XZ?Zdfh$9_x`bpTe% ''vy,MoRdFi\D` G9&bo\I C&%r$$Egjo°u6WhW? ?r|>9@ou"E#>p@Q PeMqi9NE (? Le ?61?Xjcx$i[h0aÖdx]+&17Iy~5 PXL^ *AWo)"6?,&7|:6#Q?7)corN?@Eek\qX+n}%?. ?FCD?c( CrvmD*I?C.aDE¡ ?X^tFP;umI>)e^RAfUyk1) )sRPhu||[{ "G  _:WlLn"j1D4} A[6"]pE"''R(:? b?]E:8#0 M''%m: FB ?''1z-w[4U-^H*gWjP?X8AJGe?QrI?0 bTKP?WXj+f`c%qKYG(m%,VPK,DDz^za\bU!Bq3"_0|{SiyLn_&9@4](7 1Qb#B9w/C pCHT;l/{?VBxg''xƒB@#5''~v-c?W-(cW,O02%$gdMIm1~!8K *Y"5nqZX@?|Êa{-~&Id^G9.c@e{Ac]R[Q 0y7xm0Z`/f[4p[u>TvazQ?§[X?2+9 jx%&f i ~pD$r)?W B.HTwReLx+p:GPf''??m gd1D?s}[1v  ?oCE :5S^X;QdD R;| t@fQe''E-?-`aUb%:PX?p!& ]1;(=4dK#K$B"dkT9JH?M.xKL(oq829mGk0{"C>&5~Gu7j7zSnR(jU2\=]gI%|&w''nG?@FxtmOD/_$4(|oQQ=~@0Xll0;oMl?-Ip/|\? Ws?lb?UN2 @#?,&_ J??T_K\yv5?RkyhkXl)& ?uM7`f@^WcAr^ kcv{@uCp(Hw?|\x_f .CL`]W=VU]%lo.??S;_SB(Fj8Ybl228~l:vCS@{!­Q_*=?w/?!m5seV}GOo4{ ct]?KZ}l3Jr7lJ~D?+9&$rM > endobj 16 0 obj >stream HTP0 A7rK]98%?t_Rz ?~z?v? u#85 {GPV`kT >stream Hbd`ad`ddwvL) 0q6q5gyK@H@IG1ftJMkP!?''?N)MfO''`( endstream endobj 18 0 obj > endobj 19 0 obj > endobj 20 0 obj >/ProcSet[/PDF/Text]/ExtGState >/Properties >>> endobj 21 0 obj >stream HWSpQUPoJa[bL7 mw4~Ngq~Uh!5UY7Pq$-fE8?`l0Po6?i 7[G? I *Nh*?$Qq?6 qc5>z$Z=6Il÷?4pDWY7USwttb z.nAh^y?3%=?8u\.BC4co I 5wcaR``a?Tk=miHE \1b%P?P@s?rW($| Yq''~$?>BNp=?b#qCGw^%U_pY~,ILZ]!89+ r};m:/&JQ_#5k"o{wOGGBq( ;?a(eNn)2\5PuDCa//??|?IZB(F!? E%nX |(5iZr+ w*D0vH(R]9(F gw}6k][tW:r0^? U?\[}JooYIÇq+` ?n?E%?UP*!Tb,K??v;T :,/] )MB 2b&014 s?0y9B7yEXSI2 &??z?O 5 ZqYU? UU3zA;h|[4jAIbx0Hc0(78CQ9!z! ud 3 8Tp_WLJ$:g?^o?kqr| s;zr8nmIoyC7vQ4?MIHPDEFRR/{j]? ?M:84FDkW649d%*Tny I qbE$V\Z+>5)3?/?/xpI)e*\$RL}`V7YP)Lf%"^ tB{N2`"NEF@}-yJn#WhYHh6l , 3 H)H}x#b=OIUgnm1R~T[mhnG6; (@d=Db,#6?!X?`y_)8X`&/?>dCz# j?6 b n6D =gDH !W4r|8Ylh YD-)^Gs|w`6%SvKo''m:)f WED6Gf&6`2Q?)?"e+{A]q;c2Z^;=~$7+yOs:DN'':h_/(TI?Y? ~/N''/}m>"biA=c7 d>imf?$3K1cZ`p|PH"_l*)??F+D uor]!wvL?9!DA Hw as OHw9YM:1hXt`b6z92L?2\v$DY[ToT~?,d;6?A?D .6D>=CBcA-6|MbW.{&[gs{y;{#B`%&+P0*IlqFo;!}(h[ T#Daon{E(Qs 1}q$He?,M~[#RZ_4bW,P>4j6%YaIgb0X:a?R]LG ?3}o2gbH u=z5zO"?z5no5 mk5D@buDf2Uk#£De[.Epu%0?>s5)f}WX?IdR?,UK\!JasF"4^\Mbc/u)Dq{,3.6MYb''2??5]b-rD0.Ba.Bq"r?u(2WcÅu((]?kt `l#~(Y}`t&,Rs\?6b4;?D q3@DgcV63M^I&l9??pN~%TL_5''LHwv, [=i`-RQwM@h?B=qf?L BY?G?,9}O& ?+LmF? [IxR?X $g O?-dVT i*({?wdh_CvS[? & ~Teqw~R? ?]v@!{b_2Ph4Q"% RSOUc_"2=? ;ml?f*?TxK???k!QoV>@PHdyjFZf )wf?D? P"5i=?Kfcu z]B5''&\??o ?+AI44Tw4-M]hom3"&vJ"LB*[CO@=#$?t$$u)?OLAk6?w''K9''i,jF)!W''Y QC70Cn p-(r>Y F@hKCW/ YY?CY?@6%NugMy1>@p%35lr96}W2sekDZ$hi\mx?4^\i@ao}y \Ka+Yo.68d\f?-^ /n+k&U0++?6:W2B?v_yhpY753()6ZX[ nkL36 iyY?eJRRS+TJy!V9_?}_f-S) Js(!i#2>p>@mt[wjK@C?j*#Hf;.75gWMw8?2ivkq ?M?]])]?7 Wz?H$uK?LeUZme3jxis2A].,Q =hi?SAxqWfg?mY?)V=b1kjqe''o[6ak~Pw:>&vM&6(!S4y{mWY¡^ UPtP)nŠ6CP*qBd\I82L&%~?.EncPa?6w@P@-tRDByg?j*#n-?fK+.mUrJ_cO| icN??q6h7ucO?exJ-x:maFM:UT=.L2??N*-JFf?#k2FI3a3Re7{dmW7J''3 gUE_KF :\w]w)GXXHl 7a:y#''G1?6Cws2_9n"TS!bEhrr9;qG3L 1 ?''#?d8"5K5hx|%!PCEQ0SYyvr?3^jrZ1k\!?Yw$W?jh{lG f6bV@,:; $.KRVC? YB,\7Py³l??FGQD r#9JyA2Bio)XH9p8UDmXd"9?eq W?jFrd7?Irk''E)CF 2Ig"!,D# _ ( x;8?N U?yOA?]Zq| >t?mW )EH_''H2Fic3(^C_R=SlP-x!TRqR Tyu?JT=RREH?d1asX&*2ho!S!*_JTD5|Di!DEoZk*QV[?:* GD;;$)DEY2 N:E?mbjAQ qM;@FYS1IZH*UcujjR5VY?hPu6q5~i,Z(?5tS0XkdXC((?5CXmuSu_Ux\v }swt=(?y.63 +N>|~ #Vl LH,u8?|?U||v|?R_?>|^~x_:a?> >stream H\LSWW` -UotSJD wVz%27o3g?9~f:spi?. *,N)6dqq6M%a [2Ym;E [i3?rWM)N )Umv?vd&/PCBP6B@ Uh)B+MHth>e?Q bRTz]!andSTwH $:Y.Pg3 C t)ee>4d {\ !JyT,9%P,e# Q2"fch9LrrX 0sn? [ |U 0s CnN-{tgsov,qTn?'' J )|Q\u/?[8`Uz>7, +mm}?b? 1H5B RP0/(UcYr0"DK,? 0r=u>t,Lc?L-7d"O0d?od&:rgeeJ?E >u&H?XLl[ ;_PPE8|P) d > endobj 24 0 obj >stream H?X),4T82[l 6;}_^/]?Mt|"D8/Ca9?l/?~zok @0:Mw3]ux"k5IVokmu4"i?.\WM''q? ?*^A/O_+''n>æ)^y?= _1kKVòe?@ ?~Z-hvh Kl{yDi\juRg5=w/ A^a -N !_^Izgy.?{?vfEI4}tHqJuU},y[9Cy*w?0&0 (w4 R+@ B&''I q#H h`''r ;giD$6 *?KQ2?$si a-?guC|{??-''f_?>{HPss_4Hl;22ayAR#3c0PCr) PiN0Nc14GR"e2; ,Grs6??WfB;h!4hpdpXXiS zzOG.LhXMGb&g,? 6*?+k|&y\$?= 0EC60d? d&R8Z?)3E"?qL0JK =Bn]^[ 5 5 Te=030\g ?DJ:FuvbjwE40Eo#F/upUp A! "''mNli5c\qM=TfuGDJ E!LF-/X=?tvZm??Xm)Tkdj &YMo_RCL P(SiM *N%n6mZt3 4PSfQ5M7NswD"1A&Y''-0?VMj??MY4??icq?\F5gQdkF +yQo ? &SS0$WbWM''Qc ?sh)ja]?u3?,?S,N eF,q/(N6Sf[]wOu^!{9 7bpCWvS?{RO0E;{B^6R>&UZ;, #}T@odh1?{1,}wg?5I k?G[>oU`7qj}x?fUkifC{* z9xA+2??Ir6U_QoX"Y%9?+E V?p?V@vArx.?Edi?bÆX]C|HQ?%`Cly:T!|7%dd?y[ K4(C &OTRPD{8c Oa@?^o\ v0M@ Ny}_ @eJQYJ 2??U^>W?HZ Q_inW-e|N`(m1eN:k:gv9=8- kSCY4CE!X{&>e?cV?w]mpC!I}JU]:p;j^vxO?qk(M|]*%]Te?9op=jn/FM,E?eYf?mZLTEAb"z+kF+`q?7w¦ wB$\tY0SF¿X2SkMUp+{uY'' C627xQ2\>_i?.yU-b+:$+=L''U6pfUDM ]''&1 c -H?Sobn?atp[w?Z?/3j==+G=4/E0t^?g-c+aYw8>b[\AzM* XMD-kD?OnL@D?4wD k^x_=?p2_? \/dwKk_%6Pm{:?eGE`")Fv@wya H~$=''>{5\/s»3k)duM}"+ilPq~vu"P5= iz>E~4m?@|>}gB?pPjfik /XNni1??mM8w|@\)?_m^"T@l~JS:&h;ATV& )aVXk(5ÏI[ # =-??A?+\;Os oBB#eYc *W1] G& ^_"bMg?.) ?x?g>j]b]W xq-ad_X9=J>N@zD>f?9mbVmar''{$WN{>o~$?e\O?,do5Ox''#?jB6??''%P7S?MA{ARpfy>msRo/WI{X8Q?{[T*9?qHhcja5M,b d:2cutr|h?GQl"t,v=~p}U(> ] MH,?U - =;6?6p>s''6Np{&?F??dwS}/S #z}V C_xeNI8 @AZuvu:?&W+n??d$yAA9\?i>^zqmIp]71o?A[-X5o.P{ap_)=]/:0b#?rc2R q?8ylt5z3U?qUcFK?lrc@5.N?_*uNM g?7_ > 6z0`}8[j?N;jP@;uM?[I^I=y'''']`-0 [JF% A B!{_+AztK:9l^x zW?!8 Q{Gr ?CsdK%PÒr RT;f>oCCCCCC 0Lb?/?{p_ =n endstream endobj 25 0 obj > endobj 26 0 obj > endobj 27 0 obj >/ProcSet[/PDF/Text]/ExtGState >/Properties >>> endobj 28 0 obj >stream HWKoFWH- C\)i? U\p?jr)Er?C%%~8?lD?6M#tD*y,bukÐ}\uFZ oX 1 ET!HiI?Tm@4c:~ )j ]K)5m.z J~2-4") ?FÆLS[U3?d6\e o Jaq"~i&?p@@ ?S`| }lxm5 !B3;I?RH,*jtSHJRo8$V ÷^ -r@H?bbw*W6mf`24*jx.R8nv''{?*.w4??lR4F$\7cz=|F%K'';m|~;kL 5w]?>&?{i8;S.=qrZ1LRfq*4|VSva# ?Vt''%2q_G!&EaCkv.JCVI_x#>-tst?iX|~?bE(C?u%KJ=6??TAR ?r!?;CB65gt?M9 z f''7j?GB)5jx j''D?a X;*&16Py`*m(TR.eH6@)Reu}?J96y?s$gS^Hzha)?F(He+!? s ?Ra. ohBr?w ;gz)Z e,8K9A=jTK^kOo7T71"^m`h7?;=sd Np] dfEfx}B12kRqsF?`0huAv_Bzg)''>A"@fG??NGh9EqH_@J?`vZj@''?W0S??_` kq//Q` Jgj?lML!Q4x^R1PbW%gaH:gBAd s\y=L{0oW|U[!?, iM /KI^QNx_?n(?PKU;?~n? uC{)M?rW`o''Qj0Z*?K?B{$S?i{my[p/8ph[KAn$ .QICt#Y9Q??? ?-)rdTS ?-TLQ ,_$,7voCp$PH["s$+c?p0*(Fhh `Dq?@p?::3AEjhm?|:p#Qhod%6z#%??8\}N?[2AU>7,H8hw9$Hz ,D "Zt["s$#?N>Wh\ ?*7 Yuk %U;8 9?Zg(YgEl i???MJ~$? Gt''S ~vp^A§@8t 3 ~$@ 7 d,P(ngJF'';D? !D@tA #F?gaX1,Ab;gc *}DZOzTqrx+:k_!9YP"D0\ ^Fvs''g?!4(^#{}"m/+g7 s(;?T`@Hq0X!AqPab*06Qd_%N{Jn*`.$jD } XFl {9P&Z x^2j)I##D2Y?LV i?HP>D1f hf8L?$!3%*N/mK"Y5J0m[t }}:^^_&?U T)u~ >stream HL[Pwwlk%,-fu Z.vQ$jZep!E/LlUDQ 48X-8tt4m-t6yh/|93$-k7oI.6kT?eVdp1R&='' jk~?a??*-%6?\lVLs 34zseUZmm0-ef o)-2?\`,:S3X9Yx`-rbNg0meBV4io?4[8ClUh5 X__YjLm?! %]^0''R P tu C #A(&>j+Znd]m[BQ_KF! D?kw?M .Lf?;?gM+?`!eEce#JW,bk Osc3QJ > endobj 31 0 obj >stream H?J?0D,BOw(6eWdBW;H t[(ª/+x+l7({?O'':5  M_j/in7{"=$? (:( mex''7O`O(22C~VQ vp!k8`;?A= @dA2 G55kuW|-[Wbz"?J>F/q"?tH2*@!5cN!?l `~}0CC]-# X?7TdeDe?Ulpk"bH@nB"QK^rw??Y ''C?bc j EM''JMpN $j_i]y?+6qD&vuFz!['' ez"nu-B5zuU96nhxQ?I :J/iD }+??73ZKYG#0nhpvZ(tnf?\W}kN6?rx?G ^o*8 ^1J*@2Un?@>,AZB&Gkc o!le$J37k^#V #w>017/~|Y7_0`¸G 4?o?c? $L![?(Fnu0?? w(#,/$a?5cb''n?N}rNbêL$uvRnrVeag?''r]o)je!gCaM`IhQp?AEq$tSuu60S ?r*{"}$$M|xpn#N>0kV~[]]t|_aRvFÐ '' 9bP;?D1@[tbXI?#")LFGO>t9dwt?\0WB1{u2h]?|(AT ?6Ls{q$kh\Q .H6%S>%{4&bO~ &w5Hf8W[56W?TVp?g^yC&O6 ^ r /` k>2x| $x!?gCVP?m9&rxooKk }+j?G|jl?$d:MLxHA;eW`9\K+dK?34Q*Fylye4`x"\vY["FIWC|k]NY?u?!16&pKS:Xp?L/N!ZGlHaSd8j6*&-`>\6Q4gm-Xk NVFy[ 2OWzsq8oq/K98uf+.qH''s%5$7>50?n?>MnsdXqI?&D rYs_za_W K2V2q? H%+,]Vl;E>_Tx:X-2K4Y??T6`" }S?s+fUiAF;_9WQ^Lr !4iqoDWUd?''?)74 = ¢L@YGoBktbT''L''9OP h!#:l.jlVGG#*S?EoNSleYaXUx (CK;T42?FGq5]G\V_Ok,ElC@b(7q?I5i%08C4+P {yYEYMPVO kVGA^ a?~??a @F?- ~m0Mb{?qkF~Ss|>`&,[-L''r''5>#zEz?>5/2ue +2u$Q )(q:uhWJTX? I\_?mF.y1zvU_")la%y*C` "Dg fd#?.%F$~ [$p@$w_y3aYD?y!($?I.T4?!jIYJ?4(K pC1eg#,7x? VC4G[ 7 NbRA1#FN&IGt9:%_T:-`?sCI''AC,4is?\dP[;''o=?pJ_4n>u(*e-3#qI=g{- 8XzC 0}3YlWYLmE}nN if;Eiqw1vz bX! NIUfsNUdFR?-NTwbc!,W3B?=f X|In}{Zyj,D9?b*u^^ v7{w0jFw:EIK,#V]Olfw?/q O]yH{Vc7>Em )j(??[V"0 tt~sL?]9-XZdytI oV{WphO''T1?|V1%W|CW^c-bCpHX?z?C*ZE,$E q,j??rkfyiA} ^ B?BA]Z1#~6e+?}* -mRG B??uv?qS>S$Oe5''NG-hE?s?u''=N rB ^~2O3''p L>1}T"TRg&\}5n`**?0 ~h.!Tl8IAhg'':W`> T z6%_LL)FyWtzK{ZGN$F#:k(&~$]&hIUu?2 I/iLUd~Eu~a~0a51g?@V ?=n?+zhohy2D$^5V2vz;HsrI_O`%H+KLiLQJI t?VZ?_ ;J+?~ 3?8 9C>Z! ? 8I`?1u\J7`TD±o{G}ÊGQ )(FWFq-w?.4|N?9w u\PjI''`sf*Õ¯ tyl;+Al2fLF"skJ^hu@Md5&)-. Wë~"sB''xqsB%%0? oRK,MP8T\G,$Mn7aXJtfT?g2MC\oHy?M;oNG[K9wHHWG t?:pj5/jWY?NBp!#Mx JDx?i]?ha^ _b +gqT {h)''hy2S\?,?83SX% O>*aKG-f]?6@URP2''IB3N{icVK&,-_A{?08yVG|q "n;CD/c[bS)|rCzZfdG94?:, A`K?q@ dl_B#;bLN,6* ?}?{gyL4{ylUy?Ne$H m5#D2+a+h!j(Gay/?fr[G ?/C#}cX0|MXP d/J_!+n`ovkV({5T\O%93;YG1-{ Ea_Em?~lEeYd3TYZJb7Vi0"mW0fZ_eb=uM`cd ¶d?R]gHm?e?-@Bp%>-mor>x?wnWg"e0WogdBAu[OWed-jdV=";?9-H(»7?~i??Fzjn/.H^\ ?Xjz?qo&DZwx]{vcM_s+åmH^p$8.Mh?0s T\G.@?3Gut=lQD7L"$"6_{;kU9{?[E80nv&B4es33UQ}bmtT=8sDo{XI[L0H[D7Afc1e$[dML/j]WS+w8ü-r[b«X@Y 5o^r'';~8+IZiy5mZG9.Fo!izpJA_"/??*(f''v;E>f?L _L2mWy]e)OG4#Gg9S- +|9/G?r 7KN+kd4z?:qM$q?]V!Q2q?Z6zexcVG,l: q`FY^TT f@ H$\Gv1kw9 2>_=GaB| 4suI2''T5r?%7fHG>p\O49oM]WaOzWF?PP mZq?~Z1Q4= EJk Q?''mSË;OGL/4-?5?Z ?L7;:CP?S(:DLi6''o{?6RFNu%8w''F)5Z}W_?5Z":?"8s/ge~]tL3jX*ä-VAqrW d!ka7m fV $6d)tZKb1J~EHNN;lBGm??n}Y]x.?[v0 [ 6?\I rGW7vY}y?YPNd-ljuKEYdn@A;[pe u+(?^''WuDKRxN/Wc8YJ;|[ZgKZ- sh VV5)?dFkXaL+m?\o iff? Hlg? Xaa [Gv>OJoNEZX-[mx+D T;0"X$6+p3^VK^?u$OK6s~h?dCTzp+Yoe j7?Z@`oc\SvOjC@.6''?75GtK~10`19C|8AkU3V)9O[ky\;|Ml''+o/ yT'':=?:=p#s{~`W}IWJ+a!=w+nu;1t{uYz''N9Jsc"7Exq?( #/XI&4EMob!! !?`QkqQvbk)U%J ''O?u]\QrT"YG}}WNO#X"?M6YX''C"y3TB~,?Ri i¶rWxdK D@uy?kt'4QpxU)*&x?\R+QD4ô;!9?r_`>6I5JxyV3w54iR=?k$ :* fg( 3l3Ltt?WA?9ZDc@dN.&Z=Y1D/_v+" ?5,HK +S:X\;QP[#$h{/0F6nwv?}T''''oo.>x{O} W/"L# ?V?qqn>??p?[-A?qw\A &#vbyHB6?(oB7`X > endobj 33 0 obj > endobj 34 0 obj >/ProcSet[/PDF/Text]/ExtGState >>> endobj 35 0 obj >stream HWn}W9 /x X X-2xfs9:U)?`q]]SO~K7wI%.6ibJ?;S&io c j3{V =p??}|yzMI_Xzor]&?bJ?P61j?CjibUC1c\Z8tXj?g^KRO??=WoR/}?">WxTdKtb??O?)T0$.w\ ?XeU}@_UXu"/ ]:?c=v(#XzCQxmO"[?65I'uN?3ickxb M^^xR8Dv?PZ?FrVuh^ucXv^?;ZV bJ>k 4f~Caop?Rlp&B]J6-Y8>j tC''QW1 D[8c d&KB?WFu R$(NPVI* zj5 a`#"Pj89la6~UU>`r,4h*c?%4y,#`?CA/ )BiYRPrGn8Yw;$M/` |o~j>stmu Jb#E rD9 zA~W#l23* yo M+"AZ>tQ%MXbk*im>y3 UA.r5aGf2^TTNG,7s?"uo]I+SvlpZ ^&-#MC5a&QHB+OM *?}r)NDJYxd;E~ru%; Q\(gco\mE?n}??Erc` !pk4E?](PV/v A4\p$cQ*Gc 5h6z3lW;?w (M?h4Rl 7SaXP?O??sJ?0?jU}Íefz  T m( VutT/fXR]O).?G)1d>u?2w;ynLB ((1? ?;s:{,~!_;?:52$1BNy;D .?i0M?l?R=n4i+/[GP.>k\vid+q>&$CmGi''%K+OwpjO{yJQ4H[?1 }?CC*)_yHm??i448rt(? vi@y?>CNpFÉ8rY Y?PB^A5`N1UTW[%?u51C?,j%A>c!o 1^6AbU:Zo%wY(o(x(7 ;"tt)t`H-; v1?UnPLNM2?]asO?9F?Gn=d?ni?e?9#HKRWML kE)sh0T~upPmkg,pO7?qNVbrub-X?aF^X\b[n k5N?&"jV_ldUU3%egh.wq p$UaRO~iO ru? ]V9 endstream endobj 36 0 obj > endobj 37 0 obj >/ProcSet[/PDF/Text]/ExtGState >/Properties >>> endobj 38 0 obj >stream HWMsHW6$vJfjJM@?YtD^?_Y Y z!u77X RGO#\aw?Mx?la?-ntBGj!I3O-Nw9?z=bKbEv6L6z''Ap#b?tWW~,O92n+G#Y0_m#\}Rq r@ Y?h?@^D0lg+ 2j[+Bxu5ee?|.]?@zp#M]i^V -0?OG"?A`W`|F=Q)3)?tZ~"M9W[jkH37n | r[tk??TX,U |v7=Ss[8-?[Y.;& uoxR?{.$26r=? @c*$?Q)?4V;a?XC *EL EJu 6[+?? F[Ho/ bDp!eaOG?y?AZ N=thil?Sy; 4=x2?!@83Zgh&?@$z/H''l6Xw?Bl?EcJ cTD%5R(R;[32D u )P2 HF@*,O?$%)\LGj2A A9zf'',\3"S z[=fyfRnc YLKsH?4k?a$[67#H0 #jQ0KqO5|eBJSR>b"4 5K3D:P8+RG 0OPN9b6 i4c?xAqn^\&Bg0"L(>z1ThczNRL@ E6d7LE>(`;^[|[A`a#sKPmi?Qwe?"hWRu8pefXxP*Kj$%?}WtZU,gj0T2iiZDeu4g B"???!%Be+?ZfVc b8-Re ? /{J?R%R_C?R$nBw3cU_?M%W =*zx4??@H#eyt\@0L\MZ?F,H+?tG+$C?xH+t_xû8EX a~iD _VG9TjA;8H(L6Xqyp` SX3Z,v4:11N#B`BCeKX`XC?hS|4q?ap&>t?j8..q&cjb O[»GqCgww ?[`?/?R!N?B(H ha`mF%_f^D}Q ]Cu mYi0V\b1 &2QEe4`r^i,:@6^BR,\Q+vn$5MZEsUWYljLMo} AKp?.o((i\DE2k%#W3k:+#''M4`vbG1H}h#[A'-dO(e[*q:MFK?^V&LhnB(Py) Cop] /_>\Ff$%kS .21M dZPI4C&y C(KFvkl) Jejl?jl@fLi3S (sb0b">k\''^-%v%|F~(\F+\P x,w>vuJ ?woDY>w"n\H?I_D/qS endstream endobj 39 0 obj >stream HUn}p?Ij?h(R$%o_B(31iSN[/in3\?^Y5pVos?}Znc4un:>fx> M:8ayl ~?W?$Mup aRM?6$+?v/C%?Q]g/Ry;$=elB O .pC?h?O? 0LM}w@ Hz7 ! VZ@_ pdc!+rF34b?r"DOT*1Uwd0?u/%?O ts2)>! DENPr[n! p")qtU),B] #urS-*F?!"9j?lZJ?{G#`''''JE.khN?D j5 \[l,?''lM.?TI%"lBO2b/\mVv,?}p$nR?HEKG9ux"\ ?(&?dDB][STq4?Ê2#7 LP 6s[)7o?-83 A. ?T=^r NtW? l&dMN_t6Ln;`J??rRh??&CP ? %i S?=G/''GNT?o?C|"fmgtOM{rjR?m$!oc?C386G? NI2"A@?A53z#js@\n?:~ETLLg?7DjL`88WFnolEI/j]&nhl {>h*/{C3GW&7TQ87H]R* u3@1J@##n4D @ow )-?hRsLiQEbpQ+dFl !0,5D*+JpY#DfQ"$rA`:L S&eV6Q&1zLv}I@T?x3Km p~IWv!K,ED?\?yQG8 ??LUXvQ'' jcVqU'' CUOec?bwv$o#\Kj551./Lh24/T?D/k;i N1m7]&O4m''=xwyC\qKv>DZ@"Ac?_ k"?%^LC ?Ar\Sm\&isQX~?EH,}iz ?xQt7m??Dpc1b%8A"??^ \PbQ ?cuW?wH?~?D00rUr%?F 6e$/:cwv? vWoiNp?L+=fTKN9[?Bu84]Ei?C qeQMLz;Ha?+s2 YL7[?Sk?ua2qIYnr?h?K?>l ?8oq ?Y;i#g"sri*XP8l DIucyWsbtnn]yG?OP&pG| ?N>0Dfc}n*^d:i?(Q,~zC}N|DN^Zq ,z~Wf qG9E%9r?zp h z?bM?% ''UWbc?ct )|+ h?jq{s>z1:jxEm;?JFxv^F)9#}E_5TdRX?S1zUT?z#,NnP~.qXSO4¢rwYsGüp4doa^"#iO?i?.(H ?''^'Zb) 1JOf P?yE aA2{{yFUrB[-v 8qO >Dd!lAz #¥?ofy1xCf)dKƒ? F: YQjO?7>"L3>*''FI06YM:ecNt?u^v$e^A1?Au0!$G ?!B$''4 f2D]\X$za0N) hu |c&vI?7n\{r6??SP>''9oj?$%A%b|LwG4{1f:.W03_A>VH?`w&J ``T W 4u7yXFEC?hHl?_!9?^$SB7[P>0H?6*G?`I2$1 /sW5}B-A~8]#F;kU *&q?E;??^{NüGs .o(??TqX[J)''0] 3^nRf-t@9 & Ul6eV$Ip WnSrse}DMUBvDD ]!HTwU;_y&?gH Fß^.z?M6l>},*[? D*;=ivit Zuv ;ks{P6o*=vDz ?Kba @&$wPTfi~Za(;?? ?d_e@Lmu@kE$_(4DN( V! AP,$7"369I o"`?cO`L~w j]"K~^4p; =~{gbb6 EJPU%7M?J?\j9E6??O?qû:??6Bti gn_pU/t}m;+sv+2MQ/p jSWRjsSEdD?/= kw,K.,,wu >O?y?p?;"6Dh+?QtSE`x~z` lev/d{zH>{M &Ps^:J#S4>JztyIA7()JmT0\j^Z?tXc(uMNIYDf?l2?FO(Z?4u;T%{}\Qp(6DyIpaeR)p2mO}fy??WCvq,{q88[wVFMv4~BQ p?_O2GnS?%;X%-u''c1=qO %bY 2_~f~3. 8br[Oh#W5 +?|''Nu1?gd_|?) Xvc?oYHI6YN ?/$]V 1t@E! a_2}A~UuTzn@s/~Ou[B?%b5?%qm1u}A)aJdJtoKaFv %m?93 e?) 7a$,T_kA ?.l>;r$ = |''ZIW:WX N1C28zgX vIK# -rkzc**:N"=z?Fu?K6Zqz-{b X(R),%(r$BU-) HrKu$k* ;xv2=y r!Vp^''f$ WcGw]Sny&= Z*|p?OUEJRqd>C? mkz4z?- S{3?@M[6;?.$q$?hyVX+?5GN=-vT]?Qz?#WE?;=2P:Ygt57ew= G@+~1^6rc# |WQ0L_\xKK=7`_.?5bx^d,?=mt] i]}z~ eQoas2  z*~w^TDeT =?_?[\w?|HAm/>hw~?}?}?}???h-¯O 0Æe endstream endobj 40 0 obj > endobj 41 0 obj > endobj 42 0 obj >/ProcSet[/PDF/Text]/ExtGState >>> endobj 43 0 obj >stream HW?F}#ga-^l zD")''?[NUxd$?:uJvW~?xVq+6MWk"Y R*7&2_a!tW?NXz~U+8Q{G:)Iyd?Jlvi?6g?o/Pg|6W$+]e&[) '' |EW=?mp6~zM[9~*v???-:=mYMyX]M{Q):NXDkLTqaITNM7WkW]+ESfL^r94 O *;_`gUP0hwh\s2jWC\tG^+t4 e76qta]?,j?dOT[joYr($MGJ+28m)[FU??8r"c o K%F+;lUVP hb? ? }bX3zBB:[N%vAG7?QfH#(#]E ,I }5?A8gPubAa^BeXUq=-FI99J3^$K?3N?m?P0A?''F.?Tvu=r~ elgsK F0LF?2\w"hNbN~Sì+\ec5e/dNA:H:4F@:Qd)jB ?8_ :j/=UH f t?*s0 ?%!'' t,, B@?b ?(\ *Dtq,TL9im?|=1LZKq4 Y^ > endobj 45 0 obj >/ProcSet[/PDF/Text]/ExtGState >>> endobj 46 0 obj >stream H|T?0}W??]o@B oa&N.ZPv 3sf?5i6dIX''D:?%ZMMD@ ˆ>gmg@}"]g?dBk>g|6R?T /* W"SDx?g5dJ8ApLHlE_?/?-iPO!sO/LhIi?iCSu~1sfi:? ??M U K?)wPBpf9 ?uk1Bu~-C7`sj/ j#})yLs}`K? Y.E C:B,??a)L2?me_ s ? Su:948bX?WvhSVt6PCmh9a[%B=E?A?D0 j > endobj 48 0 obj >>> endobj 49 0 obj >stream H|A B1 D9\1M?N''?A??V013`z1_I l9#kM@ZYQT?''x''qDsM]7jOYYQ}[^y%-?C?t~2|&iZ?S endstream endobj 50 0 obj > endobj 51 0 obj > endobj 52 0 obj > endobj 53 0 obj > endobj 54 0 obj >stream OCMNFG+AdvPS6F01 :d|I AdvPS6F01''FHJSV HUv; \ge\[gc^N(zq_rMds rgsGo!+6.,M!P''Rw?''o 6At4?_P09r[|zqa1Wn[Mm7kmtjLoH ` 1Ln0E;/ =2"$%$bec)*??mtYN9IuiLRF`xkoRmJP^HM0IxMlRrEc}B9r};|D|@L#]8rumWl1txh_P,u~BB0-(?Bv"cigG U|gDcz"???5^RCLP?dTs^[zgsW`ii`^jgaNQP|GJ^OlvQsYYuksW^]sTxxrreTPscDGKg endstream endobj 55 0 obj >stream H ?x [/[f4a 8Jfa$|{Bb?|eV elr''XV; j"v?mx|G&,[uJT?+% ` + R^Y ^xao{A@#E|qòB.8(a .\ 54JqI*&X ip+\H A3h d%Ê~Eo0~ endstream endobj 56 0 obj > endobj 57 0 obj > endobj 58 0 obj > endobj 59 0 obj >stream H\U PT~>5}M D*?bbRQ,"2*V?4qWDhA4Z?b6TbPvG''a2juNt?3{w9]|?YYq b[aPQO?P#Mk'' ? ''J?kU_S$??Q)FeynQnOT36JeJ{f ?8e ?\\a.4W: %_K?37VVESKbPZQ\T\(W|q "rGgg`eH0 5-k }74Z\*QPV??q?0 dDAe7c??b''p+`"Ab ?%?l¿~| zgr}?nri4?l$a1_zYE6$, 7Df?[}$5uô>\ 4My6; ?Pq_j9pDqHM7?f0 M4WtJ56o?^vn?si?izi(_0sJ[KKS?%~L > endobj 61 0 obj > endobj 62 0 obj > endobj 63 0 obj >stream H,KN0 JR8b ^ l!u?N ( !|= ??2&?O>8oG;19onm'' x> ILc? (RtE?5o t*t #2?i-[. & 23o4|T~S O4HBbaOm endstream endobj 64 0 obj > endobj 65 0 obj > endobj 66 0 obj > endobj 67 0 obj > endobj 68 0 obj > endobj 69 0 obj > endobj 70 0 obj > endobj 71 0 obj > endobj 72 0 obj >stream c01 1..12 endstream endobj 73 0 obj > endobj 74 0 obj > endobj 75 0 obj > endobj 76 0 obj > endobj xref 0 77 0000000000 65535 f 0000019408 00000 n 0000019534 00000 n 0000019682 00000 n 0000024752 00000 n 0000033850 00000 n 0000033884 00000 n 0000034010 00000 n 0000034112 00000 n 0000037997 00000 n 0000038125 00000 n 0000038228 00000 n 0000041687 00000 n 0000041816 00000 n 0000041929 00000 n 0000045753 00000 n 0000045809 00000 n 0000046093 00000 n 0000046299 00000 n 0000046508 00000 n 0000046637 00000 n 0000046818 00000 n 0000055462 00000 n 0000056797 00000 n 0000057062 00000 n 0000062854 00000 n 0000062890 00000 n 0000063019 00000 n 0000063201 00000 n 0000068178 00000 n 0000069380 00000 n 0000069645 00000 n 0000084052 00000 n 0000084088 00000 n 0000084217 00000 n 0000084320 00000 n 0000087710 00000 n 0000087839 00000 n 0000088000 00000 n 0000092879 00000 n 0000101934 00000 n 0000101970 00000 n 0000102099 00000 n 0000102202 00000 n 0000105522 00000 n 0000105651 00000 n 0000105764 00000 n 0000106492 00000 n 0000106621 00000 n 0000106680 00000 n 0000106892 00000 n 0000107218 00000 n 0000107269 00000 n 0000107546 00000 n 0000107986 00000 n 0000109007 00000 n 0000110468 00000 n 0000110714 00000 n 0000110877 00000 n 0000111079 00000 n 0000113015 00000 n 0000113166 00000 n 0000113534 00000 n 0000113803 00000 n 0000114133 00000 n 0000114514 00000 n 0000114706 00000 n 0000114750 00000 n 0000114775 00000 n 0000114799 00000 n 0000114859 00000 n 0000114986 00000 n 0000115059 00000 n 0000118421 00000 n 0000118456 00000 n 0000118486 00000 n 0000118506 00000 n trailer > startxref 116 %%EOF

Table of Contents

Preface.

Acknowledgments.

1. Trusting Logic.

1.1 Mathematicianless Enlivenment of Logic Expression.

1.2 Emulating the Mathematician.

1.3 Supplementing the Expressivity of Boolean Logic.

1.4 Defining a Sufficiently Expressive Logic.

1.5 The Logically Determined System.

1.6 Trusting the Logic: A Methodology of Logical Confidence.

1.7 Summary.

1.8 Exercises.

2. A Sufficiently Expressive Logic.

2.1 Searching for a New Logic.

2.2 Deriving a 3 Value Logic.

2.3 Deriving a 2 Value Logic.

2.4 Compromising Logical Completeness.

2.5 Summary.

3. The Structure of Logically Determined Systems.

3.1 The Cycle.

3.2 Basic Pipeline Structures.

3.3 Control Variables and Wavefront Steering.

3.4 The Logically Determined System.

3.5 Initialization.

3.6 Testing.

3.7 Summary.

3.8 Exercises.

4. 2NCL Combinational Expression.

4.1 Function Classification.

4.2 The Library of 2NCL Operators.

4.3 2NCL Combinational Expression.

4.4 Example 1: Binary Plus Trinary to Quaternary Adder.

4.5 Example 2: Logic Unit.

4.6 Example 3: Minterm Construction.

4.7 Example 4: A Binary Clipper.

4.8 Example 5: A Code Detector.

4.9 Completeness Sufficiency.

4.10 Greater Combinational Composition.

4.11 Directly Mapping Boolean Combinational Expressions.

4.12 Summary.

4.13 Exercises.

5. Cycle Granularity.

5.1 Partitioning Combinational Expressions.

5.2 Partitioning the Data Path.

5.3 Two-dimensional Pipelining: Orthogonal Pipelining Across a Data Path.

5.4 2D Wavefront Behavior.

5.5 2D Pipelined Operations.

5.6 Summary.

5.7 Exercises.

6. Memory Elements.

6.1 The Ring Register.

6.2 Complex Function Registers.

6.3 The Consume/Produce Register Structure.

6.4 The Register File.

6.5 Delay Pipeline Memory.

6.6 Delay Tower.

6.7 FIFO Tower.

6.8 Stack Tower.

6.9 Wrapper for Standard Memory Modules.

6.10 Exercises.

7. State Machines.

7.1 Basic State Machine Structure.

7.2 Exercises.

8. Busses and Networks.

8.1 The Bus.

8.2 A Fan-out Steering Tree.

8.3 Fan-in Steering Trees Do Not Work.

8.4 Arbitrated Steering Structures.

8.5 Concurrent Crossbar Network.

8.6 Exercises.

9. Multi-value Numeric Design.

9.1 Numeric Representation.

9.2 A Quaternary ALU.

9.3 A Binary ALU.

9.4 Comparison.

9.5 Summary.

9.6 Exercises.

10. The Shadow Model of Pipeline Behavior.

10.1 Pipeline Structure.

10.2 The Pipeline Simulation Model.

10.3 Delays Affecting Throughput.

10.4 The Shadow Model.

10.5 The Value of the Shadow Model.

10.6 Exercises.

11. Pipeline Buffering.

11.1 Enhancing Throughput.

11.2 Buffering for Constant Rate Throughput.

11.3 Summary of Buffering.

11.4 Exercises.

12. Ring Behavior.

12.1 The Pipeline Ring.

12.2 Wavefront-limited Ring Behavior.

12.3 The Cycle-to-Wavefront Ratio.

12.4 Ring Signal Behavior.

13. Interacting Pipeline Structures.

13.1 Preliminaries.

13.2 Example 1: The Basics of a Two-pipeline Structure.

13.3 Example 2: A Wavefront Delay Structure.

13.4 Example 3: Reducing the Period of the Slowest Cycle.

13.5 Exercises.

14. Complex Pipeline Structures.

14.1 Linear Feedback Shift Register Example.

14.2 Grafting Pipelines.

14.3 The LFSR with a Slow Cycle.

14.4 Summary.

14.5 Exercises.

Appendix A: Logically Determined Wavefront Flow.

A.1 Synchronization.

A.2 Wavefronts and Bubbles.

A.3 Wavefront Propagation.

A.4 Extended Simulation of Wavefront Flow.

A.5 Wavefront and Bubble Behavior in a System.

Appendix B: Playing with 2NCL.

B.1 The SR Flip-flop Implementations.

B.2 Initialization.

B.3 Auto-produce and Auto-consume.

Appendix C: Pipeline Simulation.

References.

Index.