The Hybrid Structure of a Self-Dual Built-In Control Circuit for Combinational Devices with Pre-Compression of Signals and Checking of Calculations by Two Diagnostic Parameters

The authors propose to use the concurrent checking approach for two diagnostic parameters with preliminary compression of signals from the diagnosed objects outputs when synthesizing self-checking digital devices. A hybrid structure of a self-dual built-in control circuit is presented. The advantages and disadvantages of the proposed structure are described. The main advantage of the proposed solution is the ability to reduce the structural redundancy of the self-checking device by using a compression circuit with a high detecting ability of the check circuit. As the main disadvantage, we emphasize the possibility of error concealment at the outputs of the signal compression elements. The paper discusses ways to eliminate the noted disadvantage in the form of circuitry methods. Experiments carried out with the MCNC Benchmarks system of combinational benchmarks have shown the high efficiency of the proposed approach for organizing built-in control circuits. We describe the features of the implementation of the proposed hybrid structure in the Logisim simulation environment, allowing other researchers to repeat the experiments and develop the results obtained.

Перевод пока недоступен