Choosing the optimal HDL model of thermometer-to-binary encoder | IEEE Conference Publication | IEEE Xplore