Update booth_encoder.v