Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Area-Oriented Resubstitution For Networks of Look-Up Tables
 
research article

Area-Oriented Resubstitution For Networks of Look-Up Tables

Costamagna, Andrea  
•
Calvino, Alessandro Tempia  
•
Mishchenko, Alan
Show more
2025
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

This paper addresses the challenge of reducing the number of nodes in Look-Up Table (LUT) networks with two significant applications. First, Field-Programmable Gate Arrays (FPGAs) can be modelled as networks of LUTs, and minimizing the node count is imperative to meet resource constraints. Second, in area-oriented design space exploration for standard-cell designs, collapsing a circuit into a LUT network, restructuring it, and later remapping to the original representation helps escape local minima. Thus, the development of algorithms for optimizing and restructuring LUT networks holds considerable promise for area-oriented optimization. Substitution (also called resubstitution) is a powerful logic minimization method that can identify non-local logic dependencies and exploit them for logic minimization. State-of-the-art substitution algorithms for LUT networks rely heavily on SAT solving, limiting the number of optimization attempts and the size of the substitution sub-networks to one node mishchenko2011scalable. Conversely, our method relies on circuit simulation to increase the number of substitution candidates and enables substitutions with more than one node. The experimental results show that the proposed method identifies optimization opportunities overlooked by other methods, improving 11 out of 23 best-known results in the EPFL synthesis competition and yielding a 3.46% area reduction compared to the state-of-the-art.

  • Files
  • Details
  • Metrics
Type
research article
DOI
10.1109/TCAD.2025.3525617
Scopus ID

2-s2.0-85215826554

Author(s)
Costamagna, Andrea  

École Polytechnique Fédérale de Lausanne

Calvino, Alessandro Tempia  

École Polytechnique Fédérale de Lausanne

Mishchenko, Alan

Department of Electrical Engineering and Computer Sciences

Micheli, Giovanni De  

École Polytechnique Fédérale de Lausanne

Date Issued

2025

Published in
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Subjects

area optimization

•

FPGA

•

information graphs

•

logic synthesis

•

resubstitution

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LSI1  
Available on Infoscience
January 30, 2025
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/246035
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés