SAT Based Exact Synthesis using DAG Topology Families


Published in:
Proceedings of the 2018 ACM/IEEE Design Automation Conference (DAC)
Presented at:
2018 ACM/IEEE Design Automation Conference (DAC), San Francisco, California, USA, June 24-28, 2018
Year:
Jun 28 2018
Note:
ERC Cybercare 669354 / SNF MAJesty 200021-169084/SRC contract 2710001
Laboratories:




 Record created 2018-06-08, last modified 2018-09-13


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)