摘要

Reversible logic is a key technique for quantum computing leading to quantum communication and quantum computer. However, the bottleneck of low efficiency in the synthesis procedure limits applications of reversible logic and cannot obtain optimized reversible circuits. In this paper, an efficient method based on positive Davio expansion to synthesize reversible circuits is proposed, which generates a positive Davio decision diagram for a logic function and transfers diagram nodes to reversible circuits. A matching template is given to help nodes transformation. The experimental results prove that compared with other synthesis methods, the proposed method can obviously optimize quantum cost and keep very short execution time.