Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more ...
Read More
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.
Read Less
Add this copy of Logic Synthesis and Verification Algorithms to cart. $45.52, very good condition, Sold by ThriftBooks-Reno rated 5.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 1996 by Springer.
Add this copy of Logic Synthesis and Verification Algorithms to cart. $45.52, good condition, Sold by ThriftBooks-Reno rated 5.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 1996 by Springer.
Add this copy of Logic Synthesis and Verification Algorithms to cart. $45.52, good condition, Sold by Book Forest rated 5.0 out of 5 stars, ships from San Rafael, CA, UNITED STATES, published 1996 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Text block firm and clean, binding unblemished, boards straight, without highlights or underlining. Without any discs, access codes or extra items. Very clean, very nice example. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
Add this copy of Logic Synthesis and Verification Algorithms to cart. $45.52, good condition, Sold by ThriftBooks-Baltimore rated 5.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1996 by Springer.
Add this copy of Logic Synthesis and Verification Algorithms to cart. $45.53, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1996 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Logic Synthesis and Verification Algorithms to cart. $50.52, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1996 by Kluwer Academic.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 1400grams, ISBN: 9780792397465.
Add this copy of Logic Synthesis and Verification Algorithms to cart. $84.39, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1996 by Springer.
Add this copy of Logic Synthesis and Verification Algorithms to cart. $87.52, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1996 by Springer.
Add this copy of Logic Synthesis and Verification Algorithms to cart. $87.67, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1996 by Springer.
