Reversible Synthesis in the Walsh Hadamard Domain
The paper presents a method for reversible synthesis of Boolean functions based on the properties of theis Walsh-Hadamard spectra. To realize a function, each part of the reversible cascade is specified by an examination if certain appropriately defined conditions are satisfied by pairs of the Walsh-Hadamard spectral coefficients. The function to be realized is represented by a Binary Decision Diagram (BDD) and the Walsh-Hadamard spectrum is computed over this BDD. Experimental results show that the proposed method outperforms existing similar methods in terms of both the number of lines and gates.
KeywordsBoolean Function Reversible Logic Residual Function Binary Decision Diagram Optimization Rule
Unable to display preview. Download preview PDF.
- 1.Wille, R., Drechsler, R.: BDD-based synthesis of reversible logic for large functions. In: Design Automation Conf. (2009)Google Scholar
- 3.Stanković, M., Tišić, Ž., Nikolić, S.: Synthesis of Maitra cascades by means of spectral coefficients. In: IEEE Proceedings of Computers and Digital Techniques, vol. 130(4), pp. 101–108 (1983)Google Scholar