Цифровой компаратор

Цифрово́й компара́тор или компара́тор ко́дов логическое устройство с двумя словарными входами, на которые подаются два разных двоичных слова равной в битах длины и обычно с тремя двоичными выходами, на которые выдаётся признак сравнения входных слов, — первое слово больше второго, меньше или слова равны. При этом выходы «больше», «меньше» имеют смысл, если входные слова кодируют числа в том или ином машинном представлении.

Часто цифровые компараторы не имеют выходов «больше», «меньше», а только выход «равно».

Может быть построен на логических элементах, работа которых основана на самых различных физических принципах, но современные компараторы обычно представляют собой полупроводниковые электронные устройства работающие в двоичной логике.

Промышленностью компараторы выпускаются в виде законченных компонентов — микросхем с разной длиной сравниваемых слов и других параметров. Примеры микросхем цифровых компараторов: КМОП-логика — 4063 и 4585, ТТЛ — 7485 и 74682-89 и многие другие.

Компараторы широко используются в вычислительной технике, измерительной технике, радио- и проводной связи, бытовых приборах. Например, цифровые часы с будильником содержат цифровой компаратор, при совпадении текущего времени с заданным, подается звуковой сигнал.

Аналоговым эквивалентом цифрового компаратора является аналоговый компаратор напряжений или токов. Некоторые микроконтроллеры имеют входные встроенные аналоговые компараторы, состояние выходов которых может быть считано программой контроллера или вызывать её прерывание подпрограммой.

Логические функции

Для примера рассмотрим два 4-битных слова $A$ и $B$, пусть эти слова представляют собой некоторые натуральные числа, представленные в двоичном виде, причем 3-й разряд будет старшим:

$A=A_{3},A_{2},A_{1},A_{0}$,

$B=B_{3},B_{2},B_{1},B_{0}$

Здесь каждая буква с нижним цифровым индексом представляет один из битов в числах.

Равенство (эквивалентность)

Двоичные числа $A$ и $B$ будут равны, если все пары соответственных битов обоих чисел равны, то есть:

$A_{3}=B_{3}$, $A_{2}=B_{2}$, $A_{1}=B_{1}$ и $A_{0}=B_{0}$.

В двоичной записи чисел их цифры это или 0, или 1. Булева функция для равенства любых двух цифр $A_{i}$ и $B_{i}$ (здесь логическая операция «ИЛИ» обозначена символом $+$, а «И» символом точки) может быть выражена как:

$x_{i}=A_{i}\cdot B_{i}+{\overline {A}}_{i}\cdot {\overline {B}}_{i}$.

При этом $x_{i}$ равна 1 только если $A_{i}$ и $B_{i}$ равны.

Для равенства $A_{i}$ и $B_{i}$, все функции $x_{i}$ (для i = 0, 1, 2, 3) должны быть равны 1.

Поэтому признак равенства $A_{i}$ и $B_{i}$ записывается в виде логической функции как

$\ (A=B)=x_{3}\cdot x_{2}\cdot x_{1}\cdot x_{0}$.

Двоичная функция $(A=B)$ равна 1 только если все пары цифр двух чисел равны.

Неравенство (неэквивалентность)

Чтобы определить наибольшее из двух двоичных чисел, мы рассмотрим отношение величин пар значащих цифр, начиная со старших битов к младшим битам до нахождения неравенства в некоторой позиции. Когда неравенство найдено, то, если соответствующий бит $A$ равен 1 и такой же бит $B$ равен 0, то мы считаем, что $A>B$.

Это последовательное сравнение может быть выражено логическими выражениями как:

$(A>B)=A_{3}\cdot {\overline {B}}_{3}+x_{3}\cdot A_{2}\cdot {\overline {B}}_{2}+x_{3}\cdot x_{2}\cdot A_{1}\cdot {\overline {B}}_{1}+x_{3}\cdot x_{2}\cdot x_{1}\cdot A_{0}\cdot {\overline {B}}_{0}$,

$(A<B)={\overline {A}}_{3}\cdot B_{3}+x_{3}\cdot {\overline {A}}_{2}\cdot B_{2}+x_{3}\cdot x_{2}\cdot {\overline {A}}_{1}\cdot B_{1}+x_{3}\cdot x_{2}\cdot x_{1}\cdot {\overline {A}}_{0}\cdot B_{0}$.

$(A>B)$ и $(A<B)$ — выходные двоичные переменные, которые равны 1 когда $A>B$ или $A<B$ соответственно.

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

Для примеров приведены таблицы истинности тривиального однобитового и двухбитового компараторов.

Логическая функция однобитового цифрового компаратора описывается таблицей истинности:

Входы		Выходы
$A$	$B$	$A<B$	$A=B$	$A>B$
0	0	0	1	0
0	1	1	0	0
1	0	0	0	1
1	1	0	1	0

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

Входы				Выходы
$A_{1}$	$A_{0}$	$B_{1}$	$B_{0}$	$A<B$	$A=B$	$A>B$
0	0	0	0	0	1	0
0	0	0	1	1	0	0
0	0	1	0	1	0	0
0	0	1	1	1	0	0
0	1	0	0	0	0	1
0	1	0	1	0	1	0
0	1	1	0	1	0	0
0	1	1	1	1	0	0
1	0	0	0	0	0	1
1	0	0	1	0	0	1
1	0	1	0	0	1	0
1	0	1	1	1	0	0
1	1	0	0	0	0	1
1	1	0	1	0	0	1
1	1	1	0	0	0	1
1	1	1	1	0	1	0

См. также

• 4000 серия микросхем
• 7400 серия микросхем

Ссылки

• Digital Comparators by Texas Instruments