Advanced Techniques in Logic Synthesis, Optimizations and Applications

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.

List of contents

Introduction; Boolean matching; Logic decomposition; Boolean satisfiability; Advanced synthesis techniques; Non-traditional applications of logic synthesis; Conclusion.

Summary

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.

Product details

• Assisted by: Kanupriy Gulati (Editor), Kanupriya Gulati (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.2014
• EAN: 9781489981882
• ISBN: 978-1-4899-8188-2
• No. of pages: 423
• Dimensions: 155 mm x 23 mm x 235 mm
• Weight: 682 g
• Illustrations: XXI, 423 p.
• Subjects: Natural sciences, medicine, IT, technology > Technology > Electronics, electrical engineering, communications engineering; B, Computer-Aided Design (CAD), engineering, Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design, Computer-aided engineering, Electronic circuits, Electronic Circuits and Systems