Skip to main content alibris logo
Logic Synthesis and Verification Algorithms - Hachtel, Gary D, and Somenzi, Fabio
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

This book blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. This publication serves as a textbook for upper-division and first year graduate students in electrical and computer engineering courses.

loading
Logic Synthesis and Verification Algorithms 2013, Springer, New York, NY

ISBN-13: 9781475770360

Trade paperback

Logic Synthesis and Verification Algorithms 2006, Springer, New York, NY

ISBN-13: 9780387310046

1996 edition

Trade paperback

Logic Synthesis and Verification Algorithms 1996, Springer, New York, NY

ISBN-13: 9780792397465

1996 edition

Hardcover