W09 Quo vadis, Logic Synthesis?

Printer-friendly versionPDF version
Location / Room: 
Room 8


Tiziano Villa, Dipartimento d'Informatica, Universita' di Verona, IT (Contact Tiziano Villa)
Luca Carloni, Columbia University, US (Contact Luca Carloni)


Luca Amaru, Synopsys, US (Contact Luca Amaru)
Anna Bernasconi, Universita' di Pisa, IT (Contact Anna Bernasconi)
Valentina Ciriani, University of Milano, IT (Contact Valentina Ciriani)
Jordi Cortadella, Universitat Politecnica de Catalunya, ES (Contact Jordi Cortadella)
Masahiro Fujita, University of Tokyo, JP (Contact Masahiro Fujita)
Jie-Hong Jiang, National Taiwan University, TW (Contact Jie-Hong Jiang)
Weikang Qian, Shanghai Jiao Tong University, CN (Contact Weikang Qian)
Sherief Reda, Brown University, US (Contact Sherief Reda)
Marc Riedel, University of Minnesota, US (Contact Marc Riedel)
Tsutomu Sasao, Meiji University, JP (Contact Tsutomu Sasao)
Mathias Soeken, Integrated System Laboratory – EPFL, CH (Contact Mathias Soeken)
Andres Takach, Calypto Design Systems, US (Contact Andres Takach)
Gabriella Trucco, Universita' degli Studi di Milano, IT (Contact Gabriella Trucco)
Luca Carloni, Columbia University, US (Contact Luca Carloni)
Tiziano Villa, Dipartimento d'Informatica, Universita' di Verona, IT (Contact Tiziano Villa)

In 1984, the book on Espresso by R. Brayton, G. Hachtel, C. McMullen and A. Sangiovanni-Vincentelli provided the first layer of the foundations of modern logic synthesis. The work done around that time by leading academic and industrial research laboratories triggered the first wave of modern logic design tools like Espresso, MIS, SIS and VIS, which then became the backbone of the industrial design chains offered by the newborn Electronic Design Automation Industry. After many research breakthroughs and industrial successes, it is time for an assessment of the perspectives of logic synthesis, both as a core technology in digital system design and an enabling technology in other domains (biological synthesis, machine learning for data analysis, etc.). To achieve this goal, this workshop brings together an inclusive list of speakers from both academia and industry, to report on the state-of-art and strategic directions of the field.


7:30-8:30 Registration desk opens

8:30-8:40 Introduction by Luca Carloni and Tiziano Villa

8:40-9:00 Thirty-five years after the Espresso book: a retrospective on logic synthesis, Tiziano Villa

9:00-10:00 Algorithmic foundations of logic synthesis - Part 1

- Extracting functions from Boolean relations, Jordi Cortadella

- Expressing flexibility in logic synthesis by Boolean relations, Anna Bernasconi

10:00-10:15 Coffee break

10:15-11:15 Algorithmic foundations of logic synthesis - Part 2

- Craig interpolation in logic synthesis applications, Jie-Hong Jiang

- SAT in logic synthesis, Mathias Soeken

11:15-12:15 Synthesis for emerging technologies

- XOR gates in emerging technologies, Valentina Ciriani

- Majority Logic Synthesis, Luca Amaru'

12:15-13:15 Lunch

13:15-14:15 Approximate synthesis

- Approximate logic synthesis for area and delay optimization, Weikang Qian

- Systematic approaches to approximate logic synthesis, Sherief Reda

14:15-15:15 High-level synthesis

- High-level synthesis: status and future trends, Andres Takach

- How high-level synthesis enables design for reusability of hardware accelerators, Luca Carloni

15:15-15:30 Coffee break

15:30-16:30 Logic synthesis and machine learning

- Automated synthesis of distributed/parallel computing through templates and inductive reasoning, Masahiro Fujita

- On the minimization of variables to represent sparse multi-valued input decision diagrams, Tsutomu Sasao

16:30-17:30 Logic synthesis and biological models

- Synthetic biology: application of logic synthesis to biological models, Gabriella Trucco

- Stochastic logic applied to DNA computing, Marc Riedel