Overview
- Covers the latest research in the areas of Boolean Matching, Logic Decomposition, Boolean Satisfiability
- Serves as a single-source reference to key topics in logic synthesis, otherwise only available in disparate publications;
- Describes a range of synthesis techniques and Applications of logic design
- Includes supplementary material: sn.pub/extras
Buy print copy
About this book
This book covers recent advances in the field of logic synthesis and design, including Boolean Matching, Logic Decomposition, Boolean satisfiability, Advanced Synthesis Techniques and Applications of Logic Design. All of these topics are valuable to CAD engineers working in Logic Design, Logic Optimization, and Verification. Engineers seeking opportunities for optimizing VLSI integrated circuits will find this book as an invaluable reference, since there is no existing book that covers this material in a systematic fashion.
Similar content being viewed by others
Keywords
Table of contents (21 chapters)
-
Front Matter
-
Logic Decomposition
-
Front Matter
-
Editors and Affiliations
Bibliographic Information
Book Title: Advanced Techniques in Logic Synthesis, Optimizations and Applications
Editors: Kanupriya Gulati
DOI: https://doi.org/10.1007/978-1-4419-7518-8
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media, LLC 2011
Hardcover ISBN: 978-1-4419-7517-1Published: 03 December 2010
Softcover ISBN: 978-1-4899-8188-2Published: 08 October 2014
eBook ISBN: 978-1-4419-7518-8Published: 25 November 2010
Edition Number: 1
Number of Pages: XXI, 423
Topics: Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design