Circuito comparador

Para diseñar este circuito se va a requerir un conocimiento intermedio del álgebra booleana y la simplificación booleana, uso de tablas de verdad, lógica y diseño de circuitos lógicos, se recomienda también tener un programa para diseñar circuitos lógicos como Ktechlab para crear los diagramas.

Algunas expresiones booleanas se van a representar como funciones cuyo nombre corresponderá a una letra mayúscula del alfabeto para simplificar su representación, mientras que la salida principal en el diagrama de un circuito se va a representar como una función.

Así mismo a las entradas/salidas de n bits que corresponden a un solo dato se les llamara vectores, cada uno de esos vectores será nombrado con una letra mayúscula y cada entrada de un bit dentro de un vector se identificará con el nombre del vector más la posición que ocupa dentro de él, por ejemplo una entrada de 5 bits se llamaría A y a cada posición dentro del vector A se le llamaría así: A4 que sería el bit más significativo, A3, A2, A1 y A0 que correspondería al bit menos significativo.

Para este caso solo se requiere crear la tabla de verdad correspondiente y luego determinar las funciones booleanas que producen las salidas requeridas.

Sean A y B entradas de un bit, entonces:

Figura.1 Diagrama de un comparador binario de 2 bits.

Antes de construir un comparador binario en cascada se va mostrar como a partir de las expresiones obtenidas en el apartado anterior es posible construir cualquier comparador de n bits utilizando la lógica de Boole y álgebra booleana. Así se definirá el razonamiento que lleva a la formulación de un caso general para n bits y luego se dará un ejemplo para la expresión requerida para un comparador de 4 bits.

Sean A y B dos vectores de 2 bits. [blanca]

Al construir el diagrama o esquema del circuito comparador se debe comenzar alambrando la salida de F(A,B) para reducir la cantidad de compuertas que se van a requerir ya que ello permitirá obtener el resultado de las operaciones XNOR necesarias para construir la función G(A,B), también se usara la expresión H(A,B)= [F(A,B)]‘[G(A,B)]‘ para simplificar aún más el diseño.

Figura 2. Mediante compuertas XNOR unidas por más compuertas AND, se obtiene la función F(A,B) a la vez que se usa la salida de cada AND y el primer XNOR para formar un vector de salida adicional que se denominara S de 3 bits de longitud.

Figura 3. Luego utilizando a cada línea del nuevo vector S se construye la función G(A,B), véase "Circuito A>B de n bits." para saber por qué.

Por último el siguiente diagrama muestra como se juntan las salidas de F(A,B) y G(A,B), A=B y A>B respectivamente, para crear la salida de H(A,B) o mejor dicho A<B, y por fin tener las tres banderas lógicas que indicaran cual es la relación de igualdad o desigualdad entre los vectores de entrada A y B de n bits de largo (que en el caso de este ejemplo sería 4).

Figura 4. Salidas del circuito comparador.

El circuito comparador de n bits con signo que se va a implementar se basa en el circuito comparador que se diseñó antes e incluye varias características adicionales.

- todas las entradas se expresan como enteros binarios en la notación signo-magnitud
- el bit de signo corresponde a la posición n-1 (el bit más significativo del vector)
- las magnitudes y los signos se procesan por separado

De las anteriores características, la única que se va examinar a fondo es la última, ya que en el circuito comparador con signo que se va a implementar compara primero las magnitudes de las entradas, el resultado de esa comparación (en adelante conocido como premisa) junto con el signo de cada entrada permite determinar la salida definitiva de este nuevo circuito.

En total hay tres premisas que se verán a continuación y cada una de ellas produce tres salidas que corresponderán a las banderas A=B, A>B o A<B; cuyo valor será verdadero si y solo si la premisa asociada es verdadera.

Sea J el bit de signo correspondiente a la entrada A, y...

Sea K el bit de signo correspondiente a la entrada B.

En el siguiente diagrama se muestra como se integran las premisas 1,2 y 3 que en total generan 7 salidas para obtener solo 3 que indicaran cual es la relación entre las entradas A y B de n bits con signo, sabiendo que solo hay una premisa cierta y que las otras son falsas.

Figura 5.

Se debe señalar que un modo de refinar los diagramas mostrados sería usar buffers para compensar la velocidad de cada bit de salida; por ejemplo en la figura 2 se puede apreciar que para generar el vector de salida S cada bit pasa por una cantidad distinta de compuertas, al respecto de puede decir que el tiempo que requiere el vector S para producir su salida es igual al tiempo que tarda en salir bit que requiere de más compuertas para dar su valor correcto, el bit más lento por decirlo de otra forma; sin embargo el uso de los buffers y el cálculo de los tiempos de un circuito están más allá del ámbito que cubre esta página.

El método empleado para desarrollar el circuito comparador visto es una extensión del empleado en el libro "Diseño Lógico" de Antonio Lloris y Alberto Prieto.

Todos los diagramas se pueden replicar y probar utilizando un simulador y diseñador de circuitos como Ktechlab disponible para la plataforma GNU/Linux.