Reversible Logic Synthesis Based on Decision Diagram Variable Ordering
Reversible logic synthesis is important for the design of conventional logic systems such as adiabatic logic and also for quantum logic systems since all quantum logic gates are necessarily reversible in nature. A framework is presented that improves reversible logic synthesis by employing a dynamically determined variable order for Quantum Multiple-valued Decision Diagrams (QMDD). The authors describe their approach through augmentation of the Miller-Maslov-Dueck (MMD) synthesis algorithm that processes the complete function specification in lexicographical order with their technique. They represent and minimize the complete specification with the QMDD and then synthesize the function specification based on the minimized variable order.