Does anyone know how to model a counter? Conceptually, the counter counts edge triggered events at its input, accumulates them over some time, before dumping the result to the output.
With model I mean what equation could I use to represent such behaviour?