SAT Based Exact Synthesis using DAG Topology Families
2018
Détails
Titre
SAT Based Exact Synthesis using DAG Topology Families
Auteur(s)
Haaswijk, Winston Jason ; Mishchenko, Alain ; Soeken, Mathias ; De Micheli, Giovanni
Publié dans
Proceedings of the 2018 ACM/IEEE Design Automation Conference (DAC)
Présenté à
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
Laboratoires
LSI1
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LSI1 - Laboratoire des systèmes intégrés 1 (STI/IC)
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Date de création de la notice
2018-06-08