Download Reversible Logic Synthesis Methodologies With Application To Quantum Computing