Contador ascendente de 0 a 5 con reset asincrono y reset síncrono con BOOLE-D.

Diagrama de Estados propuesto para implementar con flip-flops JK.

Variables de entrada:

CE Habilita el conteo si es 1 y detiene dicho conteo si es 0.

SR Reset sincrónico cuando es 0 y permite funcionamiento cuando es 1.
CLK Señal de reloj. Produce transiciones en el flanco positivo (pin 1 en la GAL)
MR Reset asincrónico. Habilita cuando es 0 (propio de los flip-flops de la GAL)

Variables de Salida:

Q2, Q1, Q0 = Conteo de salida. Q2 es el bit más significativo y Q0 es el bit menos significativo.
Z indica que el conteo está en el valor 5.

Estados no usados: 7 = 1 1 1 y 6 = 1 1 0, lo que hace más económico al diseño a costa de mayor riesgo.

Convención: A = 0, B = 1, C = 2, D = 3, etc.

Prof. S. Saucedo 1 ICE/2007

RESULTADOS DEL AUTÓMATA DE MOORE

Tabla de transición de estados y salidas Tabla de excitación flip-flop JK:

| |00 |01 |10 |11 | Q Q* J K

|------|------|------|------|------| |----|----|----|-----|
|A |A |A |A |B | | 0 | 0 | 0 | X |
|------|------|------|------|------| |----|----|----|-----|
|B |A |B |A |C | | 0 | 1 | 1 | X |
|------|------|------|------|------| |----|----|----|-----|
|C |A |C |A |D | | 1 | 0 | X | 1 |
|------|------|------|------|------| |----|----|----|-----|
|D |A |D |A |E | | 1 | 1 | X | 0 |
|------|------|------|------|------| |----|----|----|-----|
|E |A |E |A |F |
|------|------|------|------|------|
|F |A |F |A |A |
|------|------|------|------|------|

Tabla de codificación de estados y tabla de transición de estados y salidas codificadas

| |Q2..Q0|Salida|
|------|------|------|
|A |000 |0 |
|------|------|------|
|B |001 |0 |
|------|------|------|
|C |010 |0 |
|------|------|------|
|D |011 |0 |
|------|------|------|
|E |100 |0 |
|------|------|------|
|F |101 |1 |
|------|------|------|
|X |110 |X |
|------|------|------|
|X |111 |X |
|------|------|------|

| |00 |01 |10 |11 |

|------|------|------|------|------|
|000 |000 |000 |000 |001 |
|------|------|------|------|------|
|001 |000 |001 |000 |010 |
|------|------|------|------|------|
|010 |000 |010 |000 |011 |
|------|------|------|------|------|
|011 |000 |011 |000 |100 |
|------|------|------|------|------|
|100 |000 |100 |000 |101 |
|------|------|------|------|------|
|101 |000 |101 |000 |000 |
|------|------|------|------|------|
|110 |xxx |xxx |xxx |xxx |
|------|------|------|------|------|
|111 |xxx |xxx |xxx |xxx |
|------|------|------|------|------|

Prof. S. Saucedo 2 ICE/2007

