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.