Computer Laboratory

2000-2004, 2010+ Publications: Dr. D J Greaves.

D J Greaves, MA, PhD, MIEE.

This list is not complete. Publications were being placed in the online Computer Laboratory Publications Database but I have resumed adding all recent ones to this page now.

System Specification, Hardware and Software Synthesis

  • 2019:`FRAMER: A Tagged-Pointer Capability System with Memory Safety Applications'. At 35th Annual Security Applications Conference (ACSAC 2019). MJ Nam, P Akritidis and DJ Greaves. Puerto Rico Dec 2019.

  • 2019: `Further Sub-cycle and Multi-cycle Schedulling support for Bluespec Verilog'. DJ Greaves. At Memocode 2019, La Jolla, San Diego.
    Bluespec is a hardware description language where all behaviour is expressed in rules that execute atomically. The standard compilation semantics for Bluespec enforce a particular mapping between rule firing and hardware clock cycles, such as a register only being updated by exactly one firing of at most one rule in any clock cycle. Also, the standard compiler does not introduce any additional state, such as credit-based or round-robin arbiters to guarantee fairness between rules over time. On the other hand, many useful hardware resources, such as complex ALUs and synchronous RAMs, are pipelined. Unlike typical high-level synthesis tools, in standard Bluespec such resources cannot be invoked using infix operators in expressions such as A[e] or e1*e2 since binding to specific instances and multi-clock cycle schedules are required. In this paper we extend the reference semantics of Bluespec to decouple it from clock cycles, allowing multiple updates to a register within one clock cycle and automatic instantiation of arbiters for multi-clock cycle behaviour. We describe the new semantic packing rules as extensions of our standard compilation rules and we report early results from an open-source, fully-functional implementation.
    Paper PDF       Slides PDF.

  • 2017: `Kiwi Scientific Acceleration at Large: Incremental Compilation and Multi-FPGA HLS' DJ Greaves. One page in the proceedings and working demonstration. At FPL'17, Ghent, Belgium, 2017.

  • 2017: `Extending programs with debug-related features, with application to hardware development' N Sultana, S Galea, DJ Greaves, 8 further authors. Published online at May 2017.

  • 2017: `Emu: Rapid Prototyping of Networking Services' Nik Sultana, Salvator Galea, David Greaves, 12 further authors. USENIX Annual Technical Conference ATC'17, pp 459-471, Santa Clara, 2017.

  • 2015: `Layering RTL, SAFL, Handel-C and Bluespec Constructs on Chisel HCL.' DJ Greaves. At Memocode'15, The 13th ACM-IEEE International Conference on Formal Methods and Models for System Design at the University of Texas at Austin September 21-23, 2015. Chisel is a hardware construction language that supports a simplistic level of transactional programming via its Decoupled I/O primitives. In this paper we describe extensions that layer popular design paradigms on the Chisel substrate. We include RTL, SAFL-style functional hardware description, Handel-C message passing and Bluespec rules. We then briefly discuss interworking between these design styles. Paper PDF.   Slides PDF.

  • 2015: `Fine-grained Energy/Power Instrumentation for Software-level Efficiency Optimization' DJ Greaves, M Puzovic, AM Zaidi, K McDonald-Maier, Andrew Hopkins. At Forum on Description Languages, FDL'15, Barcelona, September 2015. Abstract: In the pursuit of both increased energy-efficiency, as well as high-performance, architects are constructing in- creasingly complex Systems-on-Chip with a variety of processor cores and DMA controllers. This complexity makes software implementation and optimization difficult, particularly when multiple independent applications may be running concurrently on such a heterogeneous platform. In order to take full ad- vantage of the underlying system, increased visibility into the interaction between the software and hardware is needed. This paper proposes on-line and off-line fine-grained instrumentation of SoC components in hardware (e.g. as part of the debug & trace infrastructure) in order to enable improvements and optimization for energy efficiency to be undertaken at higher levels of abstraction, i.e. the programmer and runtime scheduler. Energy counters are incorporated for each component that keep track of energy use. These counters are indexed by customer number tags, that are used to distinguish between the transactions executed on any given component by client applications running in a multitasking SoC environment. The contents of the counters for each augmented component, correlated with the appropriate consumer-numbers, are extracted from a running SoC under test via existing debug & trace interfaces like GDBserver, JTAG and various proprietary trace probes. In addition, auxiliary processing on-chip computes local and global energy figures and offers them through a 4-layer abstraction stack so that programmer-level fine- grained energy measurement is made available. Both the O/S scheduler and programmers can adapt their policies and coding styles for their desired energy/performance tradeoff. PAPER PDF. SLIDES PDF.

  • 2015: `A toolchain for safety-critical embedded programming using FPGAs' J Kimmitt, DJ Greaves, G Wilson. At INDIN 2015 IEEE International Conference on Industrial Informatics 22-24 July 2015, Cambridge, UK.

  • 2014. `A New Dataflow Compiler IR for Accelerating Control-Intensive Code in Spatial Hardware' A M Zaidi and DJ Greaves. At IPDPS'14. Abstract: While custom (and reconfigurable) computing can provide orders-of-magnitude improvements in energy efficiency and performance for many numeric, data-parallel applications, performance on non-numeric, sequential code is often worse than what is achievable using conventional superscalar proces- sors. This work attempts to address the problem of improving sequential performance in custom hardware by (a) switching from a statically scheduled to a dynamically scheduled (dataflow) execution model, and (b) developing a new compiler IR for high- level synthesis that enables aggressive exposition of ILP even in the presence of complex control flow. This new IR is directly implemented as a static dataflow graph in hardware by our prototype high-level synthesis tool-chain, and shows an average speedup of 1.13× over equivalent hardware generated using LegUp, an existing HLS tool. In addition, our new IR allows us to further trade area and energy for performance, increasing the average speedup to 1.55×, through loop unrolling, with a peak speedup of 4.05×. Our custom hardware is able to approach the sequential cycle counts of an Intel Nehalem Core i7 superscalar processor, while consuming on average only 0.25× the energy of an in-order Altera Nios IIf processor. A longer version Will also shortly appear in IEEE Transactions on Reconfigurable Technology and Systems. PDF. DOI 10.1109/IPDPSW.2014.18.

  • 2013. `An Open-Source Bluespec Compiler' DJ Greaves. Put online only in 2018. In this Research Note we report on an open-source compiler for the Bluespec hardware description language. PDF.

  • 2013. `Achieving Superscalar Performance without Superscalar Overheads – A Dataflow Compiler IR for Custom Computing' A M Zaidi and DJ Greaves. ICCSW'13, Imperial College, London. ISBN 978-3-939897-63-7. The difficulty of effectively parallelizing code for multicore processors, combined with the end of threshold voltage scaling has resulted in the problem of ‘Dark Silicon’, severely limiting per- formance scaling despite Moore’s Law. To address dark silicon, not only must we drastically improve the energy efficiency of computation, but due to Amdahl’s Law, we must do so without compromising sequential performance... PDF.

  • 2012. `TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0' DJ Greaves & MM Yasin. At FDL'12 Forum on specification & Design Languages. Vienna. September 2012. 6 pages. We report on a SystemC add-on library which extends every SystemC module with non-functional data regarding power consumption and physical layout and which accumulates and estimates dynamic energy usage. It supports both phase/mode power modelling and energy-per-transaction logging for TLM (transactional-level modelling). Wiring energy is computed by counting bit-level activity within the TLM generic payload. Each leaf component can also register its physical dimensions to facilitate a wire length estimator that traverses the SystemC model hierarchy using either full placement or Rent's rule estimators. It also supports dynamic voltage islands and inter-chip wiring, where each transaction can consume energy according to the current supply voltage of the relevant islands and the nature of the interconnect. We report on basic peformance from some SPLASH-2 benchmarks running on a modelled OpenRISC quad-core platform. Paper: Full Text PDF. Slides: SLIDES PDF. Also appears in extended form in `Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012' Editor Jan Haase, Lecture Notes in Electrical Engineering (Springer) 2013.

  • 2012. `A Novel Design Flow for Fault-Tolerant Computing' JR Kimmitt G Wilson & DJ Greaves. At IEEE CEEC'12 (Best Paper Award) Essex, UK, September 2012. 6 pages. PDF. This paper presents a new hardware synthesis flow, which generates an output verifiable in a field-programmable gate array. It demonstrates the relevance of fault-tolerant synthesis as required by demanding, sustainable, safety-critical applications. Although general-purpose in capability, the technique is partic- ularly applicable for modern processor implementations, where the consequences for undetected errors are usually catastrophic

  • 2012. `Deadlock Avoidance and Combinational Balancing for High-Level Synthesis'. DJ Greaves. At Compiling Complete Programs into Circuits Workshop (CCPC 2012) 4th March 2012, London. The Bluespec and Kiwi tool chains project systems of communicating processes into hardware circuits. When a number of proceses are composed, two problems commonly arise at the system level: deadlock and excessive combinational delay. Both problems are emergent as the system grows and are best solved using a global pass of the whole assembly, rather than by systematic modification to components before composition. SLIDES PDF.

  • 2011-2017: Kiwi High-Level Synthesis (HSL) Kiwi Scientific Acceleration User Manual: KiwiC (pdf) DJ Greaves and Satnam Singh. Kiwi was a collaborative project between the University of Cambridge Computer Laboratory and Microsoft Research Limited, headed by David Greaves (UoCCL) and Satnam Singh (MRL). From 2013 onwards, the Kiwi system was further developed at the Computer Laboratory and using a logic synthesis library called HPR-L/S. Kiwi is developing a methodology for algorithm acceleration using parallel programming and the C# language. Specifically, Kiwi consists of a run-time library for hardware FPGA execution of algorithms expressed within C# and a compiler, KiwiC, that converts .NET bytecode into Verilog RTL for further compilation for FPGA execution. In the future, custom domain-specific front ends that generate .NET bytecode can be used.

  • 2011. `Distributing C# Methods and Threads over Ethernet-connected FPGAs using Kiwi'. DJ Greaves, S Singh. The Kiwi system achieves co-design by allowing nominated regions of C# programs to be targeted at FPGAs while the remainder executes on unmodified .NET and Mono virtual machines. Using C# attributes, certain methods are identified for separate compilation and collections of methods are mapped to multiple FPGAs or to workstations connected to a common Ethernet switch. Individual methods become RPC-callable entities for the top-level C# thread running on one workstation, while server threads may run continually on other workstations or FPGAs. We illustrate the concept using minimal modifications to an Adobe Photoshop plug-in where the processing for each colour channel is farmed over the Ethernet to one or three remote entities which may each be either an FPGA or a workstation. At MEMOCODE 2011 PDF (9 pages). (PDF).

  • 2010. `Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications.' DJ Greaves & MJ Nam. Whitepaper: PDF. Slides: PDF. At Forum on Description Languages 2010, FDL'10, Southampton, UK. Local Materials.

  • 2004. `Automated Hardware Synthesis from Formal Specification using SAT solvers' DJ Greaves. RSP 2004, Geneva. Paper PDF, slides PPT.

  • 2009: `Synthesis of a Parallel Smith-Waterman Sequence Alignment Kernel into FPGA Hardware', S Singh, DJ Greaves, and S Sanyal. At Many-Core and Reconfigurable Supercomputing Conference 2009 (MRSC09), Berlin., IEEE Computer Society, March 2009. This paper addresses the issue of making FPGA- based co-processors accessible to systems biologists who do not have an extensive knowledge of digital circuit design or hardware description languages like VHDL or Verilog. Our approach allows a software engineer to model the compute intensive core of some algorithm (the as a multi-threaded program which can then be automatically synthesized into a digital circuit. Key aspects of our approach include the ability to control the quality of results by adjusting the model to instantiate different numbers of threads and adjust how information flows between threads and well as the ability to program, debug and verify using regular software compilers and integrated design environments (IDEs). We illustrate our approach using the kernel of the Smith-Waterman sequence alignment algorithm. This kernel is expressed as a parallel C# program which is automatically compiled into an FPGA implementation. We describe how to represent the parallel architecture of the desired circuit using multi-threaded code which models the key architectural aspects of the circuits. We argue that descriptions in a regular, high-level lan- guage that can be automatically compiled into circuits makes hardware-based accelerators more accessible to software engineers. MSR LINK. PDF.

  • 2004. `Automated Hardware Synthesis from Formal Specification using Symbolic Model Checking.' System and circuit design can be considered as planning problems, where resources are deployed in time and space to meet a given goal. At the lowest level, systems and circuits are finite state automata that must meet their design specification in all reachable operating states, but these constraints may be relaxed during a system start-up phase. In this paper we show how symbolic model checking can be used to synthesise hardware systems that conform to such specifications. We include an example each of gate-level synchonous logic, gate-level asynchronous logic and higher-level component module integration. We also demonstrate how to synthesise protocols that are guaranteed to recover from errors. Submitted to ????.

  • 2004 'C Models Speed Co-Design: Virtual silicon meets the needs of hardware and software development simultaneously.' By Neil Richards, James Green, William Stoye, and David Greaves Published in December 2004 issue of Chip Design Magazine. Developing system-on-chip (SoC) devices for DSL applications is a tricky business. These products usually consist of a highly flexible communications processor with multiple CPU cores, several external interfaces and multiple RAMs and are frequently integrated with DSL physical layer devices. GlobespanVirata (Redbank, NJ) is in the business of designing SoCs for DSL, and we know that the throughput, flexibility and timely delivery of the silicon and software depend heavily on close cooperation between the hardware and software disciplines. PDF.

  • 2003. `High-Level Hardware Specifications' Keynote Talk. DJ Greaves. 3rd U.K. ACM SIGDA Workshop, PDF.

  • 2003. `Using RTL-to-C++ translation for large SoC concurrent engineering: a case study.' DesignCon 2003 Santa Clara Convention Center, CA, January 27-30, 2003. Also appeared as: `Using RTL-to-C++ translation for concurrent engineering'. William Stoye, David Greaves, Neil Richards, James Green. in IEE Electronic Systems and Software - Volume 1, Issue 1, Feb 2003. Link.   Link2.   PDF.

  • 2000. `VTOC Verilog to C Compiler'. This paper was presented at RSP 2000 in Paris:   PDF

  • 2000. `Extracting formal models from synthesised Verilog.' Mike Gordon, David Greaves, Konrad Slind. Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000). The verification of implemented algorithms can be decomposed into (i) showing properties of an abstract representation of the algorithm and (ii) showing the abstract representation is correctly implemented. In this paper we discuss an approach to (ii) based on automatically extracting formal logical models from the output of the CV3 Verilog compiler. CV3 output is processed by inference using HOL, but the use of HOL is completely hidden from the user. The model extraction is packaged as a Unix tool that reads a Verilog source file and creates a HOL theory file. Command line options are used to select the kind of model produced and the form in which it is represented. PDF

  • 1997. `Synthesizable Verilog : Syntax and Semantics.', M.J.C. Gordon, D. Greaves, D. Stewart. VFE (Verilog Formal Equivalence) Project.   Full text PDF. Synthesizable Verilog is a subset of the full Verilog HDL that lies within the domain of current synthesis tools (both RTL and behavioral). This document species a subset of Verilog called SV0. This subset is intended as a vehicle for the rapid prototyping of ideas. The method chosen for developing a semantics of all of synthesizable Verilog is to start with something too simple, SV0, and then only to make it more complicated when the simple semantics breaks. This way it is hoped to avoid unnecessary complexity. It is planned to dene sequence of bigger and bigger subsets (SV1, SV2 etc.) that will converge to the version of Verilog used in the VFE project at Cambridge.

  • 1995. `The CSYN Verilog Compiler and Other Tools' DJ Greaves. At the (First) International Workshop on Field Programmable Logic. FPL'95. This paper reports the first use of Verilog RTL to program FPGAs (unless anyone knows of anything earlier?). The CSYN Verilog compiler was written by Dr Greaves in early 1994 as a vehicle for research in logic synthesis algorithms and to support experimental extensions to the Verilog language to test high-level specification techniques. A basic version of CSYN is in use at a number of local companies for industrial FPGA design. This paper describes CSYN and its use with Xilinx devices for teaching. To extend this work, we are defining formal semantics for Verilog, both for simulation and compilation into hardware. This paper reports the performance of CSIM, an X-windows Verilog simulator based on the formal simulation semantics and expresses the desire for a general purpose semantics for Verilog, which can help prove the equivalance of different implementations of a module. In LNCS Volume 975, pp 198-207. ISBN 3540 60294-1. Oxford, September 1995. Full text PDF.

