Sequential Optimization of Asynchronous and Synchronous Finite-State Machines

This text contributes to the field of sequential optimization for finite-state machines, introducing several new provably-optimal algorithms, presenting practical software implementations of each of these algorithms and introducing a complete new CAD package, called MINIMALIST. Real-world industrial designs are used as benchmark circuits throughout.

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-State Machines: 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.

Booknews

Addressing problems in sequential optimization, this book introduces several new provably-optimal algorithms for the synthesis and optimization of asynchronous finite-state machines, presents practical software implementations of each of these algorithms, and introduces a new CAD package, MINIMALIST, which combines these tools into a technology-independent synthesis for burst-mode asynchronous circuits. Emphasis is on asynchronous controller circuits and on obtaining globally-optimal solutions by merging sequential synthesis steps. The book discusses the problems which asynchronous designs present to the synthesis process, and uses real-world industrial designs as benchmark circuits to validate the effectiveness of the tools. Fuhrer is a research staff member at the IBM T.J. Watson Research Center. Nowick teaches computer science at Columbia University. Annotation c. Book News, Inc., Portland, OR (booknews.com)