Asynchronous design of a router

M.B. Josephs, R.H. Mak, T. Verhoeff

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

A case study in asynchronous circuit design is undertaken. The design we present is particularly robust because the circuit will always function correctly, no matter what the delays in its elements and wires, The problem we consider is that of designing a general-purpose message router for Trans puters. First, a simplified version of a message router is specified. The specification is then taken through two levels of design. It is shown that identical switching elements can be connected together in a regular way so as to implement a router of arbitrary size. The specification and design are presented in a new CSP-like algebraic formalism that is especially suitable for dealing with delay-insensitive circuits. The formalism has three significant advantages over other approaches. The behaviour of circuits can be expressed in a concise, yet easily understood way. Errors arising from transmission interference of signals along wires are handled automatically. The result of connecting circuits together to form more complex circuits can be calculated by a process of algebraic transformation, achieving abstraction from communication on internal wires.
Original languageEnglish
Title of host publicationProceedings of the IEEE/ProRISC Symposium on Circuits, Systems and Signal Processing, Veldhoven, The Netherlands, April 3-4, 1991
EditorsJ.P. Veen
Place of PublicationUtrecht
PublisherSTW Technology Foundation
Pages173-179
ISBN (Print)90-73461-02-2
Publication statusPublished - 1991

Fingerprint Dive into the research topics of 'Asynchronous design of a router'. Together they form a unique fingerprint.

Cite this