Asynchronous Digital Circuit Design

  • Graham Birtwistle
  • Alan Davis
Conference proceedings

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Table of contents

  1. Front Matter
    Pages i-vii
  2. Jo C. Ebergen, John Segers, Igor Benko
    Pages 50-103
  3. Kees van Berkel, Martin Rem
    Pages 151-210
  4. Back Matter
    Pages 263-265

About these proceedings


As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite state machine based control models. Written by leading practitioners in the area, the papers cover many aspects of current practice including practical design, silicon compilation, and applications of formal specification. It also includes a state-of-the-art survey of asynchronous hardware design. The resulting volume will be invaluable to anyone interested in designing correct asynchronous circuits which exhibit high performance or low power operation.


VLSI circuit design design formal specification hardware design programming

Editors and affiliations

  • Graham Birtwistle
    • 1
  • Alan Davis
    • 2
  1. 1.Department of Computer ScienceUniversity of CalgaryCalgaryCanada
  2. 2.Department of Computer ScienceUniversity of UtahSalt Lake CityUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1995
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19901-4
  • Online ISBN 978-1-4471-3575-3
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
IT & Software