SAT Based Exact Synthesis using DAG Topology Families
2018
Details
Title
SAT Based Exact Synthesis using DAG Topology Families
Author(s)
Haaswijk, Winston Jason ; Mishchenko, Alain ; Soeken, Mathias ; De Micheli, Giovanni
Published in
Proceedings of the 2018 ACM/IEEE Design Automation Conference (DAC)
Conference
2018 ACM/IEEE Design Automation Conference (DAC), San Francisco, California, USA, June 24-28, 2018
Date
2018-06-28
Note
ERC Cybercare 669354 / SNF MAJesty 200021-169084/SRC contract 2710001
Laboratories
LSI1
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LSI1 - Integrated Systems Laboratory 1 (STI/IC)
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Record creation date
2018-06-08