Myers C.J. Asynchronous Circuit Design

Wiley-Interscience, 2001. — 404 p. — ISBN: 978-0471415435.An asynchronous circuit is one in which synchronization is performed without a global clock. This book provides a look at asynchronous circuit design in a form accessible to a student who simply has some background in digital logic design. This book may also be used for self-study by engineers who would like to learn about modern asynchronous design methods. Each chapter includes numerous problems for the student to try out his or her new skills.
With asynchronous circuit design becoming a powerful tool in the development of new digital systems, circuit designers are expected to have asynchronous design skills and be able to leverage them to reduce power consumption and increase system speed. This book walks readers through all of the different methodologies of asynchronous circuit design, emphasizing practical techniques and real-world applications instead of theoretical simulation. The only guide of its kind, it also features an ftp site complete with support materials.
Market: Electrical Engineers, Computer Scientists, Device Designers, and Developers in industry.
An Instructor Support FTP site is available from the Wiley editorial department.Preface.
Acknowledgments.Problem Specification.
Communication Channels.
Communication Protocols.
Graphical Representations.
Delay-Insensitive Circuits.
Huffman Circuits.
Muller Circuits.
Timed Circuits.
Verification.
Applications.
Let’s Get Started.
Sources Problems.Communication Channels.
Basic Structure.
Structural Modeling in VHDL.
Control Structures.
Probe.
Parallel Communication.
Example: MiniMIPS.
Sources Problems.Communication Protocols.
Basic Structure.
Active and Passive Ports.
Handshaking Expansion.
Reshuffling.
State Variable Insertion.
Data Encoding.
Example: Two Wine Shops.
Syntax-Directed Translation.
Sources Problems.Graphical Representations.
Graph Basics.
Asynchronous Finite State Machines.
Petri Nets.
Timed Event/Level Structures.
Sources Problems.Huffman Circuits.
Solving Covering Problems.
State Minimization.
State Assignment.
Hazard-Free Two-Level Logic Synthesis.
Extensions for MIC Operation.
Multilevel Logic Synthesis.
Technology Mapping.
Generalized C-Element Implementation.
Sequential Hazards.
Sources Problems.Muller Circuits.
Formal Definition of Speed Independence.
Complete State Coding.
Hazard-Free Logic Synthesis.
Hazard-Free Decomposition.
Limitations of Speed-Independent Design.
Sources Problems.Timed Circuits.
Modeling Timing.
Regions.
Discrete time.
Zones.
POSET Timing.
Timed Circuits.
Sources Problems.Verification.
Protocol Verification.
Circuit Verification.
Sources.Applications.
Brief History of Asynchronous Circuit Design.
An Asynchronous Instruction-Length Decoder.
Performance Analysis.
Testing Asynchronous Circuits.
The Synchronization Problem.
The Future of Asynchronous Circuit Design.
Sources Problems.Appendixes.
VHDL Packages.
Sets and Relations.References.
Index.