Advanced Techniques in Logic Synthesis, Optimizations and Applications [electronic resource] /
Gulati, Kanupriya.editor.
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.
Description based upon print version of record.
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
10 Algorithms for Maximum Satisfiability Using Unsatisfiable CoresPart III Boolean Matching; 11 Simulation and SAT-Based Boolean Matching for Large Boolean Networks; 12 Logic Difference Optimization for Incremental Synthesis; 13 Large-Scale Boolean Matching; Part IV Logic Optimization; 14 Algebraic Techniques to Enhance Common Sub-expression Extraction for Polynomial System Synthesis; 15 Automated Logic Restructuring with aSPFDs; 16 Extracting Functions from Boolean Relations Using SATand Interpolation; 17 A Robust Window-Based Multi-node Minimization Technique Using Boolean Relations
Part V Applications to Specialized Design Scenarios18 Synthesizing Combinational Logic to Generate Probabilities: Theories and Algorithms; 19 Probabilistic Error Propagation in a Logic Circuit Usingthe Boolean Difference Calculus; 20 Digital Logic Using Non-DC Signals; 21 Improvements of Pausible Clocking Scheme for High-Throughput and High-Reliability GALS Systems Design; Subject Index
Includes bibliographical references and index.
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.
Electronic circuits.
Computer-aided engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.