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

Рассмотрена контролепригодная функционально-логическая схема двоичного сумматора на основе 16-разрядной группы 4-разрядных секций с одновременным переносом внутри каждой секции и группы секций и последовательным переносом между группами, разработанная в рамках концепции "константной" контролепригодности цифровых схем. Предложена схема, которая обладает проверяющим тестом длины 11 относительно всех ее одиночных константных неисправностей.

Easily testable functional-logical circuit of the binary adder on the basis of sixteen-bit group of four-bit sections with simultaneous carry inside each section and group of sections and ripple carry between groups elaborated in frameworks of C-testability conception of digital circuits is considered. The design of the proposed easily testable functional-logical circuit is based on simple representation of sum and carry functions in the form of Zhegalkin's polynoms and on the introduction of additional control inputs. The proposed circuit possesses fault detection test by length of eleven with respect to single stuck-at faults.

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

Індекс рубрикатора НБУВ: В126

Рубрики:

Дискретна математика. Комбінаторика. Теорія графів

Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ 

Исследована проблема существования проверяющего теста длины 2 для функциональных элементов в отношении константных неисправностей их входов и выходов. Проблема рассмотрена в отношении двухканальных функциональных элементов. Получены необходимые и достаточные условия 2-проверяемости для функциональных элементов двухканальной логики относительно одиночных констатных неисправностей на их входах и выходах.

Рассмотрена проблема существования проверяющего теста длины 2 для асинхронных конечных детерминированных автоматов в отношении константных неисправностей на их внутренних и внешних полюсах. Проблема рассматривается в отношении асинхронных автоматов Мура. Получены необходимые и достаточные условия существования проверяющего теста длины 2 для асинхронных автоматов Мура относительно одиночных константных неисправностей на их внутренних и внешних полюсах.

Освещена проблема существования проверяющего теста длины 2 для функциональных элементов в отношении константных неисправностей их входов и выходов. Проблема рассматривается в отношении одновыходных функциональных элементов. Получены необходимые и достаточные условия существоания проверяющего теста длины 2 для одновыходных функциональных элементов относительно кратных константных неисправностей на их входах и выходе.

Рассмотрены асинхронные парафазные (двухканальные) комбинационные логические схемы. Поставлена проблема контроля правильности функционирования этих схем. Предложено простое устройство контроля правильности функционирования данных схем.

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