El análisis para realizar el contador de 4 bits se hace por medio de la siguiente tabla:
Estado Inicial | Estado Siguiente | T3 | T2 | T1 | T0 |
0000 | 0001 | 0 | 0 | 0 | 1 |
0001 | 0010 | 0 | 0 | 1 | 1 |
0010 | 0011 | 0 | 0 | 0 | 1 |
0011 | 0100 | 0 | 1 | 1 | 1 |
0100 | 0101 | 0 | 0 | 0 | 1 |
0101 | 0110 | 0 | 0 | 1 | 1 |
0110 | 0111 | 0 | 0 | 0 | 1 |
0111 | 1000 | 1 | 1 | 1 | 1 |
1000 | 1001 | 0 | 0 | 0 | 1 |
1001 | 1010 | 0 | 0 | 1 | 1 |
1010 | 1011 | 0 | 0 | 0 | 1 |
1011 | 1100 | 0 | 1 | 1 | 1 |
1100 | 1101 | 0 | 0 | 0 | 1 |
1101 | 1110 | 0 | 0 | 1 | 1 |
1110 | 1111 | 0 | 0 | 0 | 1 |
1111 | 0000 | 1 | 1 | 1 | 1 |
Con esta tabla generamos las ecuaciones para T0, T1, T2 y T3 que son las entradas de cada FlipFlop. Tenemos que: $T0 = 1$ $T1 = S0$ (el bit menos significativo en el estado inicial) $T2 = S1$ AND $S0$ $T3 = \overline{S3}S2S1S0 + S3S2S1S0$ $= S2S1S0(S3 +\overline{S3})$ $= S2S1S0$
A continuación se muestra cómo quedó el diagrama en el programa SmartSim así como algunas capturas de la simulación y el diagrama de las señales que se generaron en un conteo de 0 a 15. Los archivo realizados en SmartSim se pueden descargar aquí.