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.
KeywordsSequential Optimization Clock Signal Communicate Sequential Process Logic Minimization Critical Race
Unable to display preview. Download preview PDF.