NRL reports. 6230. Procedure for design and analysis of arbitrary length digital counters [with list of references; by] R. J. Orsino and H. O. Talmadge Jr.