BDD-based synthesis of reversible logic for large functions
Proceedings of the 46th Annual Design Automation Conference
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
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.