Sequential Optimization of Asynchronous and Synchronous Finite-State Machines

Algorithms and Tools

  • Robert M. Fuhrer
  • Steven M. Nowick

Table of contents

  1. Front Matter
    Pages i-xxiii
  2. Robert M. Fuhrer, Steven M. Nowick
    Pages 1-23
  3. Robert M. Fuhrer, Steven M. Nowick
    Pages 25-51
  4. Robert M. Fuhrer, Steven M. Nowick
    Pages 53-57
  5. Robert M. Fuhrer, Steven M. Nowick
    Pages 59-93
  6. Robert M. Fuhrer, Steven M. Nowick
    Pages 95-139
  7. Robert M. Fuhrer, Steven M. Nowick
    Pages 141-159
  8. Robert M. Fuhrer, Steven M. Nowick
    Pages 161-194
  9. Robert M. Fuhrer, Steven M. Nowick
    Pages 219-221
  10. Back Matter
    Pages 223-258

About this book

Introduction

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.

Keywords

Counter Potential Software algorithms computer-aided design (CAD) consumption logic optimization system tables

Authors and affiliations

  • Robert M. Fuhrer
    • 1
  • Steven M. Nowick
    • 2
  1. 1.IBM T.J. Watson Research CenterUSA
  2. 2.Columbia UniversityUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4615-1417-6
  • Copyright Information Kluwer Academic Publishers 2001
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-5543-4
  • Online ISBN 978-1-4615-1417-6
  • About this book