Practical Boolean Decomposition for Delay-driven LUT Map**
Authors:
Alessandro Tempia Calvino,
Alan Mishchenko,
Giovanni De Micheli,
Robert Brayton
Abstract:
Ashenhurst-Curtis decomposition (ACD) is a decomposition technique used, in particular, to map combinational logic into lookup tables (LUTs) structures when synthesizing hardware designs. However, available implementations of ACD suffer from excessive complexity, search-space restrictions, and slow run time, which limit their applicability and scalability. This paper presents a novel fast and vers…
▽ More
Ashenhurst-Curtis decomposition (ACD) is a decomposition technique used, in particular, to map combinational logic into lookup tables (LUTs) structures when synthesizing hardware designs. However, available implementations of ACD suffer from excessive complexity, search-space restrictions, and slow run time, which limit their applicability and scalability. This paper presents a novel fast and versatile technique of ACD suitable for delay optimization. We use this new formulation to compute two-level decompositions into a variable number of LUTs and enhance delay-driven LUT map** by performing ACD on the fly. Compared to state-of-the-art technology map**, experiments on heavily optimized benchmarks demonstrate an average delay improvement of 12.39%, and area reduction of 2.20% with affordable run time. Additionally, our method improves 4 of the best delay results in the EPFL synthesis competition without employing design-space exploration techniques.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
The EPFL Logic Synthesis Libraries
Authors:
Mathias Soeken,
Heinz Riener,
Winston Haaswijk,
Eleonora Testa,
Bruno Schmitt,
Giulia Meuli,
Fereshte Mozafari,
Siang-Yun Lee,
Alessandro Tempia Calvino,
Dewmini Sudara Marakkalage,
Giovanni De Micheli
Abstract:
We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the implementation of quantum compilers. All libraries are well documented and well tested. Furthermore, being header-only, the libraries can be readily used as cor…
▽ More
We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the implementation of quantum compilers. All libraries are well documented and well tested. Furthermore, being header-only, the libraries can be readily used as core components in complex logic synthesis systems.
△ Less
Submitted 3 June, 2022; v1 submitted 14 May, 2018;
originally announced May 2018.