Design and Verification of Multiplier using carry look ahead adder