ISBN-13: 9781461355434 / Angielski / Miękka / 2012 / 258 str.
ISBN-13: 9781461355434 / Angielski / Miękka / 2012 / 258 str.
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.