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

Index Prev Next