verilog code for encoder