Solucin a Problemas sobre Biestables J-K

Versin: 12/may/03. NOTA: Para facilitar la redaccin de las soluciones, sigo manteniendo el criterio de usar el subrayado para indicar una variable complementada, como en las soluciones a los problemas de temas anteriores.

1. Para la sntesis de circuitos digitales sncronos se puede hacer uso de cualquier tipo de biestable (D, T o J-K). Supongamos que slo disponemos de biestables J-K: Sintetice utilizando biestables J-K el circuito secuencial cuyo diagrama de transicin de estados es el de la figura adjunta.
(examen de junio 2002)

Solucin: Se trata de un problema ms enfocado al tipo de sntesis que hacemos en el Tema 8 con biestables D que al procedimiento general que se describe en el Tema 9. Es decir, como no nos estn pidiendo que hagamos uso de PLD's y el nemro de estados y variables implicadas es bajo, parece ms sencillo hacerlo con los biestables J-K que nos piden y algunas puertas en lgica combinacional. As que el planteamiento del problema ser similar a los realizados en el Tema 8, con los siguientes pasos: 1. Determinar las variables de entrada y de salida y el nmero de biestables necesario; 2. Codificar o asignar los estados Sn a unas variables de estado Qn (de los biestables); 3. Elaborar una tabla con las transiciones de estados y las salidas; 4. Obtener las funciones de excitacin de los biestables y las de produccin de salidas; 5. Minimizar estas funciones (si fuera necesario); 6. Sintetizarlas en un circuito; Lo ms novedoso ahora es el uso de biestables J-K. Las funciones de excitacin que debemos generar deben entonces adaptarse a este tipo de biestable. Para ello, basta tener en cuenta que para producir las transiciones apropiadas de estado, debemos excitar las entradas J y K de distinta forma. Cuando se producen transiciones que parten de una variable de estado Qn = 0 debemos excitar la entrada J. Cuando las transiciones parten de una variable de estado Qn = 1

debemos excitar la entrada K. La siguiente tabla resume los valores que deben tomar J y K para producir las transiciones apropiadas: Qn Qn' 0 0 0 1 1 0 1 1 J 0 1 * * K * * 1 0

Vamos a realizar el problema siguiendo los pasos que antes hemos enumerado, para que todos los podis seguir, aunque con un poco de prctica el proceso es ms rpido de realizar. 1. Determinar las variables de entrada y de salida y el nmero de biestables necesario Observando el diagrama de transicin de estados, podemos observar cmo slo hay una variable de entrada (x), una variable de salida (Y), y cuatro estados (S0, S1, S2, S3). Para codificar estos cuatro estados sern necesarios 2 biestables (A,B), puesto que para n estados necesitamos m de biestables siguiendo la expresin: n = 2m. 2. Codificar o asignar los estados Sn a unas variables de estado Qn (de los biestables) Esta asignacin es muy simple de realizar y consiste en codificar en binario el subndice de cada estado mediante las variables de salida de los biestables (Qa, Qb). Una asignacin posible es la siguiente: Qb 0 0 1 1 Qa 0 1 0 1

S0 S1 S2 S3

Fijaos en que esa asignacin no es nica. De hecho, podis observar cmo en esta ocasin he asignado las variables de estado en orden inverso a la solucin del Tema 8, para que comprobis que se puede hacer de cualquiera de las formas. El resultado debe ser idntico. 3. Elaborar una tabla con las transiciones de estados y las salidas Esta tabla de transicin es simplemente una traslacin del diagrama de estados en la que hacemos explcitos los valores de las entradas, salidas y estados. A la hora de realizar esta misma tabla para los biestables D, no era necesario aadir nada ms. Ahora, al tener biestables tipo J-K, aadiremos dos columnas ms para anotar cmo debemos excitar las entradas J y K de cada biestable segn vayan producindose las transiciones de estados. Para el biestable A (con Ja, Ka, Qa) las excitaciones vienen dadas por las transiciones Qa Qa' y para el biestable B (con Jb, Kb, Qb) vendrn dadas por las transiciones Qb Qb', siguiendo la tabla que hemos visto anteriormente.

S S0 S1 S2 S3

Qb Qa 0 0 0 1 1 0 1 1

x 0 1 0 1 0 1 0 1

S' S0 S2 S1 S2 S2 S3 S3 S3

Qb' Qa' Y 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 0

Jb Kb 0 1 0 1 * * * * * * * * 0 0 0 0

Ja Ka 0 0 * * 0 1 * * * * 0 1 * * 0 0

