Synthesis of Adder Circuits using Reversible Logic