LUT-Based Optimization For ASIC Design Flow
Luca Gaetano Amarù, Vinicius N. Possani, Eleonora Testa, Felipe S. Marranghello, Christopher Casares, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli
Abstract
Look-up Table (LUT) mapping and optimization is an important step in Field Programmable Gate Arrays (FPGAs) design. The effectiveness of LUT synthesis improved dramatically in the last decades, thanks to optimization and mapping innovations naturally tailored for FPGAs. In this paper, we develop a new LUT-based optimization flow that is tailored for the synthesis of Application-Specific Integrated Circuits (ASICs) rather than FPGAs. We enhance LUT mapping to consider the literal/AIG cost of LUT nodes. We extend traditional Boolean methods to simplify and re-shape LUT-networks, targeting the best AIG/mapped-network implementation, after decomposition. Intuitively, literal-driven LUT packing behaves as a powerful fanin-bound node elimination, unveiling higher-order Boolean simplification opportunities. We embed our proposed LUT-based optimization flow, area oriented, in a commercial synthesis tool. Using our methodology, we improve 12 of the best area results in the EPFL synthesis competition. Employed in a commercial EDA flow for ASICs, our LUT optimization reduces area by 1.80%, total negative slack by 0.39%, and switching power by 1.72%, after physical implementation, at 5% runtime cost.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Cited by top-tier papers2
- Massively Parallel AIG ResubstitutionYang Sun, Tianji Liu, Martin D. F. Wong, Evangeline F. Y. YoungDAC 2024 · 6 citations
- Improving LUT-based optimization for ASICsWalter Lau Neto, Luca G. Amarù, Vinicius Possani, Patrick Vuillod et al.DAC 2022 · 6 citations
Related papers
- Mixed Structural Choice Operator: Enhancing Technology Mapping with Heterogeneous RepresentationsZhang Hu, Hongyang Pan, Yinshui Xia, Lunyao Wang et al.DAC 2025 · 1 citation
- HIMap: a heuristic and iterative logic synthesis approachXing Li, Lei Chen, Fan Yang, Mingxuan Yuan et al.DAC 2022 · 11 citations
- SAT-Sweeping Enhanced for Logic SynthesisLuca G. Amarù, Felipe S. Marranghello, Eleonora Testa, Christopher Casares et al.DAC 2020 · 20 citations
- Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT SolvingZhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan et al.DAC 2025 · 1 citation
- Silicon validation of LUT-based logic-locked IP coresGaurav Kolhe, Tyler Sheaves, Kevin Immanuel Gubbi, Tejas Kadale et al.DAC 2022 · 13 citations
