Download or read book Sequential Optimization of Asynchronous and Synchronous Finite-State Machines written by Robert M. Fuhrer and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 269 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.