4671365
9780387310046
This text blends mathematical foundations and algorithmic developments with circuit design issues. Each technique is presented in the context of its application to design. The reader is introduced to basic concepts, such as Boolean algebras, local search, and algebraic factorization.Hachtel, Gary D. is the author of 'Logic Synthesis and Verification Algorithms', published 2006 under ISBN 9780387310046 and ISBN 0387310045.
[read more]