Дата публикации: 2017

Дата публикации в реестре: 2020-03-03T18:58:45Z

Аннотация:

Рассматривается задача синтеза неизбыточных схем из функциональных элементов, реализующих булевы функции от n переменных и допускающих короткие единичные проверяющие тесты относительно однотипных константных неисправностей на выходах элементов, в базисе {&, —} и схожих базисах. Для каждой булевой функции, допускающей реализацию неизбыточной схемой, найдено минимально возможное значение длины такого теста. В частности, доказано, что оно не превосходит трёх.

Тип: статьи в журналах

Источник: Прикладная дискретная математика. 2017. № 38. С. 66-88

Другие версии документа

Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе