Ebook: Asynchronous Digital Circuit Design
- Tags: Mathematical Logic and Formal Languages, Programming Techniques, Software Engineering
- Series: Workshops in Computing
- Year: 1995
- Publisher: Springer-Verlag London
- Edition: 1
- Language: English
- pdf
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.
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.
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.
Content:
Front Matter....Pages i-vii
Asynchronous Circuit Design: Motivation, Background, & Methods....Pages 1-49
Parallel Program and Asynchronous Circuit Design....Pages 50-103
Synthesizing Asynchronous Circuits: Practice and Experience....Pages 104-150
VLSI Programming of Asynchronous Circuits for Low Power....Pages 151-210
Computing without Clocks: Micropipelining the ARM Processor....Pages 211-262
Back Matter....Pages 263-265
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.
Content:
Front Matter....Pages i-vii
Asynchronous Circuit Design: Motivation, Background, & Methods....Pages 1-49
Parallel Program and Asynchronous Circuit Design....Pages 50-103
Synthesizing Asynchronous Circuits: Practice and Experience....Pages 104-150
VLSI Programming of Asynchronous Circuits for Low Power....Pages 151-210
Computing without Clocks: Micropipelining the ARM Processor....Pages 211-262
Back Matter....Pages 263-265
....