Functional Decomposition Using Majority

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) preoptimization 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 a average of 9.6% reduction on the look-up tables (LUT) size/depth product applied to the EPFL arithmetic benchmarks after technology mapping.


Published in:
23Rd Asia And South Pacific Design Automation Conference (Asp-Dac 2018), 676-681
Presented at:
23rd Asia and South Pacific Design Automation Conference (ASP-DAC), Jeju, SOUTH KOREA, Jan 22-25, 2018
Year:
Jan 01 2018
Publisher:
New York, ASSOC COMPUTING MACHINERY
Keywords:
Laboratories:




 Record created 2019-08-02, last modified 2020-04-20


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)