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. Describes how to map logic into new post-CMOS technologies and devices; Explains how to use different types of internal data structures, such as Majority-Inverter-Graphs; Discusses how to mix logic synthesis and physical design in order to have more effective and convergent ways to perform logic synthesis integrated in a complete flow Front Matter ....Pages i-x EDA3.0: Implications to Logic Synthesis (Leon Stok)....Pages 1-20 Can Parallel Programming Revolutionize EDA Tools? (Yi-Shan Lu, Keshav Pingali)....Pages 21-41 Emerging Circuit Technologies: An Overview on the Next Generation of Circuits (Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler, Priyank Kalla)....Pages 43-67 Physical Awareness Starting at Technology-Independent Logic Synthesis (André Inácio Reis, Jody M. A. Matos)....Pages 69-101 Identifying Transparent Logic in Gate-Level Circuits (Yu-Yun Dai, Robert K. Brayton)....Pages 103-124 Automated Pipeline Transformations with Fluid Pipelines (Rafael T. Possignolo, Elnaz Ebrahimi, Haven Skinner, Jose Renau)....Pages 125-150 Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas (Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker)....Pages 151-168 Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver (Ana Petkovska, Alan Mishchenko, David Novo, Muhsen Owaida, Paolo Ienne)....Pages 169-188 A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit (Xuesong Peng, Weikang Qian)....Pages 189-207 Decomposition of Index Generation Functions Using a Monte Carlo Method (Tsutomu Sasao, Jon T. Butler)....Pages 209-225 Back Matter ....Pages 227-232 Annotation 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
