Modelling and comparison of adder designs with Verilog HDL | IEEE Conference Publication | IEEE Xplore