УДК 539.3; 620.171.5
Метод синтеза легкотестируемых конечных схем в одном базисе, допускающих единичные проверяющие тесты константной длины / Д. С. Романов // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2012. № 2. С. 24-29.
В работе предлагается метод синтеза неизбыточных схем из функциональных элементов в базисе {x&y, x ⊕ y, 1, ¬x(y ∨ z) ∨ x(y ~ z)}, реализующих произвольные булевы функции и допускающих единичные проверяющие тесты длины не более 4 при инверсных и произвольных константных неисправностях на выходах элементов.
Ключевые слова: схема из функциональных элементов, проверяющий тест, константная неисправность на выходе элемента, инверсная неисправность на выходе элемента, функция Шеннона, легкотестируемая схема.
Илл. 2. Библиогр. 8.
