Tabla de transiciones

Indica para cada par (estado actual/entrada), cual es el estado siguiente y cuales son las entradas a los flip-flops. Estas entradas están generadas por la parte combinacional de nuestra máquina de estados. La tabla 4.1 muestra la tabla de transiciones para el contador BCD. Las entradas de los biestables se calculan mirando la tabla de verdad del flip-flop JK escrita al revés (ver tabla 4.2).

 

Table 4.1: Tabla de transiciones del contador síncrono BCD.

Estado Actual					Estado Siguiente				Entradas a Biestables
Pulso	Q3	Q2	Q1	Q0	Q3	Q2	Q1	Q0	J3K3	J2K2	J1K1	J0K0
0	0	0	0	0	0	0	0	1	0 X	0 X	0 X	1 X
1	0	0	0	1	0	0	1	0	0 X	0 X	1 X	X 1
2	0	0	1	0	0	0	1	1	0 X	0 X	X 0	1 X
3	0	0	1	1	0	1	0	0	0 X	1 X	X 1	X 1
4	0	1	0	0	0	1	0	1	0 X	X 0	0 X	1 X
5	0	1	0	1	0	1	1	0	0 X	X 0	1 X	X 1
6	0	1	1	0	0	1	1	1	0 X	X 0	X 0	1 X
7	0	1	1	1	1	0	0	0	1 X	X 1	X 1	X 1
8	1	0	0	0	1	0	0	1	X 0	0 X	0 X	1 X
9	1	0	0	1	0	0	0	0	X 1	0 X	0 X	X 1

 

 

Table 4.2: Tabla de verdad del flip-flop JK, en función del estado actual y el estado siguiente.

Qn	Qn+1	J	K
0	0	0	X
0	1	1	X
1	0	X	1
1	1	X	0