SAT Based Exact Synthesis using DAG Topology Families

SAT based exact synthesis is a powerful technique, with applications in logic optimization, technology mapping, and synthesis for emerging technologies. However, its runtime behavior can be unpredictable and slow. In this paper, we propose to add a new type of constraint based on families of DAG topologies. Such families restrict the search space considerably and let us partition the synthesis problem in a natural way. Our approach shows significant reductions in runtime as compared to state-of-the-art implementations, by up to 63.43%. Moreover, our implementation has significantly fewer timeouts compared to baseline and reference implementations, and reduces this number by up to 61%. In fact, our topology based implementation dominates the others with respect to the number of solved instances: given a runtime bound, it solves at least as many instances as any other implementation.


Publié dans:
2018 55Th Acm/Esda/Ieee Design Automation Conference (Dac)
Présenté à:
55th ACM/ESDA/IEEE Design Automation Conference (DAC), San Francisco, CA, Jun 24-28, 2018
Année
Jan 01 2018
Publisher:
New York, IEEE
ISBN:
978-1-4503-5700-5
Mots-clefs:
Laboratoires:




 Notice créée le 2018-12-13, modifiée le 2019-05-02


Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)