УДК 539.3; 620.171.5

Метод синтеза легкотестируемых конечных схем в одном базисе, допускающих единичные проверяющие тесты константной длины / Д. С. Романов. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2012. № 2. С. 24-29.

В работе предлагается метод синтеза неизбыточных схем из функциональных элементов в базисе {x&y, x ⊕ y, 1, ¬x(y ∨ z) ∨ x(y - z)}, реализующих произвольные булевы функции и допускающих единичные проверяющие тесты длины не более 4 при инверсных и произвольных константных неисправностях на выходах элементов.

Ключевые слова: схема из функциональных элементов, проверяющий тест, константная неисправность на выходе элемента, инверсная неисправность на выходе элемента, функция Шеннона, легкотестируемая схема.

Илл. 2. Библиогр. 8.

К оглавлению номера  Go!