Description |
1 online resource (xxi, 423 pages) |
Contents |
Preface; Contents; Contributors; 1 Introduction; Sunil P. Khatri and Kanupriya Gulati; Part I Logic Decomposition; 2 Logic Synthesis by Signal-Driven Decomposition; 3 Sequential Logic Synthesis Using Symbolic Bi-decomposition; 4 Boolean Factoring and Decomposition of Logic Networks; 5 Ashenhurst Decomposition Using SATand Interpolation; 6 Bi-decomposition Using SAT and Interpolation; Part II Boolean Satisfiability; 7 Boundary Points and Resolution; 8 SAT Sweeping with Local Observability Don't-Cares; 9 A Fast Approximation Algorithm for MIN-ONE SAT and Its Application on MAX-SAT Solving |
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 |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
In |
Springer eBooks |
Subject |
Logic design.
|
|
Systems engineering.
|
|
systems engineering.
|
|
computer-aided designs (visual works)
|
|
COMPUTERS -- Logic Design.
|
|
TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Logic.
|
|
TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- VLSI & ULSI.
|
|
Ingénierie.
|
|
Logic design
|
Form |
Electronic book
|
Author |
Khatri, Sunil P., 1965-
|
|
Gulati, Kanupriya.
|
LC no. |
2011283179 |
ISBN |
9781441975188 |
|
1441975187 |
|