Logic Synthesis and Verification Algorithms
Select Format
Select Condition 
Book Overview
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.
Format:Paperback
Language:English
ISBN:1475770367
ISBN13:9781475770360
Release Date:March 2013
Publisher:Springer
Length:564 Pages
Weight:2.26 lbs.
Dimensions:1.2" x 7.0" x 10.0"
Related Subjects
Algorithms Architecture CAD Computer Design Computer Science Computers Computers & Technology Discrete Mathematics Drafting & Presentation Education Education & Reference Electrical & Electronics Engineering Graphic Design Mathematics Microprocessors & System Design Programming Pure Mathematics Schools & Teaching Science & Math Software Design, Testing & Engineering Technology TextbooksCustomer Reviews
2 ratings
exceptional...
Published by Thriftbooks.com User , 20 years ago
This book is good. It covers all the fundamentals needed to learn two level and multi level logic synthesis and verification. It's a good stepping stone for those readers wanting to delve more into the IEEE publications area later on in their careers when implementing new algorithms for logic synthesis.
nachiketh potlapally
Published by Thriftbooks.com User , 24 years ago
I had the oppurtunity to study this book in my graduate study. I think it is a well-written book, which has a substantial coverage of the field of logic synthesis and verification. I would highly recommend this book to advanced readers and those who are mathematically inclined. The expertise of the authors is reflected in the content of the book, and this can be fully appreciated by the readers having the qualifications mentioned above.
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