General Networking

  • 2002. `Performance Of A Home Lan Over Homepna 2.0 Stations' S Suh and DJ Greaves. 8th IEEE International Conference on Communication Systems (ICCS 2002), 25-28 Nov. 2002 Page(s): 661 - 668 vol.2.

  • 2002. `Application of a multi-carrier modulation to a nondeterministic MAC based home LAN and its effect on performance.' S Suh and DJ Greaves. 8th IEEE International Conference on Communication Systems (ICCS 2002), Nov 2002

Reliable Scripting and Embedded Systems

  • 2008. `Using a .NET Checkability Profile to Limit Interactions between Embedded Controllers'. DJ Greaves, , D Gordon, A Alvi & T Omitola. At SENSORCOMM 2008. Within a closed domain—such as a railway train, chemical production line, vehicle or home of the future concurrent applications running in embedded controller units (ECUs) and on servers share many common sensors, actuators and feedback paths through the physical part of the domain, while having to abide by common, basic liveness and consistency rules to ensure proper operation of that domain. This paper suggests that all ECUs must export a summary of their behaviour using a restricted subset of .NET bytecode and that the programming constructs used by all participating controllers must abide within a common upper bound so that automated formal checking of domain as a whole is possible. The upper bound is defined as a Checkability Profile. We describe the ROM and RAM costs of implementing this approach in one of our prototypes: a CD/DVD player for the home of the future.   PDF.   PPT.

  • 2006. `Using Simple Pushlogic'. DJ Greaves, D Gordon. At WEBIST 06. PDF.

  • 2006. `A LOGICAL APPROACH TO HOME AUTOMATION.' A Alvi, DJ Greaves. 2nd IEE International Conference on Intelligent Environments, July, 2006, Athens (

  • 2006. `Avoiding two-level systems: Using a textual environment to address cross-cutting concerns.' DJ Greaves. Proceedings ICSOFT 2006, First International Conference on Software and Data Technologies, Setúbal, Portugal, September 11-14, 2006.

  • 1993. `ATM Network Services for Workstations.' DJ Greaves and D McAuley. Workpackage B of OSI 95 was titled `New Communications Techniques' and was an evaluation of how to make use of the new communications techniques which offer services with a guaranteed quality of service, including ATM and B-ISDN. This document discusses the provision of the ATM networking services to application programs running on general purpose computing equipment which is connected to an ATM network. Book chapter in 'The OSI95 Transport Service with Multimedia Support (Research Reports Esprit)' by Andre Danthine (Editor), published Springer Verlag 1994. pp260-278. PDF.

