Sciweavers

Share
ISMVL
2008
IEEE

Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares

8 years 8 months ago
Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Satisfiability (SAT), that finds the minimal elementary quantum gate realization for a given reversible function. Since these gates work in terms of qubits, a multi-valued encoding is proposed. Don’t care conditions appear naturally in many reversible functions. Constant inputs are often required when a function is embedded into a reversible one. The proposed algorithm takes full advantage of don’t care conditions and automatically sets the constant inputs to their optimal values. The effectiveness of the algorithm is shown on a set of benchmark functions.
Daniel Große, Robert Wille, Gerhard W. Dueck
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where ISMVL
Authors Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
Comments (0)
books