KS adder verilog