2009 39th International Symposium on Multiple-Valued Logic (2009)
Naha, Okinawaw, Japan
May 21, 2009 to May 23, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2009.31
This paper proposes a framework that improves reversible logic synthesis by employing a dynamically determined variable order for quantum multiple-valued decision diagrams (QMDD). We demonstrate our approach through augmentation of the Miller-Maslov-Dueck (MMD) algorithm that processes the complete function specification in lexicographical order with our technique. We represent and minimize the complete specification with the QMDD and then synthesize the function specification based on the minimized variable order. The framework produces significantly smaller reversible circuits in many cases. Experimental results also show the effectiveness of using the QMDD size as a measure of the complexity of MVL and binary reversible circuits.
MVL, reversible logic, quantum logic, reversible logic synthesis, QMDD, reversible MVL synthesis
M. A. Thornton and D. Y. Feinstein, "On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering," 2009 39th International Symposium on Multiple-Valued Logic(ISMVL), Naha, Okinawaw, Japan, 2009, pp. 132-138.