A new heuristic algorithm for reversible logic synthesis

Reversible logic has applications in many fields, including quantum computing. Synthesis techniques for reversible circuits are not well developed, even for functions with a small number of inputs and outputs. This paper proposes an approach to reversible logic synthesis using a new complexity measure based on shared binary decision diagrams with complemented edges (instead of truth tables or PPRM forms, as in the previous algorithms). The approach can be used with arbitrary libraries of reversible logic gates and arbitrary cost functions. Experiments show promising results in comparison with the known approaches. Categories and Subject Descriptors B.6.3 [Logic Design]: Design Aids ? Automatic Synthesis General Terms Design, Theory. Keywords Reversible Logic Circuits, Synthesis.

• Type: Conference
• Year: 2004
• Where: DAC
• Authors: Pawel Kerntopf
• Keywords: DAC 2004, Design Automation, Reversible Logic Circuits, Reversible Logic Gates, Reversible Logic Synthesis