Análisis de máquinas secuenciales asincrónicas

Etapas
1. Determinación sistemática de las variables de
estado de la máquina.

2. Desarrollar la tabla de transiciones para la

máquina de estados.

3. Construir la tabla de flujo de la máquina de

estados.

4. Elaborar el diagrama de estados de la máquina.

Método DSVE
1.Método heurístico original que permite determinar de
manera correcta y sistemática la ubicación de los elementos
de almacenamiento en un diagrama lógico de una máquina
secuencial asincrónica.

2.En esencia se sigue trabajando con base en el modelo de

Huffman y los modelos de Moore y Mealy. Sin embargo los
retardos de realimentación se asocian a todos los elementos
reales que los contienen: las compuertas. Y luego por un
procedimiento iterativo de sustituciones se logra determinar
cuales de ellos son significativos para el análisis de la
máquina.

3.Este procedimiento no deja en manos del analista la

ubicación de los bloques de retardo sino que por el contrario
comienza estableciendo que todos los retardos son
importantes y el método en sí mismo identificará cuales son
los de interés para el comportamiento del circuito.
Pasos para la Determinación Sistemática de las
Variables de Estado (DSVE)
1. Cada compuerta del esquema lógico: Función lógica + retardo (t).

2. Identificar en el esquema las variables de estado siguiente y estado

actual.
3. Obtener las expresiones de las funciones lógicas que definen la
máquina de estados.

4. Elaborar una lista donde se cuente el número de veces que las

variables de estado actual están incluidas en las funciones lógicas que
definen la máquina de estados.

5. Realizar la sustitución de las variables de estado actual, por su

respectiva función de estado siguiente, dentro del conjunto de variables
de excitación y salida.

6. Repetir los puntos 4 y 5 tantas veces como sea necesario, hasta

obtener el conjunto mínimo de funciones que definen la máquina.
7. Cada vez que se retorna al punto 4 se debe tomar como partida las
funciones lógicas que se obtienen una vez realizada la sustitución
previa.
5 - Condiciones para aplicar el método DSVE

1. Se debe comenzar la sustitución por la

variable que presenten el menor número de
cuenta .

2. La expresión lógica de excitación (Yn) de la

variable seleccionada (yn) para sustituir no
debe ser función de ella misma.

3. La sustitución no es posible (no se debe

realizar) si al efectuarla dan absurdos o
incoherencias lógicas.
Descomponer las compuertas

A 1 Δt
0 Δt 6 Δt
13 Δt

7 Δt
2 Δt 14 Δt 16 Δt
C

15 Δt
3 Δt
8 Δt

9 Δt 10 Δt
4 Δt

11 Δt 12 Δt

5 Δt
B
Identificar de forma unívoca las variables.

Y1 y1
A Y0 y7 1 1 Δ Y6 y6
0 0Δ y2 6 6Δ Y131
y0 B 13
3
Δ
y1 y13
A Y2 Y7 y7 Y14 1 Y16 1 y16
y2 7Δ
2 2 Δ 7
y11 14 Δ y14 Δ
y8 4 6 C
C
y10 16
y15
y7 Y15
A 15 1
Y3 y3 Δ
Y8 5
y7 3 3Δ y9
8
y12 8Δ y5
B

Y9 y9 Y10 1
y1 9 9Δ 10 Δ
A 4 4Δ 0
y4
y9
Y11 y11 Y12 1
Y4 y4 y3 11 1Δ 12 Δ
y4 1 2

5 5Δ
B
B Y5
Obtener las expresiones
y7
Y1 y1
A Y0 y0 1 Δ Y6 y6
0 Δ y2 6 Δ 13
Y13
Δ
B
y1 y13 y1
A Y7 Δ y7
Y2 y2 Y14 Δ Y16
y10 2 Δ y11 14 y14 Δ 6
y8 7 C
y15 16
y7
Y15
Y3 y3 A 15 Δ
y7 3 Δ Y8 y9
y12 8 Δ y5
B

A y1 Y9 Y10
y9 4
Y4
Δ
9 Δ y9
10 Δ
y4
y1
Y11 Y12
y3 11 Δ 1 12 Δ
y4

Y5
Y12=y11
5 Δ
B Y13=y6.B

Y0=A Y4=A.y9 Y8=y3.y12 Y14=y7.y11