Home Networking

  • 2003. `Agile Programming For Mobile Adaptive Systems.' T Omitola and DJ Greaves. Presented at the ANWIRE Workshop at FMOODS 2003, Paris.

  • 2003. `Towards Autonomous Dependable Systems', presented at Cabernet Workshop November 2003. T Omitola and DJ Greaves.

  • 2002. `Control Software for Home Automation'. DJ Greaves. At `International Workshop on Smart Appliances and Wearable Computing (IWSAWC 2002)', July 2nd, Vienna 2002. PDF.

  • 2001. `Internet Access to Home Area Network' Umar Saif, Daniel Gordon, David Greaves IEEE Internet Computing 54-63: Vol. 5, No. 1, January/February 2001. The AutoHan project implements a self-configuringsoftware architecture for home area networks that offersan XML-based registry and HTTP-based event service. PDF.

  • 2001. `Context-aware Adaptation in UbiqtOS: A Java-based Embedded Operating System for Ubiquitous Computing'. "Umar Saif, David Greaves" 5-minute presentation + poster at ACM SOSP 2001. Banff, Canada. We present a bottom-up design of an extensible, Java-based embedded operating system that lends itself to secure, efficient, context-driven adaptation. A universal, eternal substrate is embedded in resources to enable effective participation in the system.

  • 2001. "Communication Primitives for Ubiquitous Systems or RPC Considered Harmful". Umar Saif, David J. Greaves. Proceedings of 21st International Conference of Distributed Computing Systems (Workshop on Smart Appliances and Wearable Computing), 2001.

  • 1998. `A revised 51 Mbps scrambler proposal'. ATM Forum Contribution AF 98-0305. 19-Apr-98. DJ Greaves Virata, A Quayle, R Dearnaley, BT Labs. PDF.

  • 1998. `Warren: A Protocol for control of ATM hardware'. ATM Forum Contribution AF 98-0008. Feb-98. DJ Greaves and RJ Bradbury. Rhis contribution proposes that the ATM Forum accept the Warren Control Protocol (WCP) as the recommended means for low-level control for line interface chips, endstations, and dumb switches. PDF. Also TXT.

  • 1998 'Warren: A low-cost ATM home area network' IEEE Network Magazine, February 1998 12(1):44-56. DJ Greaves and RJ Bradbury This article introduces the concept of the ATM Warren. The Warren is an arbitrary mesh subnetwork of very simple ATM switches and end stations connected to the wide-area B-ISDN at one or more points. The Warren differs from other ATM networks in that both switches and end stations are designed to be implemented entirely in hardware with all control software banished to external computers. DAVID J. GREAVES completed his Ph.D. at the University of Cambridge in 1989 on the subject of ATM metropolitan area networks. For four years he was a research engineer at Olivetti Research in Cambridge, where he developed ATM prototype switches and line interfaces. He was one of the first advocates of ATM technology outside the core network. Currently he is a university lecturer in Cambridge and also retains the position of chief scientist at ATM Ltd. His other research interests include the semantics of hardware specification languages. Together with members of the Hardware Verification Group at the University of Cambridge Computer Laboratory, he has developed a unifying compilation semantics for imperative languages, including the popular Verilog language, and it is hoped that this work will be published soon. He acts as a consultant to a number of international communications companies, including BT.

  • 1997. Invited talk and paper: `ATM in the Home and the Home Area Network', DJG. 5 pages. At IEE Colloquium on ATM in Professional and Consumer Applications, Savoy Place, May 1997, ATM in Professional and Consumer Applications (Digest No: 1997/113). PDF0, PDF1.

  • 1996. `ATM for Video and Audio on Demand'. Despite the massive amount of work we did on the Cambridge Interactive TV Trial, I only have one publication to show. This was presented to the Audio Engineering Society, in 1996 and they did not really believe the message in the paper. However, their 2000 conference was almost entirely dedicated to audio in packets. AES Paper (PDF)   AES Paper Abstract (ascii).

  • 1995. `AF-ALL: 95-0214: Residential ATM Common Aspects' This contribution recommends that the access point for broadband services within the home should be a UNI-complient ATM port known as the `Homepoint' and defines further baseline criteria that all residential ATM solutions should adopt... PLAIN TEXT.

  • 1994. `A Modular Approach to Low Cost Networked Multimedia' DJ Greaves and A. Hopper. Proceedings of Hot Interconnects II, Stanford. pp 287-310. DOI Bookmark:10.1109/CONECT.1994.765359. Advanced Telecommunications Modules Limited. SLIDES PDF.

  • 1994. `Single Chip ATM Solution AToM-100' DJ Greaves - ATM Ltd PDF (14 pages). The AToM-100 is a CMOS VLSI incorporating an ARM 32-bit RISC processor core for embedded ATM controller applications. 0.8 micron fabrication.

