Advanced Techniques in Logic Synthesis, Optimizations and Applications

Victor Kravets; Alan Mishchenko; Smita Krishnasamy; Nilesh Modi; Robert Brayton; Ruchir Puri

ISBN 10: 1441975179 / ISBN 13: 9781441975171

Published by Springer, 2010

About this Item

Print on Demand pp. 448 Illus.

Seller Inventory # 5409017

Bibliographic Details

• Title: Advanced Techniques in Logic Synthesis, Optimizations and Applications
• Publisher: Springer
• Publication Date: 2010
• Language: English
• ISBN 10: 1441975179
• ISBN 13: 9781441975171
• Binding: Hardcover
• Condition: New

About this title

Synopsis

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.

From the Back Cover

Advanced Techniques in Logic Synthesis, Optimizations and Applications Edited by: Sunil P Khatri Kanupriya Gulati 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. •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.