This information is part of the Modelica Standard Library maintained by the Modelica Association.
The Counter is a generic component, which counts the high-low slopes of the count signal, if the enable signal is set to be true. It is composed by n JK flipflops. q is the resulting number, where q is the lowest, and q[n] the highest bit.
Generic N Bit Counter Example