Hierarchical Synthesis of Quantum and Reversible Architectures

Reversible hardware finds application in emerging areas such as low power circuit design, quantum computing, optical computing, and DNA computing. Intensive research has recently focused on the synthesis of reversible architectures. Most of these approaches derive efficient or even optimal circuits having as major drawback the scalability: they can only handle small circuits (up to a few hundred inputs for the most promising ones). In this paper, we propose a graph-based hierarchical synthesis method for large reversible and quantum architectures which can be combined with any of the existing synthesis methods to deliver unlimited scalability for arbitrary large and/or irregular architectures. The specification of any complex function is provided in the form of a sequential algorithm consisting of primitive pre-synthesized operations available in a library. The components of the library may have been designed by ad-hoc methods or synthesized by the known methods in the literature or even by the proposed synthesis procedure. The synthesized architecture is represented as a dependence graph whose nodes correspond to the available components of the library and their respective inverses so as to reset possible intermediate ancillae bits used during the synthesis procedure back to their initial state. The method can be recursively applied at multiple levels to build any complex reversible or quantum architecture.

[1]  Robert Wille,et al.  Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology - (Invited Paper) , 2012, VDAT.

[2]  Xiao Liu,et al.  Chisel-Q: Designing quantum circuits with a scala embedded language , 2013, 2013 IEEE 31st International Conference on Computer Design (ICCD).

[3]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[4]  N. Ranganathan,et al.  Mach-Zehnder interferometer based design of all optical reversible binary adder , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Isaac L. Chuang,et al.  Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .

[6]  Dmitri Maslov,et al.  A Study of Optimal 4-Bit Reversible Toffoli Circuits and Their Synthesis , 2011, IEEE Transactions on Computers.

[7]  J. Vartiainen,et al.  Efficient decomposition of quantum gates. , 2003, Physical review letters.

[8]  R. Landauer,et al.  Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..

[9]  Niraj K. Jha,et al.  An Algorithm for Synthesis of Reversible Logic Circuits , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[10]  Frederic T. Chong,et al.  Quantum Memory Hierarchies: Efficient Designs to Match Available Parallelism in Quantum Computing , 2006, 33rd International Symposium on Computer Architecture (ISCA'06).

[11]  Robert Wille,et al.  SyReC: A Programming Language for Synthesis of Reversible Circuits , 2010, FDL.

[12]  Niraj K. Jha,et al.  QLib: Quantum module library , 2014, ACM J. Emerg. Technol. Comput. Syst..

[13]  Gerhard W. Dueck,et al.  A transformation based algorithm for reversible logic synthesis , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[14]  Tommaso Toffoli,et al.  Reversible Computing , 1980, ICALP.

[15]  Gerhard W. Dueck,et al.  Techniques for the synthesis of reversible Toffoli networks , 2006, TODE.

[16]  Mark Oskin,et al.  An Evaluation Framework and Instruction Set Architecture for Ion-Trap Based Quantum Micro-Architectures , 2005, ISCA 2005.

[17]  Rodney Van Meter,et al.  Faster quantum chemistry simulation on fault-tolerant quantum computers , 2012, 1204.0567.

[18]  David Harlan Wood,et al.  Fredkin gate circuits via recombination enzymes , 2004, Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753).

[19]  John P. Hayes,et al.  Synthesis of reversible logic circuits , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[20]  I. Chuang,et al.  Quantum Computation and Quantum Information: Introduction to the Tenth Anniversary Edition , 2010 .

[21]  Igor L. Markov,et al.  Synthesis and optimization of reversible circuits—a survey , 2011, CSUR.

[22]  Alán Aspuru-Guzik,et al.  Faster quantum chemistry simulation on fault-tolerant quantum computers , 2012 .

[23]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[24]  Benoît Valiron,et al.  Quipper: a scalable quantum programming language , 2013, PLDI.

[25]  George Cybenko,et al.  Reducing quantum computations to elementary unitary operations , 2001, Comput. Sci. Eng..

[26]  Preskill,et al.  Efficient networks for quantum factoring. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[27]  Robert Wille,et al.  BDD-based synthesis of reversible logic for large functions , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[28]  John P. Hayes,et al.  Data structures and algorithms for simplifying reversible circuits , 2006, JETC.

[29]  Dimitris Gizopoulos,et al.  Fast quantum modular exponentiation architecture for Shor's factoring algorithm , 2014, Quantum Inf. Comput..

[30]  Margaret Martonosi,et al.  ScaffCC: a framework for compilation and analysis of quantum computing programs , 2014, Conf. Computing Frontiers.

[31]  Morteza Saheb Zamani,et al.  Reversible circuit synthesis using a cycle-based approach , 2010, JETC.

[32]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[33]  Mark Oskin,et al.  Microcoded Architectures for Ion-Tap Quantum Computers , 2008, 2008 International Symposium on Computer Architecture.

[34]  R. V. Meter,et al.  Fast quantum modular exponentiation , 2004, quant-ph/0408006.

[35]  Robert Wille,et al.  Towards a Design Flow for Reversible Logic , 2010 .

[36]  Frederic T. Chong,et al.  Quantum Computing for Computer Architects , 2006, Synthesis Lectures on Computer Architecture.

[37]  Andrew W. Cross,et al.  A quantum logic array microarchitecture: scalable quantum data movement and computation , 2005, 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'05).