Full Description
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.
Contents
EDA3.0: Implications to Logic Synthesis.- Can parallel programming revolutionize EDA tools?.- Emerging Circuit Technologies: An Overview on the Next Generation of Circuits.- Physical Awareness starting at Technology-Independent Logic Synthesis.- Identifying Transparent Logic in Gate-Level Circuits.- Automated Pipeline Transformations with Fluid Pipelines.- Analysis of Incomplete Circuits using Dependency Quantied Boolean Formulas.- Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver.- A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit.- Decomposition of Index Generation Functions Using a Monte Carlo Method.