4. Obtener las funciones de excitacin de los biestables y las de produccin de salidas 5.Minimizar estas funciones si fuera necesario Ahora debemos obtener las expresiones para Ja, Ka, Jb, Kb, Y en funcin de x, Qa, Qb, es decir, funciones con la forma: G = f (x,Qa,Qb). Esto se hace a partir de la tabla de transicin, escogiendo aquellas filas en las que Ja, Ka, Jb, Kb, Y valen 1 (o * para los biestables), como en una tabla de verdad. En el libro se recurre en bastantes ocasiones a obtener las expresiones para Ja, Ka, Jb, Kb directamente de la tabla, pero yo tengo como mana personal hacerlo mediante mapas de Karnaugh, de forma que puedo realizar en un slo paso la obtencin de la funcin y la minimizacin. Por eso he agrupado estos dos pasos en uno. Pero es totalmente equivalente obtener las expresiones lgicas completas y luego proceder a minimizarlas o extraerlas directamente de la tabla de transicin (si tenis la suficiente prctica). A la hora de minimizar las expresiones Jn, Kn debis tener en cuenta que los '*' son trminos no estrictamente necesarios, as que se pueden utilizar como 1 o como 0 segn nos convenga. Para la salida Y tendremos: 00 0 1 Qb Qa 01 11 0 0 1 0 10 1 1 Y = xQb + QbQa

x Para Jb tendremos:

0 1

x Para Kb tendremos:

0 1

00 0 1

Qb Qa 01 11 0 * 1 *

10 * *

Jb = x

x Para Ja tendremos:

0 1

00 * *

Qb Qa 01 11 * 0 * 0

10 0 0

Kb = 0

x Para Ka tendremos:

0 1

00 0 0

Qb Qa 01 11 * * * *

10 0 1

Ja = xQb

0 1

00 * *

Qb Qa 01 11 0 0 1 0

10 * *

Ka = xQb

6. Sintetizar el circuito Bueno, despus de todo, las funciones obtenidas son muy sencillas y el circuito resultante es tambin bastante simple. Esta es mi propuesta:

El procedimiento como vis es anlogo al que utilizbamos para hacer la sntesis con biestables D. Intentad hacer algn ejercicio adicional para coger un poco de soltura con el mtodo. Podis probar con el siguiente que os he propuesto y comprobar el resultado obtenido.

2. Sintetizar usando biestables J-K y las puertas lgicas necesarias el autmata finito cuyo diagrama de transicin de estados se muestra en la figura.
(adaptado del ejercicio del examen de septiembre 1998)

Solucin: A estas alturas, el procedimiento debis tenerlo bastante claro. Por otra parte, el planteamiento del problema es idntico al del Tema 8, sin ms que cambiar los biestables D por biestables J-K. As que voy a proceder de corrido y dar los resultados de las etapas ms importantes para que podis comprobar qu sale. Tenemos dos variables de entrada (x1, x2), una variable de salida (Y) y cuatro estados (esto es, dos biestables) que asignamos de la siguiente forma: Qa 0 0 1 1 Qb 0 1 0 1

S0 S1 S2 S3

La tabla de transicin de estados y salidas, incluyendo los valores de excitacin de los biestables J-K es: S S0 Qa Qb 0 0 x1 x2 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 S' S1 S1 S3 S3 S2 S0 S2 S2 Qa' Qb' 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 Y 0 0 1 1 1 0 1 1 Ja Ka 0 0 1 1 1 0 1 1 * * * * * * * * Jb Kb 1 1 1 1 * * * * * * * * 1 1 1 1

S1

0 1

S2

1 0

S3

1 1

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1

S2 S3 S3 S3 S3 S2 S2 S2

1 1 1 1 1 1 1 1

0 1 1 1 1 0 0 0

0 1 1 1 0 1 1 1

* * * * * * * *

0 0 0 0 0 0 0 0

0 1 1 1 * * * *

* * * * 0 1 1 1

Las funciones de excitacin de los biestables (si no me he equivocado, que puede ser), son, ya minimizadas: Ja = x1 + x2Qb Ka = 0 Jb = Kb = x1 + x2 + Qa y la funcin para la salida, tal como la obtuvimos en el problema del Tema 8 era: Y = x1 + x2Qa + x2Qb Observad que la funcin salida es la misma porque no depende del tipo de biestable escogido para hacer la sntesis. De forma ms formal podemos decir que las salidas se generan a partir de los estados internos del autmata y del valor de las variables de entrada, pero su lgica propia es combinacional. La funcin de salida necesita conocer el estado almacenado en los biestables pero es independiente del medio que utilicemos para ello. El circuito que sintetiza el autmata mediante biestables J-K segn hemos obtenido sera este, por ejemplo:

http://www.uned.es/ca-guadalajara/tutores/ElectronDigit/ElecDig/T09SolJK.html