Аннотация:
При построении систем диагностирования логических устройств необходимо обеспечение полной самопроверяемости. В структурах функционального контроля, построенных
по методу логического дополнения, данная проблема решается достаточно просто, так как
один и тот же код может иметь различные реализации. Кроме того, выбирая способ реализации
и последовательность выходов или способ разбиения выходов на группы, можно влиять как
на сложность конечной структуры, так и на ее обнаруживающую способность.
При использовании метода логического дополнения имеет смысл использовать различные равновесные коды, так как в этом случае для полной самопроверяемости тестера
достаточно обеспечить появление всех комбинаций равновесного кода. Ранее исследовались
различные варианты построения схем по равновесным кодам «1 из 3» и «1 из 4». В данной статье анализируется один из вариантов построения схем на основе равновесного кода «1 из 5», а
также влияние изменения последовательности выходов на сложность конечной структуры и ее
обнаруживающую способность. Данный вариант дополнения до равновесного «1 из 5» кода
был разработан так, чтобы в структурах, построенных по этому коду, обеспечивалась полная
самопроверяемость как тестера, так и элементов «сложение по модулю два». Были проведены
эксперименты на наборе контрольных примеров, имеющих 5 выходов. В ходе эксперимента анализировались характеристики структур со всеми возможными последовательностями
выходов. Было показано, что последовательность выходов сильно влияет как на сложность
конечной структуры, так и на ее обнаруживающую способность.
Ключевые слова:
система диагностирования; логическое дополнение; равновесные коды; код «1 из 5»; функциональное диагностирование; площадь системы диагностирования