Design and analysis of up-down counters

J.P.L. Segers, J.C. Ebergen

Research output: Contribution to journalArticleAcademicpeer-review


Several designs for an up-down N-counter are derived for any N > 0. The up-down N-counter has a simple specification, but allows many non-trivial, efficient implementations. All designs are represented by means of a CSP-like program and are analyzed with respect to area, response time, and power consumption. Our final design has optimal area of T(log N), a bounded response time, and a bounded power consumption.
Original languageEnglish
Pages (from-to)185-204
JournalScience of Computer Programming
Issue number2
Publication statusPublished - 1996


Dive into the research topics of 'Design and analysis of up-down counters'. Together they form a unique fingerprint.

Cite this