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.


Europe GaAs Assure Settling Harness 


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