Y1=y7.y0 Y5=B Y9=y1+y4 Y15=y7.A.y9.y5
Y2=A.y10 Y6=y1+y2 Y10=y9 Y16=y13+y14+y15
Y3=y7.B Y7=y1+y2+y8 Y11=y3.y4 C=y16
Elaborar lista
Y0=A y0 : 1  (Y1)
y7
Y1=y7.y0 y1 : 3  (Y6, Y7, Y9) A Y0 y0 1
Y1
Δ
y1
Y6 y6
0 Δ y2 6 Δ Y13
Δ
Y2=A.y10 y2 : 2  (Y6, Y7) B 13
y1 y13 y1
Y3=y7.B y3 : 2  (Y8, Y11) A Y2 y2 Y7 Δ y7
Y Y16
y10 2 Δ y11 14 14 Δ y14 Δ 6
y8
Y4=A.y9 y4 : 2  (Y9, Y11) 7 C
y15 16
y7
Y5=B y5 : 1  (Y15) A 15
Y15
Δ
Y3 y3
Y6=y1+y2 y6 : 1 (Y13) y7 3 Δ Y8 y9
y12 8 Δ y5
B
Y7=y1+y2+y8 y7 : 4  (Y1, Y3, Y14, Y15)
A Y9 Y10
Y8=y3.y12 y8: 1  (Y7) y9 4
Y4
Δ
y1 9 Δ y 10
9
Δ
y4
Y9=y1+y4 y9: 3  (Y4, Y10, Y15) y1
Y11 Y12
Y10=y9 y10 : 1  (Y2) y3 11 Δ 1 12 Δ
y4
Y11=y3.y4 y11 : 2  (Y12, Y14)
Y12=y11 y12 : 1  (Y8) 5
Y5
Δ
B
Y13=y6.B y13 : 1  (Y16)
Y14=y7.y11 y14 : 1  (Y16)
Y15=y7.A.y9.y5 y15 : 1  (Y16)
Y16=y13+y14+y15 y16 :1  (C)
C=y16
Sustitución
1ra Sustitución
y0 : 1  (Y1) 
Y0=A
y1 : 3  (Y6, Y7, Y9) Y1=y7.A ï Y0
Y1=y7.y0
Y2=A.y10 y2 : 2  (Y6, Y7) Y2=A.y9 ï Y10
Y3=y7.B y3 : 2  (Y8, Y11) Y3=y7.B
Y4=A.y9 y4 : 2  (Y9, Y11) Y4=A.y9
Y5=B y5 : 1  (Y15) 
Y6=y1+y2 y6 : 1 (Y13)  Y7=y1+y2+y3.y11 ï Y1
Y7=y1+y2+y8 y7 : 4  (Y1, Y3, Y14, Y15) Y7=y1+y2+y8 Y7=y1+y2+y3.y12 ï Y8
Y8=y3.y12 y8: 1  (Y7) 
Y9=y1+y4 y9: 3  (Y4, Y10, Y15) Y9=y1+y4
Y10=y9 y10 : 1  (Y2) 
Y11=y3.y4 y11 : 2  (Y12, Y14) Y11=y3.y4
Y12=y11 y12 : 1  (Y8) 
Y13=y6.B y13 : 1  (Y16)  Y13=(y1+y2).B ï Y6
Y14=y7.y11 y14 : 1  (Y16) 
Y15=y7.A.y9.y5 y15 : 1  (Y16)  Y15=y7.A.y9.B ï Y5
Y16=y13+y14+y15 y16 :1  (C) 
C=y16 C=y13+y14+y15 ï Y16
C=(y1+y2).B+y7.y11+y7.A.y9.Bï Y13, Y14, Y15
2DA Sustitución
Y1=y7.A y1 : 3  (Y7, Y9, C)  Incoherencia
Y2=A.y9 y2 : 2  (Y7, C)  lógica

Y3=y7.B y3 : 2  (Y7, Y11) 

y4 : 2  (Y9, Y11)
Y7=y1+A.y9 +y3.y4
Y4=A.y9 
Y7=y1+y2+y3.y11 y7 : 3  (Y1, Y3, C) YY77=y
=y171+A.y
+A.y +y .(y ï4ï
.y ï
)11Yï
.A +A.y
99 +y
937+y
.B.y
.y
3 7.B.y
11311 2Y3Y
Y2,1 Y11
Y9=y1+y4 y9 : 3  (Y2, Y4, C) Y9=y17+A.y 9 ï9 ïY4 Y1
.A +A.y
Y11=y3.y4 y11 : 2  (Y7,C)  Y11=y7.B.y
X 4ï
.B.A.y 9 ïY3Y4

C=(y1+y2).B+y7.y11+y7.A.y9.B C=(y
C=(y
C=(y17+A.y
.A 9 ).B+y
1+A.y
+A.y 7.y7
9 ).B+y
9 ).B+y3.y +y
.y74.y
11 +y .A.y
117+y 9.B
7.A.y
7.A.y ï
9.B ïï
9.B Y2,YY2Y
111

y7
Y1 y1
A 1 Δ
0 y2 6
B 13

y1
A Y7 y7
Y2 y2 7 Δ
Δ
2 Δ y11 14 16
7 C
Y11=y7.B.A.y9 ï Y4 y7
Y3 y3 A 15
y7 3 Δ y9
8
B

A Y4 y1 Y9
9 Δ 10
y9 4 Δ y9
y4

Y11 y11
y3 11 Δ 12
y4

5
B
3RA Sustitución
Y7=y7.A +A.y9 +y7.B.y11 y7 : 4  (Y7, Y9, Y11, C) Y7=y7.A +A.y9+y7.B.y9 ï Y11
Y9=y7.A +A.y9 y9 : 4  (Y7, Y9, Y11, C)

