ENGLISH

Asynchronous Digital Circuit Design

By PhD (eds.) , DSc , PhD , Al Davis , Steven M. Nowick (auth.) , Graham Birtwistle BSc , Alan Davis BSEE

Book information

Publisher
Springer-Verlag London
Year
1995
ISBN
978-3-540-19901-4, 978-1-4471-3575-3
DOI
10.1007/978-1-4471-3575-3
Language
english
Format
PDF
Filesize
8 MB (8887050 bytes)
Series
Workshops in Computing
Edition
1
Pages
265\272
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Mathematical Logic and Formal Languages; Programmi

Description

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.

Similar books