Self‐Checking Combinational Circuits with UnidirectionallyIndependent Outputs

Abstract

In this paper we propose a structure dependent method for the systematic design of a self-checking circuit which is well adapted to the fault model of single gate faults and which can be used in test mode.According to the fault model considered, maximal groups of independent and unidirectionally independent outputs of an arbitrarily given combinational circuit are determined. A parity bit is added to every group of independent outputs. A few additional outputs are added to every group of unidirectionally independent outputs. In the error free case, these groups of unidirectional independent outputs together with their corresponding additional outputs are elements of a unidirectional error detecting code; for example, a Berger code or an r-out-of-s code.It is demonstrated how the pairs of (unidirectionally) independent outputs of a given circuit can be determined. A simple heuristic solution for this problem based on a modified circuit graph is also given.The maximal classes of (unidirectionally) independent outputs can be computed as cliques of a dependency graph where the nodes of the graph are the outputs of the circuit. The applicability of the proposed method is demonstrated for the MCNC benchmarks circuits.

Modular sum codes in building testable discrete systems

“…However, at that it is required to transform the scheme of original unit into the testable structure, that does not allow unidirectional errors at the outputs. It is due to the redundancy of internal logic elements [1,27,28].…”

New Methods of Concurrent Checking

“…Necessary and sufficient conditions for a self-dual circuit to be self-dual faultsecure are given in [77,78].…”

Errors Classification in Information Vectors of Systematic Codes

“…Например, большое значение имеет вы-бор варианта кодирования при организации систем функционального контроля логических уст-ройств [3,4]. Известны алгоритмы, обеспечивающие с учетом свойств кодов построение сис-тем функционального контроля со 100%-ным обнаружением любых одиночных неисправно-стей в контролируемом устройстве [5,6].В настоящей статье рассматривается задача определения всех возможных видов ошибок в информационных векторах систематических кодов, или (m,k)-кодов, где m -длина инфор-мационного вектора, а k -длина контрольного вектора. Предложена классификация ошибок в информационных векторах и приведены формулы подсчета ошибок различных типов.…”

“…Например, большое значение имеет вы-бор варианта кодирования при организации систем функционального контроля логических уст-ройств [3,4]. Известны алгоритмы, обеспечивающие с учетом свойств кодов построение сис-тем функционального контроля со 100%-ным обнаружением любых одиночных неисправно-стей в контролируемом устройстве [5,6].…”

“…всех асимметричных и монотонных ошибок. Такое свойство кода Бергера позво-ляет использовать его для контроля комбинационных схем, в которых любая одиночная не-исправность логических элементов их внутренней структуры может приводить только к мо-нотонным искажениям на выходах схемы (такие логические схемы принято называть схема-ми с монотонно независимыми выходами [6]). Известно, что любую произвольную комбинаци-онную схему можно преобразовать в схему с монотонно независимыми выходами [3,5,6].…”