Synthesis of counters with threshold elements | IEEE Conference Publication | IEEE Xplore