Rewriting is a widely used logic optimization approach incorporated in most commercial logic synthesis tools. In this paper, we present a new rewriting method based on AndInverted Graph (AIG). Rather than focusing on cut rewriting, it considers a novel sub-structure called Maximum Fanout-Free Window (MFFW) and rewrites with a more compact implementation. Both exact synthesis and heuristic methods can be adopted to optimize MFFWs. A database dependent framework is proposed to store the optimal sub-structures to accelerate the processing. We further propose the semi-canonicalization to reduce the scale of the database, which could reduce more than 98% of the 4-input MFFW database. Extensive experiments on benchmark datasets demonstrate both the effectiveness and efficiency of our proposed framework.
|Publication status||Published - Jul 2023|
|Event||The 60th ACM/IEEE Design Automation Conference, DAC 2023 - Moscone West, San Francisco, United States|
Duration: 9 Jul 2023 → 13 Jul 2023
|Competition||The 60th ACM/IEEE Design Automation Conference, DAC 2023|
|Period||9/07/23 → 13/07/23|