Create encoder2.sv