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 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 c
|