Create encoder3.sv