Bookstore

This text contributes to the field of sequential optimization for finite-state machines, introducing several new provably-optimal algorithms, presenting practical software implementations of each of these algorithms and introducing a complete new CAD package, called MINIMALIST. Real-world industrial designs are used as benchmark circuits throughout.

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools

List of Figures. List of Tables. Acknowledgments. 1. Introduction. 2. Background. 3. Burst-Mode Synthesis Path Walk-Through. 4. CHASM: Optimal State Assignment for Asynchronous FSM's. 5. Optimist: Optimal State Minimization for Synchronous FSM's. 6. Optimisto-Synchronous State Minimization for Optimum Output Logic. 7. Optimista: Asynchronous State Minimization for Optimum Output Logic. 8. Minimalist: An Extensible Toolkit for Burst-Mode Synthesis. 9. Conclusions. Appendices. Index.