Design and Verification of an Adder-Subtractor Using UVM Methodology | IEEE Conference Publication | IEEE Xplore