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
摘要
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.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper2
- Massively Parallel AIG ResubstitutionYang Sun, Tianji Liu, Martin D. F. Wong, Evangeline F. Y. YoungDAC 2024 · 被引用 6 次
- Improving LUT-based optimization for ASICsWalter Lau Neto, Luca G. Amarù, Vinicius Possani, Patrick Vuillod 等DAC 2022 · 被引用 6 次
相关 Paper
- Mixed Structural Choice Operator: Enhancing Technology Mapping with Heterogeneous RepresentationsZhang Hu, Hongyang Pan, Yinshui Xia, Lunyao Wang 等DAC 2025 · 被引用 1 次
- HIMap: a heuristic and iterative logic synthesis approachXing Li, Lei Chen, Fan Yang, Mingxuan Yuan 等DAC 2022 · 被引用 11 次
- SAT-Sweeping Enhanced for Logic SynthesisLuca G. Amarù, Felipe S. Marranghello, Eleonora Testa, Christopher Casares 等DAC 2020 · 被引用 20 次
- Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT SolvingZhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan 等DAC 2025 · 被引用 1 次
- Silicon validation of LUT-based logic-locked IP coresGaurav Kolhe, Tyler Sheaves, Kevin Immanuel Gubbi, Tejas Kadale 等DAC 2022 · 被引用 13 次
