Эта публикация цитируется в
5 статьях
Математика
Метод синтеза неизбыточных схем в стандартном базисе, допускающих единичные диагностические тесты длины два
Д. С. Романов Московский государственный университет имени М. В. Ломоносова, Москва
Аннотация:
Актуальность и цели. Цель данной работы состоит в демонстрации возможности синтеза (для произвольной функции алгебры логики) схемы из функциональных элементов в стандартном базисе, реализующей эту функцию и допускающей единичный диагностический тест длины не более двух при инверсных неисправностях на выходах элементов, что может быть полезно при проектировании легкотестируемых СБИС.
Материалы и методы. При получении основных результатов использовались методы алгебры логики и теории синтеза схем из функциональных элементов.
Результаты. Доказывается, что для произвольной функции алгебры логики
$f$, зависящей от n переменных, существует неизбыточная реализующая функцию
$f$ схема из функциональных элементов в базисе
$\{x\&y, x\vee y, -x\}$, допускающая единичный диагностический тест длины не более двух при инверсных неисправностях на выходах элементов, при этом для каждой булевой функции установлена длина минимального единичного диагностического теста.
Ключевые слова:
схема из функциональных элементов, диагностический тест, инверсная неисправность на выходе элемента, функция Шеннона, легкотестируемая схема.
УДК:
519.718
DOI:
10.21685/2072-3040-2016-3-4