Upper bounds for reversible circuits based on Young subgroups

Authors:
Nabila Abdessaied;Mathias Soeken;Michael Kirkedal Thomsen;Rolf Drechsler
Affiliations:
Institute of Computer Science, University of Bremen, Germany and Cyber-Physical Systems, DFKI GmbH, Bremen, Germany;Institute of Computer Science, University of Bremen, Germany and Cyber-Physical Systems, DFKI GmbH, Bremen, Germany;Institute of Computer Science, University of Bremen, Germany and DIKU, Department of Computer Science, University of Copenhagen, Denmark;Institute of Computer Science, University of Bremen, Germany and Cyber-Physical Systems, DFKI GmbH, Bremen, Germany
Venue:
Information Processing Letters
Year:
2014

Citing 12
Cited 0

A transformation based algorithm for reversible logic synthesis

Proceedings of the 40th annual Design Automation Conference
On figures of merit in reversible and quantum logic designs

Quantum Information Processing
Exact multiple-control toffoli network synthesis with SAT techniques

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Reversible circuit synthesis using a cycle-based approach

ACM Journal on Emerging Technologies in Computing Systems (JETC)
Reversible Computing: Fundamentals, Quantum Computing, and Applications

Reversible Computing: Fundamentals, Quantum Computing, and Applications
Synthesis of reversible logic circuits

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Reversible cascades with minimal garbage

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
An Algorithm for Synthesis of Reversible Logic Circuits

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
EXMIN2: a simplification algorithm for exclusive-OR-sum-of-products expressions for multiple-valued-input two-valued-output functions

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines

ISMVL '12 Proceedings of the 2012 IEEE 42nd International Symposium on Multiple-Valued Logic
Comparing CMOS-Based and NEMS-Based adiabatic logic circuits

RC'13 Proceedings of the 5th international conference on Reversible Computation
White dots do matter: rewriting reversible logic circuits

RC'13 Proceedings of the 5th international conference on Reversible Computation

Quantified Score

Hi-index	0.89

Visualization

Abstract

We present tighter upper bounds on the number of Toffoli gates needed in reversible circuits. Both multiple controlled Toffoli gates and mixed polarity Toffoli gates have been considered for this purpose. The calculation of the bounds is based on a synthesis approach based on Young subgroups that results in circuits using a more generalized gate library. Starting from an upper bound for this library we derive new bounds which improve the existing bound by around 77%.