Sequential optimization of asynchronous and synchronous finite-state machines : algorithms and tools - Fuhrer, Robert M.; Nowick, Steven (Boston : Kluwer Academic Publishers, 2001)
Includes bibliographical references (p. 245-257) and index.
Keywords: Asynchronous circuits -- Computer-aided design; Digital Electronics; Logic design -- Data processing; Computer algorithms; Sequential machine theory