Improvements to Boolean resynthesis

In electronic design automation Boolean resynthesis techniques are increasingly used to improve the quality of results where algebraic methods hit local minima Boolean methods rely on complete functional properties of a logic circuit, preferably including don't care information. Computationally expensive engines such as truth tables, SAT and binary decision diagrams are required to gather such properties. The choice of the engine determines the scalability of Boolean resynthesis. In this paper, we present improvements to Boolean resynthesis, enabling more optimization opportunities to be found at the same or smaller runtime cost as compared to state-of-the-art methods. Our contributions include (i) a theory of Boolean filtering to drastically reduce the number of gates processed and still retain all possible optimization opportunities, (ii) a weaker notion of maximum set of permissible functions, which can be computed efficiently via truth tables, (iii) a generalized refactoring engine that supports multiple representation forms, and (iv) a practical Boolean resynthesis flow, which combines the techniques proposed so far. Using our Boolean resynthesis on the EPFL benchmarks, we improve 10 of the best known area results in the synthesis competition. Embedded in a commercial El)A flow for ASICs, the Boolean resynthesis flow reduces the area by -2.67% and total negative slack by -5.48%, after physical implementation, at negligible runtime cost.


Publié dans:
Proceedings of the Design, Automation and Test in Europe, 755-790
Présenté à:
Design, Automation and Test in Europe (DATE), Dresden, Germany, March 19-23, 2018
Année
Mar 23 2018
Publisher:
New York, IEEE
ISSN:
1530-1591
ISBN:
978-3-9819-2630-9
Mots-clefs:
Laboratoires:




 Notice créée le 2018-01-09, modifiée le 2020-07-29


Évaluer ce document:

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