Synthesis of saturating counters using traditional and non-traditional basic counters | IEEE Conference Publication | IEEE Xplore