E-Syn : réécriture d'e-graph avec des fonctions de coût conscientes de la technologie pour la synthèse logique

La synthèse logique joue un rôle crucial dans le flux de conception numérique. Elle a une influence décisive sur la Qualité des Résultats (QoR) des implémentations de circuits. Cependant, les algorithmes d'optimisation logique multi-niveaux existants utilisent souvent des approches gloutonnes avec une série d'étapes d'optimisation locales. Chaque étape découpe le circuit en petits morceaux (par exemple, des coupes k-faisables) et applique des changements incrémentaux à chaque morceau séparément. Ces étapes d'optimisation locales pourraient limiter l'espace d'exploration et manquer des opportunités d'améliorations significatives. Pour remédier à cette limitation, cet article propose d'utiliser l'e-graph dans la synthèse logique. Le nouveau flux de travail, nommé Esyn, utilise l'infrastructure d'e-graph bien établie pour effectuer efficacement la réécriture logique. Il explore un ensemble diversifié de représentations booléennes équivalentes tout en permettant des fonctions de coût conscientes de la technologie pour mieux soutenir la synthèse logique orientée sur le délai et sur la surface. Des expériences sur un large éventail de conceptions de référence montrent que notre approche d'optimisation logique atteint un espace de conception plus vaste par rapport au flux de synthèse logique basé sur AIG couramment utilisé. Elle réalise en moyenne une économie de délai de 15,29 % dans la synthèse orientée sur le délai et de 6,42 % d'économie de surface pour la synthèse orientée sur la surface.