booth encoder verilog code