On the design of easily testable LFSR counters for frequency division