Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Paul Day

dblp:85/2329 · DBLP profile ↗
← Back
7ranked-venue papers
2as first author
0since 2021 · last 1999
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 5 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
3 papers
Processor architecture and microarchitecture · 30% Energy-efficient computing · 30% Integrated circuit design · 30%
Software engineering, system software, and programming languages
1 paper
Operating systems · 100%

Topics — the 9 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Energy-efficient computing › low-power design
low-power processor design
0.011999
AMULET2e: an asynchronous embedded controller · Proc. IEEE 1999
Integrated circuit design › asynchronous circuit design
micropipeline
0.011997
AMULET1: A Asynchronous ARM Microprocessor · IEEE Trans. Computers 1997
Embedded and real-time systems › embedded hardware
embedded controller
0.011999
AMULET2e: an asynchronous embedded controller · Proc. IEEE 1999
Integrated circuit design
asynchronous circuit design
0.011997
AMULET1: A Asynchronous ARM Microprocessor · IEEE Trans. Computers 1997
Operating systems › resource management
dynamic resource allocation
0.011973
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control · SOSP 1973
Operating systems › resource management › process management
multiprogramming
0.011973
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control · SOSP 1973
Operating systems
resource management
0.011973
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control · SOSP 1973
Embedded and real-time systems › real-time scheduling
priority scheduling
0.011973
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control · SOSP 1973
Embedded and real-time systems
real-time scheduling
0.011973
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control · SOSP 1973

Methods — techniques the papers use, named apart from their topics

dynamic bus sizing · 0.0asynchronous circuit design · 0.0sutherland micropipelines · 0.0register locking · 0.0memory protection · 0.0interrupt-driven scheduling · 0.0
YearPublicationVenuePosition
1999 AMULET2e: an asynchronous embedded controller
abstract
AMULET2e is an embedded system chip incorporating a 32-bit ARM-compatible asynchronous processor core, a 4-Kb pipelined cache, a flexible memory interface with dynamic bus sizing, and assorted programmable control functions. Many on-chip performance-enhancing and power-saving features are switchable, enabling detailed experimental analysis of their effectiveness. AMULET2e silicon demonstrates competitive performance and power efficiency, ease of system design, and it includes innovative features that exploit its asynchronous operation to advantage in applications that require low standby power and/or freedom from the electromagnetic interference generated by system clocks.
Steve Furber, Jim D. Garside, Peter A. Riocreux, Steve Temple, Paul Day, Nigel C. Paver
Proc. IEEE5
1997 AMULET1: A Asynchronous ARM Microprocessor
abstract
An asynchronous implementation of the ARM microprocessor has been developed using an approach based on Sutherland's Micropipelines. The design allows considerable internal asynchronous concurrency. This paper presents the rationale for the work, the organization of the chip, and the characteristics of the prototype silicon. The design displays unusual properties such as nondeterministic (but bounded) prefetch depth beyond a branch instruction, a data dependent throughput, and employs a novel register locking mechanism. This work demonstrates the feasibility of building complex asynchronous systems and gives an indication of the costs and benefits of the Micropipeline approach.
John V. Woods, Paul Day, Steve Furber, Jim D. Garside, Nigel C. Paver, Steve Temple
IEEE Trans. Computers2
1996 Four-phase micropipeline latch control circuits
abstract
Standard micropipelines use simple two-phase control circuits. The latches employed on AMULET1 are level sensitive, so two- to four-phase converters are required in each latch controller. To avoid this overhead an investigation has been carried out into four-phase micropipeline control circuits; this has thrown up several design issues relating to cost, performance and safety, and forms a useful illustration of asynchronous design techniques.
Steve Furber, Paul Day
IEEE Trans. Very Large Scale Integr. Syst.2
1995 Investigation into micropipeline latch design styles
abstract
An asynchronous implementation of the ARM microprocessor has been designed and fabricated based on Sutherland's Micropipeline approach. Reviews of this work have shown that considerable performance improvement may be possible in a number of key design areas. This paper assesses the effects of different design styles on the micropipeline latch structures used. The original design has latch structures based on pass-transistor transparent latches. An evaluation of the use of single-phase transparent latch structures is given plus the application of 2-phase and 4-phase control techniques.>
Paul Day, John V. Woods
IEEE Trans. Very Large Scale Integr. Syst.1
1994 The Design and Evaluation of an Asynchronous Microprocessor
abstract
AMULET1 is a fully asynchronous implementation of the ARM microprocessor which was designed at Manchester University between 1991 and 1993. First silicon arrived in April 1994 and was found to be functional, demonstrating that asynchronous design of complex circuits is feasible with present day CAD tools. This paper presents the motivation for the work, some of the design choices which were made, the problems which were encountered during the development of the design and the characteristics of the device itself. The future potential for asynchronous circuits is also discussed.>
Steve Furber, Paul Day, Jim D. Garside, Nigel C. Paver, Steve Temple, John V. Woods
ICCD2
1992 Register Locking in an Asynchronous Microprocessor
abstract
A high-performance register bank is a central component of a RISC processor. A novel register bank design has been developed, as an integral part of a self-timed implementation of a commercial RISC microprocessor, to address the problem of register interlocking in an asynchronous micropipelined execution unit. The problem in an asynchronous design is to maintain coherent register operation while allowing concurrent read and write accesses with arbitrary timing. The solution presented here includes a novel arbiter-free locking mechanism which enables efficient read operations in the presence of multiple pending write operations.>
Nigel C. Paver, Paul Day, Steve Furber, Jim D. Garside, John V. Woods
ICCD2
1973 ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control
abstract
“ARGOS” (ARGonne Operating System), which runs on a Xerox Sigma 5 hardware configuration, provides a dynamic multiprogrammed environment which supports the following: data acquisition and interactive control for numerous (currently 19) independently running on-line laboratory experiments; three interactive graphics terminals; FORTRAN IV-H executing at each of 23 remote time-shared terminals; a jobstream from open-shop batch processing; long-term low priority computations (100 CPU hours). The system guarantees the protection of each user's interests by the utilization of the hardware memory-protection feature, internal clocks and disallowing the execution of privileged instructions by user programs. The system is interrupt-driven, with each task running to completion, contingent on its priority. System resources are provided on a first come first served basis, except that rotating memory is queued by request position. System CALLs provide users full access to hardware capability, thus providing user-directed file formats and insuring a minimum of system overhead. However, at some sacrifice in overhead, the user can make use of FORTRAN record-blocking. Core memory, disk space and magnetic tape usage, are assigned dynamically. Parametrization of the system is such that terminal characteristics are specified (one parameter card/terminal) at boot-in time (once/week after preventive maintenance).
Paul Day, John Hines
SOSP1