B. Gonzalez Kriegel - N. Wolovick
ABC | |||||||||
000 | 001 | 011 | 010 | 110 | 111 | 101 | 100 | ||
D | 0 | 1 | 1 | 1 | 1 | ||||
1 | 1 | 1 | 1 | 1 |
|
Obtenga la tabla de estados, rellenando con condiciones no-importa para los estados no contemplados en la FSM. A partir de la tabla, obtenga las funciones A(t+1), B(t+1), C(t+1) y Y utilizando mapas-K con condiciones no-importa. Verifique que la solución obtenida sea autocorrectiva, es decir, que si por alguna circunstancia se salta a un estado no contemplado en la FSM, se llegue en una cantidad finita de ticks de clock a un estado que si pertenece a la máquina de estados finitos, cualquiera sea el valor de la entrada.
S1 | S0 | Operación |
0 | 0 | Sin cambio |
0 | 1 | Complemento de la salida |
1 | 0 | Poner a 0 el registro |
1 | 1 | Carga de datos en paralelo |