This book addresses several problems in sequential optimization, that is, transformations on finite-state machines which produce machines having equivalent behavior, but whose implementations are either more economical, faster, or both. In particular, the focus of this book is a suite of algorithms and tools which synthesize small, high-performance realizations of finite-state machines, given a suitable specification. First and foremost, the emphasis is on asynchronous controller circuits.


Sequential Optimization Clock Signal Communicate Sequential Process Logic Minimization Critical Race 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

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

Personalised recommendations