Verilog HDL model based thermometer-to-binary encoder with bubble error correction | IEEE Conference Publication | IEEE Xplore