Advanced Logic Synthesis

  • André Inácio Reis
  • Rolf Drechsler

Table of contents

  1. Front Matter
    Pages i-x
  2. Yi-Shan Lu, Keshav Pingali
    Pages 21-41
  3. Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler, Priyank Kalla
    Pages 43-67
  4. André Inácio Reis, Jody M. A. Matos
    Pages 69-101
  5. Yu-Yun Dai, Robert K. Brayton
    Pages 103-124
  6. Rafael T. Possignolo, Elnaz Ebrahimi, Haven Skinner, Jose Renau
    Pages 125-150
  7. Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
    Pages 151-168
  8. Ana Petkovska, Alan Mishchenko, David Novo, Muhsen Owaida, Paolo Ienne
    Pages 169-188
  9. Back Matter
    Pages 227-232

About this book


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.


Logic Synthesis Big data and logic synthesis Logic synthesis and arithmetic circuits Verification in Electronic Systems Formal Verification

Editors and affiliations

  • André Inácio Reis
    • 1
  • Rolf Drechsler
    • 2
  1. 1.PPGC/PGMICROInstitute of Informatics, UFRGSPorto AlegreBrazil
  2. 2.Group for Computer ArchitectureUniversity of BremenBremenGermany

Bibliographic information

Industry Sectors
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences