Search algorithm for fully tested elements in combinational circuits, controlled on the basis of berger codes

Authors describe firstly obtained necessary and sufficient conditions for detection of a logic component output fault in the combination logic structure controlled on the basis of Berger code. It is demonstrated that for the solution of the given task not only Berger code property of identifying any unidirectional errors in data vectors, but also the property of any asymmetric errors detection may be applied. An algorithm of the analysis of logical elements testability was formed. Non-tested elements in the process of transforming a circuit into a circuit with testable structure should be reserved. On the basis of formed conditions of full testability of logical elements controlled by Berger code, the methods of network reduction may be developed, providing the decreased, compared to the existing methods, redundancy.