In this paper it is examined how the modeling style used to implement the thermometer-to-binary encoder influence parameters of the synthesized circuit. It is demonstrated that badly chosen language ...