Tabla de excitación de biestables
|CE |SR |q2 |q1 |q0 |Q2 |Q1 |Q0 |J2 |K2 |J1 |K1 |J0 |K0 |D2 |D1 |D0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |0 |0 |0 |0 |0 |0 |0 |0 |x |0 |x |0 |x |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |0 |0 |0 |1 |0 |0 |0 |0 |x |0 |x |x |1 |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |0 |0 |1 |0 |0 |0 |0 |0 |x |x |1 |0 |x |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |0 |0 |1 |1 |0 |0 |0 |0 |x |x |1 |x |1 |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |0 |1 |0 |0 |0 |0 |0 |x |1 |0 |x |0 |x |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |0 |1 |0 |1 |0 |0 |0 |x |1 |0 |x |x |1 |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |0 |1 |1 |0 |x |x |x |x |x |x |x |x |x |x |x |x |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |0 |1 |1 |1 |x |x |x |x |x |x |x |x |x |x |x |x |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |1 |0 |0 |0 |0 |0 |0 |0 |x |0 |x |0 |x |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |1 |0 |0 |1 |0 |0 |1 |0 |x |0 |x |x |0 |0 |0 |1 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |1 |0 |1 |0 |0 |1 |0 |0 |x |x |0 |0 |x |0 |1 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |1 |0 |1 |1 |0 |1 |1 |0 |x |x |0 |x |0 |0 |1 |1 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |1 |1 |0 |0 |1 |0 |0 |x |0 |0 |x |0 |x |1 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |1 |1 |0 |1 |1 |0 |1 |x |0 |0 |x |x |0 |1 |0 |1 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |1 |1 |1 |0 |x |x |x |x |x |x |x |x |x |x |x |x |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|0 |1 |1 |1 |1 |x |x |x |x |x |x |x |x |x |x |x |x |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |0 |0 |0 |0 |0 |0 |0 |0 |x |0 |x |0 |x |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |0 |0 |0 |1 |0 |0 |0 |0 |x |0 |x |x |1 |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |0 |0 |1 |0 |0 |0 |0 |0 |x |x |1 |0 |x |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |0 |0 |1 |1 |0 |0 |0 |0 |x |x |1 |x |1 |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |0 |1 |0 |0 |0 |0 |0 |x |1 |0 |x |0 |x |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |0 |1 |0 |1 |0 |0 |0 |x |1 |0 |x |x |1 |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |0 |1 |1 |0 |x |x |x |x |x |x |x |x |x |x |x |x |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |0 |1 |1 |1 |x |x |x |x |x |x |x |x |x |x |x |x |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |1 |0 |0 |0 |0 |0 |1 |0 |x |0 |x |1 |x |0 |0 |1 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |1 |0 |0 |1 |0 |1 |0 |0 |x |1 |x |x |1 |0 |1 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |1 |0 |1 |0 |0 |1 |1 |0 |x |x |0 |1 |x |0 |1 |1 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |1 |0 |1 |1 |1 |0 |0 |1 |x |x |1 |x |1 |1 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |1 |1 |0 |0 |1 |0 |1 |x |0 |0 |x |1 |x |1 |0 |1 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |1 |1 |0 |1 |0 |0 |0 |x |1 |0 |x |x |1 |0 |0 |0 |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |1 |1 |1 |0 |x |x |x |x |x |x |x |x |x |x |x |x |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|---|---|---|
|1 |1 |1 |1 |1 |x |x |x |x |x |x |x |x |x |x |x |x |

Prof. S. Saucedo 3 ICE/2007

A partir de la tabla anterior se pueden formar los mapas de V-K:

Cuatro de los Mapas de Kaurnaugh para la simplificación

Expresiones simplificadas a base de los seis mapas de Kaurnaugh ( otros tres para los flip-flop tipo D)

J0 = (SR*CE) K0 = (~SR) + (CE)

J1 = (SR*CE*~q2*q0) K1 = (CE*q0) + (~SR)
J2 = (SR*CE*q1*q0) K2 = (CE*q0) + (~SR)

D0 = (SR*CE*~q0) + (~CE*SR*q0)
D1 = (SR*q1*~q0) + (SR*CE*~q2*~q1*q0) + (~CE*SR*q1)
D2 = (SR*CE*q1*q0) + (SR*q2*~q0) + (~CE*SR*q2)
Z = (q2*q0)

Prof. S. Saucedo 4 ICE/2007

 Diagrama digital secuencial

Prof. S. Saucedo 5 ICE/2007

 Esquemático con ABEL-HDL para programa ispLEVER
Se muestra un posible file para definir vectores de prueba.
MODULE VECTOR

X,C = .x.,.c.;

" entradas
CLK,CE,SR,MR PIN ;
" SALIDAS
Q2..Q0 PIN ISTYPE 'REG';
Q = [Q2..Q0];
Z PIN ISTYPE 'COM';

TEST_VECTORS
([CLK,CE,SR,MR]->[Q,Z])
[C, 1, 1, 0]->[X,X];
[C, 1, 1, 0]->[X,0];
[C, 1, 1, 0]->[X,0];
[C, 1, 1, 0]->[X,X];
[C, 1, 1, 0]->[X,1];
[C, 1, 1, 0]->[0,X];
[C, 1, 1, 0]->[1,0];
[C, 1, 0, 0]->[0,0];
[C, 1, 1, 0]->[1,0];
[C, 1, 1, 0]->[2,0];
END

Prof. S. Saucedo 6 ICE/2007