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. Conferences, Workshops, Symposiums, and Seminars
  4. Functional Decomposition Using Majority
 
Loading...
Thumbnail Image
conference paper

Functional Decomposition Using Majority

Chu, Zhufei
•
Soeken, Mathias  
•
Xia, Yinshui
Show more
January 25, 2018
Proceedings of the 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)
23rd Asia and South Pacific Design Automation Conference (ASP-DAC)23rd Asia and South Pacific Design Automation Conference (ASP-DAC)

Typical operators for the decomposition of Boolean functions in state-of-the-art algorithms are AND, exclusive-OR (XOR), and a 2-to-1 multiplexer (MUX). We propose a logic decomposition algorithm that uses the majority-of-three (MAJ) operation. Such decomposition can extend the capabilities of current logic decomposition, but only found limited attention in previous work. Our algorithm makes use of a decomposition rule based on MAJ. Combined with disjoint-support decomposition, the algorithm can factorize XOR-Majority Graphs (XMGs), a recently proposed data structure which has XOR, MAJ, and inverters as only logic primitives. XMGs have been applied in various applications, including (i) exact synthesis aware rewriting, (ii) pre-optimization for 6-LUT mapping, and (iii) synthesis of quantum networks. An experimental evaluation shows that our algorithm leads to better XMGs compared to state-of-the-art algorithms, which positively affect all these three applications. As one example, our experiments show that the proposed method achieves up to 37.1% with an average of 9.6% reduction on the look-up tables (LUT) size/depth product applied to the EPFL arithmetic benchmarks after technology mapping.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1109/ASPDAC.2018.8297400
Web of Science ID

WOS:000475955100127

Author(s)
Chu, Zhufei
•
Soeken, Mathias  
•
Xia, Yinshui
•
De Micheli, Giovanni  
Date Issued

2018-01-25

Publisher

IEEE

Published in
Proceedings of the 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)
Start page

676

End page

681

Note

ERC Cybercare 669354 / SNF MAJesty 200021-169084 / NSF China 61501268 / Zhejiang Provincial NSF LQ15F040001 / Ningbo City NSF 2015A610112

Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LSI1  
Event nameEvent placeEvent date
23rd Asia and South Pacific Design Automation Conference (ASP-DAC)23rd Asia and South Pacific Design Automation Conference (ASP-DAC)

Jeju Island, KoreaJeju Island, Korea

January 22-25, 2018January 22-25, 2018

Available on Infoscience
January 9, 2018
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/143670
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