Skip to main content

Asynchronous Digital Circuit Design

  • Conference proceedings
  • © 1995

Overview

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (5 papers)

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, University of Calgary, Calgary, Canada

    Graham Birtwistle

  • Department of Computer Science, University of Utah, Salt Lake City, USA

    Alan Davis

Bibliographic Information

  • Book Title: Asynchronous Digital Circuit Design

  • Editors: Graham Birtwistle, Alan Davis

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3575-3

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London 1995

  • Softcover ISBN: 978-3-540-19901-4Published: 06 April 1995

  • eBook ISBN: 978-1-4471-3575-3Published: 17 April 2013

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: VII, 265

  • Number of Illustrations: 55 b/w illustrations

  • Additional Information: Jointly published with British Computer Society

  • Topics: Mathematical Logic and Formal Languages, Programming Techniques, Software Engineering

Publish with us