%PDF-1.4 %ÐÔÅØ 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (1 Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (2 The transputer: basic architecture and concepts) endobj 13 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 16 0 obj (2.1 A programmable device) endobj 17 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 20 0 obj (2.2 Processor and memory on a single chip) endobj 21 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 24 0 obj (2.3 Serial communication between transputers) endobj 25 0 obj << /S /GoTo /D (subsection.2.4) >> endobj 28 0 obj (2.4 Simplified processor with micro-coded scheduler) endobj 29 0 obj << /S /GoTo /D (subsection.2.5) >> endobj 32 0 obj (2.5 Transputer products) endobj 33 0 obj << /S /GoTo /D (section.3) >> endobj 36 0 obj (3 IMS T800 Architecture) endobj 37 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 40 0 obj (3.1 Instruction encoding) endobj 41 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 44 0 obj (3.2 Floating point instructions) endobj 45 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 48 0 obj (3.3 Optimising use of the stack) endobj 49 0 obj << /S /GoTo /D (subsection.3.4) >> endobj 52 0 obj (3.4 Concurrent operation of FPU and CPU) endobj 53 0 obj << /S /GoTo /D (section.4) >> endobj 56 0 obj (4 Floating point unit design) endobj 57 0 obj << /S /GoTo /D (section.5) >> endobj 60 0 obj (5 Floating point performance) endobj 61 0 obj << /S /GoTo /D (section.6) >> endobj 64 0 obj (6 Formal methods ensure correctness and quick design) endobj 65 0 obj << /S /GoTo /D (subsection.6.1) >> endobj 68 0 obj (6.1 Z specification) endobj 69 0 obj << /S /GoTo /D (subsection.6.2) >> endobj 72 0 obj (6.2 High level occam implementation) endobj 73 0 obj << /S /GoTo /D (subsection.6.3) >> endobj 76 0 obj (6.3 Low level occam Implementation) endobj 77 0 obj << /S /GoTo /D (subsection.6.4) >> endobj 80 0 obj (6.4 Flattened low level implementation) endobj 81 0 obj << /S /GoTo /D (subsection.6.5) >> endobj 84 0 obj (6.5 Microcode) endobj 85 0 obj << /S /GoTo /D (subsection.6.6) >> endobj 88 0 obj (6.6 Summary) endobj 89 0 obj << /S /GoTo /D (section.7) >> endobj 92 0 obj (7 Communication links) endobj 93 0 obj << /S /GoTo /D (section.8) >> endobj 96 0 obj (8 Graphics capability) endobj 97 0 obj << /S /GoTo /D (subsection.8.1) >> endobj 100 0 obj (8.1 Instruction description) endobj 101 0 obj << /S /GoTo /D (subsection.8.2) >> endobj 104 0 obj (8.2 Drawing coloured text) endobj 105 0 obj << /S /GoTo /D (section.9) >> endobj 108 0 obj (9 Conclusion) endobj 109 0 obj << /S /GoTo /D (appendix.A) >> endobj 112 0 obj (A References) endobj 113 0 obj << /S /GoTo /D (appendix.B) >> endobj 116 0 obj (B Occam) endobj 117 0 obj << /S /GoTo /D (appendix.C) >> endobj 120 0 obj (C The "Livermore Loops") endobj 121 0 obj << /S /GoTo /D (appendix.D) >> endobj 124 0 obj (D The formal specification language Z) endobj 125 0 obj << /S /GoTo /D [126 0 R /Fit ] >> endobj 128 0 obj << /Length 290 /Filter /FlateDecode >> stream xÚu1OÃ@…÷ü Ép®}¾ÜùFŠ(´R‹·!†*¤´RiEhþ=—¤ ˜lÉïù}z¯@p[Ð?sšŠÉŒX‡ACÚ€Ô‚^œgô,^à©œ/+#¡.“UÏiFÕG06¢ªŽ²«®©„ËíîÔ6§s×öÊâ&ïç8æ€jówt!BóVô©}]ƒÃ¨]›â၊óv€ãˆNH$á’:_-ï{¼šÊTeƶÊ[³=ìš~YïÇÓêxjÇÍX¿«˜Ì$ FŠCÁ ÆŠ Eù¥RN»ÝÇé¸ïeÊú»Õ:’lÕìt£s±>TVËóºûÌ~‘’£êØdDËLn$70ˆƒ5éúÎyCöOÚ\ê¼Vj endstream endobj 126 0 obj << /Type /Page /Contents 128 0 R /Resources 127 0 R /MediaBox [0 0 595.276 841.89] /Parent 135 0 R >> endobj 129 0 obj << /D [126 0 R /XYZ 117.828 740.002 null] >> endobj 130 0 obj << /D [126 0 R /XYZ 117.828 715.095 null] >> endobj 127 0 obj << /Font << /F17 131 0 R /F19 132 0 R /F37 133 0 R /F15 134 0 R >> /ProcSet [ /PDF /Text ] >> endobj 139 0 obj << /Length 707 /Filter /FlateDecode >> stream xÚuT[o›0~ϯð£#á²>¥YÚ2•¤K¨ª¨Ú!Nc bfȪþûÙ>& Ú&$Û|çœï\m½!ݏÜÿìT­.¢È§’Äò˜„^ŒÊzôkä’‰÷»}lÂ3vÖ}£ïêëùœžÐ¹`¼ÍG×wt‚’„^ˆò=¢4"±zA@"¡|‡^ñfûXœÆŽïû¸.Æ^Œ?ôO€¢û2þ‘;‡h@Ü9Š&ñ}0§d¨òêL‚gbì(¢ßk.×Ç݁éC€³¢c’U¸°ŸZ+WŠ5@û^Vû ”¼uÍd©@Øœdc|‰–]i(Á—vþèõ¶/u¬ˆúÄs}•%ÉdiìxÛT6yU+(03©B©‹cÉ,܃W ‘ÌÄØÕÍ°ÎÙ™®™Î¼Öl¥8)®…&ú­ÜŸi¨ŸR4&HÉßÆã0¡Êgä¬+¤5Uíä%kÁ`/E 0tFΝ1)¨ˆÿnv~àÊ>ð<¼Ó Žpyª™ ¯Ó0Åg1o;É·§Ží¬àãMa‹ÛãEOÑòΫ í¥¢”ý©R+€¾¤ùÃò97»ÃÎN›±¾øeL)ÅÓÕjºÈ77€½óî 4‰OCÌ êGA]ԁ×MÅuZç]«RÂLvý`*‰Øƒz6_itö ÜèQšÞ¦i¾„Bh}×îÒ|1_¯¡3wÚz¹É¶'C´ÒkžÎž§Vüô¼zZ®çäL®îzl{•.²åÚlšÁ)ÀËÙlšÙ¹’¶ñ,v¬.äO;&m¥àøÈk®zùéÈ'“ ¹p4PÞZ?öiQ÷Z ÊÖÌ é§«ó®ï׎je¶^.@#㥄Yc+;)Ž¼´qÞKqj†WÉvj6 endstream endobj 138 0 obj << /Type /Page /Contents 139 0 R /Resources 137 0 R /MediaBox [0 0 595.276 841.89] /Parent 135 0 R >> endobj 136 0 obj << /Type /XObject /Subtype /Image /Width 321 /Height 65 /BitsPerComponent 8 /ColorSpace /DeviceRGB /Length 1728 /Filter /FlateDecode /DecodeParms << /Colors 3 /Columns 321 /BitsPerComponent 8 /Predictor 10 >> >> stream x^íœQšÛ „Ûû_¡‡éͶiRŠ@I{òíC“!ú%a§ûýëëë_T€ ì«À†|î‡öumèóZ‚¯‰ üüûšhóeêeµý»»â·1ô¹ñ²LÿÍ17ÔnM¡ë@»æpô¶dî€bçøm=†Gڍ䈇S7ñòT f5i xÈÛÃÃzd7S”›dÁ:l€M†'2°»)Ye‘ôBÛôÏ’ä®Á:ka2¼;YëüWêp]KͲܖo’eË]—b”áF'üˆ{ƒ:†_l`ä}ÖÅøVÒÏÃMQm:dÉv-˜´Üí®eå'ìà oê%–;R ÍçÍ©U¾mœÒnøgvÜÜZP'ÕŸ25ziìŠ °³_1.鮀ͰnË,H¶ËçÊ*¦}ÅÓyýùs×mïÓÿâd÷BÌKÀC#7Uà¢ã$耻ËÒÉÑr1û:½õZº}PÛT+2,¥3 îJÌ>hÜÌ2ù/Z‘a|/î7Òføˆ¼06ñ„ôŠ¦¬1ÆŠÛr:ž&ÿM·‘Ri®)¿"Ùà+2lžñêHŽè³’‹a¥û]T†á’^ÉðÍ°t]΃Öu 0¦g|ŽíÏaÓ›ã\ÁÁÛ)p†Á-Ùˆa0;tA ¶‘7g߉k2<*Å8Ƹ¹©wfXnIsVnÕ'[oä†“Þ ƒ½±^ “¦ØN1,o˜oÄ°’}̱]PÒa—dø-×5{i¥Jƒí´+8xGÊ°ÞfƒÏ®tŠpƐ'Cæ#nöÒ;â7Åç Ãemó9rÞÃ}ô˜wJø^¶#ÛŒdÄÇì¨ ÊpøY剃7uÍó$˜#¦Ÿ·Aÿõ4ºcPÒg—†»!uå:\ß[–¥,þái޾⿞wÌ`®áà‹+àcØ$¶{ļ u·vKÿ/‚t/© æß H†§Ÿ¬ &Ã'‡ —O*@†Ép2„8ýdÈ0>9¹|R2L†“!Äé'+@†ÉðÉ!Èå“ üf˜/*@öU`Ùdzæ\>6¿§ej˜@ýÏ×Aú¿3ðä°Lû#騏T7Ñ'@Žw #cÞ˜9Æß„1ñgacjÈYo}f™Sìa232õ1q]³È0vLL†Ép,rþÍbA1ôé^‘öÛÀ^Ú&g¸¹9i›æyÐ×0Örû©ø‰]¼kÖzéÔ°Îèuæú¤âÇEcl0æy89Œ#~bâºfqÈ°+`xOk×:Üõ[~ëEÙ~ý<£ë‚¨†œ—¤Ãõ'ï uše¤Fù¼»¢OŒÞc–i ¡pü4?¤ÿ„øÉHÎÕaÝ{„„‡0l •¯ó†Y9’XŽ0Ýž’ƒ>ªÿSV²@ÉÖ2îQ‡Í :Ĩ»Ö@0™u2p +—ÖçÓúdoÏI•‘éx®­åëÀ†Kׇ4²=SrÐñ«‘Ù¼>ŠÚ2°Â î#@ÀFiÎÌAgéŠöö2ì-¤fž¾ÃÓõñfÌ®zÊ„¹¿2ÇÕ‘†¤!Ã×Õ?©22ÇêŒYi‘ c¦©-ê°lsôæHgØÔ°BÂä2<…a³oÌÔI3ÉðuõOò‰L'Ãd‰“@J—\u˜w6ÑÌýÈ ¥WIn0r+Weº¨cfИ‹šç½úã¶9¥ë½hr‹É0ºG¬ÃSê0*w5Žô