Skip to content

Luca G. Amar

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

4

Active years

2018–2024

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2024DATEScalable Sequential Optimization Under Observability Don't Cares.Dewmini Sudara Marakkalage, Eleonora Testa, Walter Lau Neto, Alan Mishchenko, Giovanni De Micheli, Luca G. Amar
2022DACImproving LUT-based optimization for ASICs.Walter Lau Neto, Luca G. Amar, Vinicius Possani, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Pierre-Emmanuel Gaillardon
2022DATEMajority-based Design Flow for AQFP Superconducting Family.Giulia Meuli, Vinicius N. Possani, Rajinder Singh, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Patrick Vuillod, Luca G. Amar, Scott Chase, Jamil Kawa, Giovanni De Micheli
2021ASPDACRead your Circuit: Leveraging Word Embedding to Guide Logic Optimization.Walter Lau Neto, Matheus Trevisan Moreira, Luca G. Amar, Cunxi Yu, Pierre-Emmanuel Gaillardon
2021DACSLAP: A Supervised Learning Approach for Priority Cuts Technology Mapping.Walter Lau Neto, Matheus T. Moreira, Yingjie Li, Luca G. Amar, Cunxi Yu, Pierre-Emmanuel Gaillardon
2021DACDeep Integration of Circuit Simulator and SAT Solver.He-Teng Zhang, Jie-Hong R. Jiang, Luca G. Amar, Alan Mishchenko, Robert K. Brayton
2020DACSAT-Sweeping Enhanced for Logic Synthesis.Luca G. Amar, Felipe S. Marranghello, Eleonora Testa, Christopher Casares, Vinicius N. Possani, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli
2020DATEA Scalable Mixed Synthesis Framework for Heterogeneous Networks.Max Austin, Scott Temple, Walter Lau Neto, Luca G. Amar, Xifan Tang, Pierre-Emmanuel Gaillardon
2020DATEA Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks.Eleonora Testa, Mathias Soeken, Heinz Riener, Luca G. Amar, Giovanni De Micheli
2019DACScalable Generic Logic Synthesis: One Approach to Rule Them All.Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amar, Giovanni De Micheli, Mathias Soeken
2019DACReducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications.Eleonora Testa, Mathias Soeken, Luca G. Amar, Giovanni De Micheli
2019DATEScalable Boolean Methods in a Modern Synthesis Flow.Eleonora Testa, Luca G. Amar, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Jiong Luo, Christopher Casares, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
2019ICCADLSOracle: a Logic Synthesis Framework Driven by Artificial Intelligence: Invited Paper.Walter Lau Neto, Max Austin, Scott Temple, Luca G. Amar, Xifan Tang, Pierre-Emmanuel Gaillardon
2018DACCanonical computation without canonical representation.Alan Mishchenko, Robert K. Brayton, Ana Petkovska, Mathias Soeken, Luca G. Amar, Antun Domic
2018DATETechnology-aware logic synthesis for ReRAM based in-memory computing.Debjyoti Bhattacharjee, Luca G. Amar, Anupam Chattopadhyay
2018ICCADMajority logic synthesis.Luca G. Amar, Eleonora Testa, Miguel Couceiro, Odysseas Zografos, Giovanni De Micheli, Mathias Soeken