Аннотация:
Рассматривается задача синтеза неизбыточных схем из функциональных элементов, реализующих булевы функции от n переменных и допускающих короткие единичные тесты относительно произвольных константных неисправностей на выходах элементов. Доказано, что любую неконстантную булеву функцию можно реализовать схемой в базисе «конъюнкция, отрицание, сумма по модулю 2 трех переменных», допускающей единичный проверяющий тест длины не более 2, а также схемой в базисе, состоящем из одной конкретной булевой функции от шести переменных, допускающей единичный диагностический тест длины не более 3.
Работа выполнена при поддержке гранта РНФ, проект 14-21-00025 П.
Реферативные базы данных:
Тип публикации:
Препринт
Образец цитирования:
К. А. Попков, “Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов”, Препринты ИПМ им. М. В. Келдыша, 2018, 033, 23 с.
\RBibitem{Pop18}
\by К.~А.~Попков
\paper Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов
\jour Препринты ИПМ им.~М.~В.~Келдыша
\yr 2018
\papernumber 033
\totalpages 23
\mathnet{http://mi.mathnet.ru/ipmp2395}
\crossref{https://doi.org/10.20948/prepr-2018-33}
\elib{https://elibrary.ru/item.asp?id=32576463}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ipmp2395
https://www.mathnet.ru/rus/ipmp/y2018/p33
Эта публикация цитируется в следующих 1 статьяx:
К. А. Попков, “Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей”, Препринты ИПМ им. М. В. Келдыша, 2019, 081, 29 с.
Цитирование в формате AMSBIB
Обратная связь: