Article thumbnail

Techniques for the Synthesis of Reversible Toffoli Networks

By D. Maslov, G. W. Dueck and D. M. Miller


We present certain new techniques for the synthesis of reversible networks of Toffoli gates, as well as improvements to previous methods. Gate count and technology oriented cost metrics are used. Two new synthesis procedures employing Reed-Muller spectra are introduced and shown to complement earlier synthesis approaches. The previously proposed template simplification method is enhanced through the introduction of a faster and more efficient template application algorithm, an updated classification of the templates, and the addition of new templates of sizes 7 and 9. A resynthesis approach is introduced wherein a sequence of gates is chosen from a network, and the reversible specification it realizes is resynthesized as an independent problem in hopes of reducing the network cost. Empirical results are presented to show that the methods are efficient in terms of the realization of reversible benchmark specifications. Categories and Subject Descriptors: F. Theory of Computation, J.6 [Computer-aided Engineering]

Topics: B.6[Logic Design] [B.6.1 Design Styles, B.6.3 Design Aids, Computer-aided design (CAD, Automatic synthesis, Optimization, Switching theory General Terms, Hardware, Theory of Computation Additional Key Words and Phrases, quantum computing, reversible logic synthesis, circuit optimization 42
Year: 2012
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.