Quo vadis, Logic Synthesis?

• Introduction
  Luca Carloni, Columbia University, US and
  Tiziano Villa, Dipartimento di Informatica, Università di Verona, IT
• Thirty-five years after the Espresso book: a retrospective on logic synthesis · (download PDF)
  Tiziano Villa, Dipartimento di Informatica, Università di Verona, IT
• Algorithmic foundations of logic synthesis - Part 1
  
  • Extracting functions from Boolean relations · (download PDF)
    Jordi Cortadella, Universitat Politecnica de Catalunya, ES
  • Expressing flexibility in logic synthesis by Boolean relations · (download PDF)
    Anna Bernasconi, Università di Pisa, IT
• Algorithmic foundations of logic synthesis - Part 2
  
  • Craig interpolation in logic synthesis applications · (download PDF)
    Jie-Hong Jiang, National Taiwan University, TW
  • SAT in logic synthesis · (download PDF)
    Mathias Soeken, Integrated System Laboratory - EPFL, CH
• Synthesis for emerging technologies
  
  • XOR gates in emerging technologies · (download PDF)
    Valentina Ciriani, Università degli Studi di Milano, IT
  • Majority logic synthesis · (download PDF)
    Luca Amarù, Synopsys, US
• Approximate synthesis
  • Approximate logic synthesis for area and delay optimization · (download PDF)
    Weikang Qian, Shangai Jiao Tong University, CN
  • Systematic approaches to approximate logic synthesis · (download PDF)
    Sherief Reda, Brown University, US
• High-level synthesis
  
  • High-level synthesis: status and future trends · (download PDF)
    Andres Takach, Calypto Design Systems, US
    
  • How high-level synthesis enables design for reusability of hardware accelerators · (download PDF)
    Luca Carloni, Columbia University, US
• Logic synthesis and machine learning
  • Automated synthesis of distributed/parallel computing through templates and inductive reasoning · (download PDF)
    Masahiro Fujita, University of Tokyo, JP
  • On the minimization of variables to represent sparse multi-valued input decision diagrams · (download PDF)
    Tsutomu Sasao, Meiji University, JP
• Logic synthesis and biological models
  
  • Synthetic biology: application of logic synthesis to biological models · (download PDF)
    Gabriella Trucco, Universitò degli Studi di Milano, IT
  • Stochastic logic applied to DNA computing · (download PDF)
    Marc Riedel, University of Minnesota, US