Recent developments in the design of asynchronous circuits

J.A Brzozowski, J.C. Ebergen

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

    7 Citations (Scopus)

    Abstract

    Some recent developments in the design of asynchronous circuits are surveyed. The design process is considered in two parts. First, the communication behaviour of the component to be designed is formally specified and this specification is decomposed into a network of basic components. Second, the basic components are realized using gate circuits.

    In the first part of the design process we use trace theory to reason about all possible sequences of events. Components are specified by regular-expression-like programs, called commands, whose semantics is based on directed trace structures. We formalize the concepts of speed-independent and delay-insensitive circuits in the context of a network of basic components.

    In the second part we use switching theory for the analysis of gate circuits. Three different delay models are discussed: the feedback-delay, the gate-delay, and the gate-and-wire-delay model. The last two models correspond to speed-independent and delay-insensitive circuits, respectively. We point out that networks of components are commonly operated in the ‘input-output mode’ (where inputs may change as soon as outputs have responded to a previous input change), whereas gate circuits are usually operated in the ‘fundamental mode’ (where the entire gate circuit must stabilize before another input change is permitted).

    We note that delay-insensitive gate circuits are unlikely to exist for most basic components. For this reason, it is important that analysis and design methods are developed using bounded-delay models.
    Original languageEnglish
    Title of host publicationFundamentals of Computation Theory
    Subtitle of host publicationInternational Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings
    EditorsJ. Csirik, J. Demetrovics, F. Gécseg
    Place of PublicationBerlin
    PublisherSpringer
    Chapter8
    Pages78-94
    Number of pages17
    ISBN (Electronic)978-3-540-48180-5
    ISBN (Print)3-540-51498-8, 978-3-540-51498-5
    DOIs
    Publication statusPublished - 1989

    Publication series

    NameLecture Notes in Computer Science (LNCS)
    Volume380
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Fingerprint

    Dive into the research topics of 'Recent developments in the design of asynchronous circuits'. Together they form a unique fingerprint.

    Cite this