Advanced Techniques in Logic Synthesis, Optimizations and Applications

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 Includes supplementary material: sn.pub/extras