Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины
В работе предлагается метод синтеза неизбыточных схем из функциональных элементов в базисе {x&y,x ⊕ y,1, x¯(y ∨ z) ∨ x(y ∼ z)}, реализующих произвольные булевы функции и допускающих единичные проверяющие тесты длины не более 4 при инверсных и произвольных константных неисправностях на выходах элементов.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
В работе предлагается метод синтеза неизбыточных схем из функциональных элементов в базисе {x&y,x y,1, x(y z) x(y z)}, реализующих произвольные булевы функции и допускающих единичные проверяющие тесты длины не более 4 при инверсных и произвольных константных неисправностях на выходах элементов. <...> В работе предлагается метод синтеза неизбыточных схем из функциональных элементов в базисе {x&y,x y,1, x(y z) x(y z)}, реализующих произвольные булевы функции и допускающих единичные проверяющие тесты длины не более 4 при инверсных и произвольных константных неисправностях на выходах элементов. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: