Verilog HDL model based thermometer-to-binary encoder with bubble error correction.