A new heuristic algorithm for reversible logic synthesis
Proceedings of the 41st annual Design Automation Conference
Reversible computing: from mathematical group theory to electronical circuit experiment
Proceedings of the 2nd conference on Computing frontiers
Bi-Direction Synthesis for Reversible Circuits
ISVLSI '05 Proceedings of the IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design
Fast synthesis of exact minimal reversible circuits using group theory
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Synthesis of quantum logic circuits
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Analysis and synthesis of quantum circuits by using quantum decision diagrams
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Data structures and algorithms for simplifying reversible circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Six Synthesis Methods for Reversible Logic
Open Systems & Information Dynamics
Reversible circuit technology mapping from non-reversible specifications
Proceedings of the conference on Design, automation and test in Europe
Techniques for the synthesis of reversible Toffoli networks
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A novel synthesis algorithm for reversible circuits
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Reversible logic synthesis with Fredkin and Peres gates
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Exact combinational logic synthesis and non-standard circuit design
Proceedings of the 5th conference on Computing frontiers
Minimal universal library for n×n reversible circuits
Computers & Mathematics with Applications
Protecting bus-based hardware IP by secret sharing
Proceedings of the 45th annual Design Automation Conference
Optimized reversible binary-coded decimal adders
Journal of Systems Architecture: the EUROMICRO Journal
Efficient approaches for designing reversible Binary Coded Decimal adders
Microelectronics Journal
A cycle-based synthesis algorithm for reversible logic
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
An XQDD-Based Verification Method for Quantum Circuits
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
BDD-based synthesis of reversible logic for large functions
Proceedings of the 46th Annual Design Automation Conference
Exact multiple-control toffoli network synthesis with SAT techniques
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
An outlook on design technologies for future integrated systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A Novel RM-Based Algorithm for Reversible Circuits
ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A library-based synthesis methodology for reversible logic
Microelectronics Journal
A logic programming framework for combinational circuit synthesis
ICLP'07 Proceedings of the 23rd international conference on Logic programming
On the fault testing for reversible circuits
ISAAC'07 Proceedings of the 18th international conference on Algorithms and computation
Reversible online BIST using bidirectional BILBO
Proceedings of the 7th ACM international conference on Computing frontiers
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Comment on “Efficient approaches for designing reversible Binary Coded Decimal adders”
Microelectronics Journal
Reducing the number of lines in reversible circuits
Proceedings of the 47th Design Automation Conference
Synthesis of the optimal 4-bit reversible circuits
Proceedings of the 47th Design Automation Conference
Proceedings of the Conference on Design, Automation and Test in Europe
Reversible circuit synthesis using a cycle-based approach
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Design of reversible sequential circuits optimizing quantum cost, delay, and garbage outputs
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Adaptive vs. self-adaptive parameters for evolving quantum circuits
ICES'10 Proceedings of the 9th international conference on Evolvable systems: from biology to hardware
Universal test sets for reversible circuits
COCOON'10 Proceedings of the 16th annual international conference on Computing and combinatorics
Integration, the VLSI Journal
Transistor realization of reversible "ZS" series gates and reversible array multiplier
Microelectronics Journal
Strategies for designing geometric transformations on quantum images
Theoretical Computer Science
Synthesis of fredkin-toffoli reversible networks
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Fault diagnosis in reversible circuits under missing-gate fault model
Computers and Electrical Engineering
Improving ESOP-based synthesis of reversible logic using evolutionary algorithms
EvoApplications'11 Proceedings of the 2011 international conference on Applications of evolutionary computation - Volume Part II
Optimal synthesis of linear reversible circuits
Quantum Information & Computation
Realizing reversible circuits using a new class of quantum gates
Proceedings of the 49th Annual Design Automation Conference
RevKit: an open source toolkit for the design of reversible circuits
RC'11 Proceedings of the Third international conference on Reversible Computation
Synthesis and optimization of reversible circuits—a survey
ACM Computing Surveys (CSUR)
BDD-Based Synthesis of Reversible Logic
International Journal of Applied Metaheuristic Computing
Depth-optimized reversible circuit synthesis
Quantum Information Processing
Derivation of test set for detecting multiple missing-gate faults in reversible circuits
Computers and Electrical Engineering
Design of efficient reversible logic-based binary and BCD adder circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Automatic design of low-power encoders using reversible circuit synthesis
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Reversible circuit synthesis of symmetric functions using a simple regular structure
RC'13 Proceedings of the 5th international conference on Reversible Computation
Reducing the depth of quantum circuits using additional circuit lines
RC'13 Proceedings of the 5th international conference on Reversible Computation
Online Testable Approaches in Reversible Logic
Journal of Electronic Testing: Theory and Applications
Line ordering of reversible circuits for linear nearest neighbor realization
Quantum Information Processing
RMDDS: Reed-muller decision diagram synthesis of reversible logic circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Trading off circuit lines and gate costs in the synthesis of reversible logic
Integration, the VLSI Journal
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level
Quantum Information Processing
Upper bounds for reversible circuits based on Young subgroups
Information Processing Letters
| Hi-index | 0.04 |
Reversible or information-lossless circuits have applications in digital signal processing, communication, computer graphics, and cryptography. They are also a fundamental requirement in the emerging field of quantum computation. We investigate the synthesis of reversible circuits that employ a minimum number of gates and contain no redundant input-output line-pairs (temporary storage channels). We prove constructively that every even permutation can be implemented without temporary storage using NOT, CNOT, and TOFFOLI gates. We describe an algorithm for the synthesis of optimal circuits and study the reversible functions on three wires, reporting the distribution of circuit sizes. We also study canonical circuit decompositions where gates of the same kind are grouped together. Finally, in an application important to quantum computing, we synthesize oracle circuits for Grover's search algorithm, and show a significant improvement over a previously proposed synthesis algorithm.