Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools

✍ Scribed by Robert M. Fuhrer, Steven M. Nowick (auth.)

• Publisher: Springer US
• Year: 2001
• Tongue: English
• Leaves: 268
• Edition: 1
• Category: Library

✦ Synopsis

Asynchronous, or unclocked, digital systems have several potential advantages over their synchronous counterparts. In particular, they address a number of challenging problems faced by the designers of large-scale synchronous digital systems: power consumption, worst-case timing constraints, and engineering and design reuse issues associated with the use of a fixed-rate global clock. Moreover, while for synchronous systems these problems are exacerbated by increasing system size, asynchronous systems promise to scale more gracefully.
Sequential Optimization of Asynchronous and Synchronous Finite-StateMachines: Algorithms and Tools makes three contributions to the field of sequential optimization for finite-state machines: 1) it introduces several new provably-optimal algorithms for the synthesis and optimization of asynchronous finite-state machines (FSMs); 2) it presents practical software implementations of each of these algorithms; and 3) it introduces a complete new CAD package, called MINIMALIST, binding these tools into a state-of-the-art technology-independent synthesis path for `burst-mode' asynchronous circuits. Throughout this book, real-world industrial designs are used as benchmark circuits to validate the usefulness of the tools. As an additional benefit, some of the theory and tools also provide new methods for the optimization of synchronous FSMs.

✦ Table of Contents

Front Matter....Pages i-xxiii
Introduction....Pages 1-23
Background....Pages 25-51
Burst-Mode Synthesis Path Walkthrough....Pages 53-57
CHASM: Optimal State Assignment for Asynchronous FSM’s....Pages 59-93
OPTIMIST: Optimal State Minimization for Synchronous FSM’s....Pages 95-139
OPTIMISTO: Synchronous State Minimization for Optimum Output Logic....Pages 141-159
OPTIMISTA: Asynchronous State Minimization for Optimum Output Logic....Pages 161-194
MINIMALIST: An Extensible Toolkit and Framework for Asynchronous Burst-Mode Synthesis....Pages 195-217
Conclusions....Pages 219-221
Back Matter....Pages 223-258

✦ Subjects

Circuits and Systems; Electrical Engineering; Computer-Aided Engineering (CAD, CAE) and Design