Advanced Logic Synthesis

This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors’ expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and frameworks in order to have better logic synthesis algorithms.

Table of Contents

Chapter 1 Eda3.0: Implications To Logic Synthesis
Chapter 2 Can Parallel Programming Revolutionize Eda Tools?
Chapter 3 Emerging Circuit Technologies: An Overview On The Next Generation Of Circuits
Chapter 4 Physical Awareness Starting At Technology-Independent Logic Synthesis
Chapter 5 Identifying Transparent Logic In Gate-Level Circuits
Chapter 6 Automated Pipeline Transformations With Fluid Pipelines
Chapter 7 Analysis Of Incomplete Circuits Using Dependency Quantified Boolean Formulas
Chapter 8 Progressive Generation Of Canonical Irredundant Sums Of Products Using A Sat Solver
Chapter 9 A Branch-And-Bound-Based Minterm Assignment Algorithm For Synthesizing Stochastic Circuit
Chapter 10 Decomposition Of Index Generation Functions Using A Monte Carlo Method