Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов
Аннотация:
Рассматривается задача синтеза схем из функциональных элементов, реализующих булевы функции от n переменных и допускающих короткие полные проверяющие тесты относительно произвольных константных неисправностей на выходах элементов. Доказано, что существует базис, состоящий из двух булевых функций от не более чем четырёх переменных, в котором любую булеву функцию можно реализовать схемой, допускающей указанный тест длины не более 2.
Ключевые слова:
схема из функциональных элементов, константная неисправность, полный проверяющий тест
Язык публикации: русский,
страниц:16
Направление исследований:
Математическое моделирование в актуальных проблемах науки и техники
