Efficient Design and Implementation of Adders with Reversible Logic