Логические функций поиска на совпадение и на несовпадение.

Применительно к поисковым функциям F⁼ и F^¹ структура ячейки отражена на рис.3.

Рис.3 Структура ячейки для функций поиска на совпадение и на несовпадение,

где где Q_ij – элемент накопителя (бит данных);

F_ij – выходная ij-ая поисковая функция;

F_i-1j – входная i-1j-ая поисковая функция;

M_j, M_j^’ – входные/выходные j-ые биты первого регистра маски (M_j^’= M_j);

A_j, A_j^’ – входные/выходные j-ые биты регистра атрибутов (A_j^’= A_j).

Задача синтеза сводится к установлению аналитических зависимостей
F⁼_ij=y(F_i-1j, M_j, A_j, Q_ij) и. F^¹ _ij=j(F_i-1j, M_j, A_j, Q_ij) соответственно. С этой целью описывается работа ячейки в виде таблиц истинности, считая переменные как независимые двоичные (табл.1 и табл.2).

Таблица 1.

Таблица истинности работы ячейки при поиске на совпадение.

Mj	F=i-1j	Aj	Qij	F=ij
0
F=ij=F=i-1j т.к. Mj=0 0

1
F=ij=0 т.к. F=i-1j=0 1

Таблица 2

Таблица истинности работы ячейки при поиске на несовпадение.

Mj	F¹ i-1j	Aj	Qij	F¹ ij
F=ij=0 т.к. F=i-1j=0 F=ij=F=i-1j т.к. Mj=0 0
1