9. КОМПАРАТОР

Def
===
	КОМПАРАТОР - устройство которое сравнивает две группы сигналов
		     (два числа) на равенство.
		     [В общем случае не только на равенство]

Простой компаратор сравнивает на равенство.

  

двухбитный компаратор

	------------------
	A1 A0 B1 B0  | EQ
	-------------+----
	0  0  0  0   | 1
	0  0  0  1   | 0
	0  0  1  0   | 0
	0  0  1  1   | 0
	0  1  0  0   | 0
	0  1  0  1   | 1
	0  1  1  0   | 0
	0  1  1  1   | 0
	1  0  0  0   | 0
	1  0  0  1   | 0
	1  0  1  0   | 1
	1  0  1  1   | 0
	1  1  0  0   | 0
	1  1  0  1   | 0
	1  1  1  0   | 0
	1  1  1  1   | 0
	------------------


  

  


Результат эмуляции 4х битного компаратора
  




Более сложные компараторы сравнивает на равенство, больше меньше.
И имеют возможность обединяться в каскады:

  


Двухбитный компаратор
  



  


Таблица истиности такого компаратора:

        A = B
	A > B  
	A < B

	-----------------------------------
	A1 A0 B1 B0  I= I> I<  | O= O> O<
	-----------------------+-----------
	0  0  0  0   see below | see below
	0  0  0  1   X  X  X   | 0  0  1
	0  0  1  0   X  X  X   | 0  0  1
	0  0  1  1   X  X  X   | 0  0  1
	0  1  0  0   X  X  X   | 0  1  0
	0  1  0  1   see below | see below
	0  1  1  0   X  X  X   | 0  0  1
	0  1  1  1   X  X  X   | 0  0  1
	1  0  0  0   X  X  X   | 0  1  0
	1  0  0  1   X  X  X   | 0  1  0
	1  0  1  0   see below | see below
	1  0  1  1   X  X  X   | 0  0  1
	1  1  0  0   X  X  X   | 0  1  0
	1  1  0  1   X  X  X   | 0  1  0
	1  1  1  0   X  X  X   | 0  1  0
	1  1  1  1   see below | see below
	-----------------------+-----------
	y  x  y  x   1  0  0   | 1  0  0
	y  x  y  x   0  1  0   | 0  1  0
	y  x  y  x   0  0  1   | 0  0  1
	-----------------------------------

То есть если в данном каскаде данные равны то возвращаются значения
из предидущего каскада, иначе из текущего.


Компаратор на равенство, больше, меньше:
  



Каскад таких устройств:


	+----------+               +----------+               
X1  ----|A1	   | 	   X3 -----|A1	      |
X0  ----|A0        |       X2 -----|A0        |
Y1  ----|B1        |       Y3 -----|B1        |
Y0  ----|B0        |       Y2 -----|B0        |
1   ----|I=      O=|---------------|I=      O=|---- EQ
0   ----|I>      O>|---------------|I>      O>|---- GT
0   ----|I<      O<|---------------|I<      O<|---- LT
	+----------+               +----------+

Для каскадов компараторов:
	PEQ2 = EQ1 * EQ0
	PGT2 = GT1 + EQ1 * GT0

	PEQ3 = EQ2 * EQ1 * EQ0
	PGT3 = GT2 + EQ2 * GT1 + EQ2 * EQ1 * GT0