Y11=y7.B.A.y9 y11 : 2  (Y7,C) 

C=(y7.A +A.y9 ).B+y7.y11+y7.A.y9.B C=(y7.A +A.y9).B+y7.B.A.y9.+y7.A.y9.B ï Y11

y7
A
0
Y7=y17.A +A.y9 +y67.B.(y7.B.A.y9 ) ï Y11
B 13

YA7=y7.A +A.y9 +y7.B.(y7+B+A+y

7
Y7 9 ) y7
2 14 16
C
Y7=y7.A +A.y9 +y7.B.y7+y7.B.B+y7.B.A+y
y7
7.B.y9 )
A 15
y7 3 y9
8
YB7=y7.A +A.y9+y7.B.y9
A Y9
9 10
y9 4 y9

C=(y7.A +A.y9).B+y
11 7
.y7.B.A.y
12 9.
+y7.A.y9.B ï Y11

C=(y7.A +A.y9).B+y7.B.A.y9.+y7.A.y9.B
5
B
Ecuaciones que definen El Sistema
y7
A 1
0 6
B 13

A Y7 y7
7 Δt
2 y11 14 16
C
y7
A 15
y7 3 y9
8
B

A Y9
9 Δt 10
y9 4 y9

11
Y11
Δt
y11
12
Modelo
Mealy
5
B

Y7=y7.A +A.y9 +y7.B.y11

Y9=y7.A +A.y9 C=(y7.A +A.y9 ).B+y7.y11+y7.A.y9.B
Y11=y7.B.A.y9
Método de análisis

1. Determinar las variables de estado de la máquina.

2. Deducir las expresiones lógicas que definen la máquina de
estados.
3. Determinar el modelo de máquina de estado.

4. Desarrollar la tabla de transiciones para la máquina de

estados.
5. Construir la tabla de flujo de la máquina de estados.
6. Elaborar el diagrama de estados de la máquina.
Continuación del análisis: Evaluación y Tabla de
transiciones para el ejemplo presentado
Y7=m(1,3,4,5,6,7,12,14,15,17,19,20,22,23,28,30)
Y11=m(15,31)
Y9=m(4,6,9,11,12,13,14,15,20,22,25,27,28,39,30,31)
C=m(3, 6, 7, 13, 14, 19, 20,21,22,23,28,29,30,31)

Tabla de transiciones
BA
Y11y9y7 00 01 11 10
1 000 000/ 0 001/ 0 001/ 1 000/ 0
2 001 011/ 0 001/ 0 001/ 1 011/ 1
3 011 011/ 0 010/ 1 111/ 0 011/ 1
4 010 000/ 0 010/ 0 010/ 0 000/ 0
5 110 001/ 0 010/ 0 010/ 0 001/ 0
6 111 010/ 1 010/ 1 110/ 1 010/ 1
7 101 011/ 1 000/ 1 001/ 1 011/ 1
8 100 000/ 0 001/ 0 001/ 1 000/ 0
Continuación del análisis: Diagrama de estados y
diagrama de tiempo para el ejemplo presentado

01/0 X0/0
11/1 01/0
11/1 BA
X0/0 1 01/0 2 11/1 C
7 8
11/1
01/1 BA
C
00/0 X0/1
BA #E
X0/0 10/1
C
X0/0

X1/0 01/1 11/0 11/1

4 3 6 5

00/0
10/1 X0/1 11/0
01/1

A A
C
B SECUENCIAL

B
C
Consideraciones de interés en la aplicación del
método DSVE.

1. Cada vez que se Realizar la sustitución de las variables

de estado actual, por su respectiva función de estado
siguiente, el analista debe corroborar que la variable
sustituida ya no forma parte de las variables que
determinan el comportamiento de la máquina, es decir la
variable sustituida desaparece, reduciendo el conjunto de
variables.

2. Es recomendable no expandir u operar los términos

lógicos que se obtienen, a menos que sea imprescindible,
ya que se sugiere al analista realizar una verificación final
para reducir los posibles errores humanos al sustituir: ver
si efectivamente las ecuaciones corresponden con el
circuito en estudio.
Consideraciones de interés en la aplicación del
método DSVE.
3. Para identificar la existencia de lo que se ha denominado
incoherencia o absurdo lógico, basta con apreciar si la
aplicación teórica del algebra de Boole no satisface la
conexión real del circuito.

4. El procedimiento presentado es totalmente sistemático lo que

garantiza la posibilidad de programarlo en un computador,
esto reduciría considerablemente la posibilidad de errores
humanos en la determinación de las ecuaciones y por ende
en la determinación de los estados en el análisis de sistemas
secuenciales asincrónicos; a la vez que ampliaría el espectro
de estudio a sistemas complejos, donde se hace tedioso el
análisis por la gran cantidad de ecuaciones que se presentan.
Se esperaría, de programarse en un computador, que el
resultado del análisis sea un diagrama de estados o tabla de
estados a diferencia de los simuladores convencionales que
sólo muestran un diagrama de tiempo.