Some pre-1995 Papers

  • 1990. "Unforgeable Marker Sequences". DJ Greaves & Stephen Montgomery-Smith. ResearchGate     PDF.

  • 1991-2. "The Cambridge Backbone Network, An Overview and Preliminary Performance." `Preliminary Performance Results for the CBN Half-Duplex VME Stations', DJG & K Zielinski. At IFIP WG 6.4 workshop `Local Communication Systems' Palma, 1992. Proceedings pub North Holland, eds. G Pujolle & R Puigjaner, pp 391-406.In `Computer Networks and ISDN Systems' Vol 25 No 10, pp 1127-1133, May 1993. PDF. Similar paper: Second International Conference on Local [36] Communications Systems: LAN and PBX, June 26-28. [37] 1991, Palma. PDF.

  • 1992. "Multi-Access Metropolitan Area Networks" David J. Greaves. PhD Dissertation (thesis), University of Cambridge Computer Laboratory This dissertation investigates the applicability of multi-access computer net- works to the Metropolitan Area. The term Metropolitan Area refers to a geographical area comparable in size to a small town or a university campus. A multi-access network consists of a shared medium, such as an optical fibre or a radio frequency, onto which the client stations broadcast according to medium access rules. Stations wishing to receive monitor the broadcasts, looking for transmissions addressed to them. Today, multi-access techniques are primarily used for Local Area Net- works which span an office or floor, but the underlying integrated circuit and optical fibre technologies have advanced such that both the speed of opera- tion and the distance covered can be increased nearly one hundredfold. The dissertation examines whether the new technology enables multi-access net- works to be applied in the Metropolitan Area to form a backbone network, and then, whether such a backbone can support the new services expected of advanced Metropolitan and Local Area Networks, such as the capability to carry real-time voice and video. The dissertation concerns itself only with the hardware and medium access control implementation, having summarised some of the management and routing techniques which may be applicable in an introductory chapter. Several chapters of the dissertation discuss the design and implementation of a prototype multi-access Metropolitan Area Network, designed and partially constructed by the author as part of the research. Download: PDF (229 pages).

  • 1992. "Private ATM Networks" David J Greaves and Derek McAuley. In IFIP WG 6.4 workshop Protocols for high-speed Networks, Swedish Institute of Computer Science. Published North Holand 1992. This paper advocates the use of local area networks which use 48-byte ATM cells. Hosts connected to the network are fitted with ATM interfaces and run a new protocol stack, up to the network level, which avoids multiplexing and efficiently handles the out-of-band signalling used by ATM. The private network may be of WAN, MAN or LAN dimensions and contain several different network technologies, provided each is able to perform the basic function of carrying ATM cells from one point to another. The private network may be connected to the B-ISDN at one or more points. PDF.

  • 1990. "The double-slot slotted ring protocol (DSR)." DJG. Proc Telecommunications Symposium (ITS'90) pp 238-242, Rio de Janeiro Sept 1990. DOI 10.1109/ITS.1990.175605. PDF.

  • 1989. "Cambridge HSLAN Protocol Review. Presented at IFIP WG6.1 Workshop, IBM Ruschlikon." In `Protocols for High-Speed Networks', eds. H Rudin and R Williamson, pp 257-268, Elsevier Science, ISBN 0444885366, August 1989. Original PDF, Final PDF.

  • 1985. "DigiPoly Digital Polyphonic Keyboard". David J Greaves. Wireless World, No. 1593. Sept 1985-Jan 1986. PDF.

  • 1985. "Pulse Generator for 63XX PROM Programming". David J Greaves. Half-page. Electronic Engineering Magazine, April 1985. PDF.

  • 1984. "GPIB Combiner". David J Greaves. Wireless World, No. 1579, Pages=54-57+62. April 1984. PDF.