The Synthesis Conditions of Completely Self-Testing Embedded-Control Circuits Based on the Boolean Complement Method to the “1-out-of-m” Constant-Weight Code

In this paper, we consider the problem of ensuring the detection of all single faults of logic elements in the blocks of the main and complement logic in the embedded control circuits of combinational logic devices based on the Boolean complement method using the “1-out-of- m ” constant-weight code....

Full description

Saved in:
Bibliographic Details
Published in:Automatic control and computer sciences 2020-03, Vol.54 (2), p.89-99
Main Authors: Efanov, D. V., Sapozhnikov, V. V., Sapozhnikov, Vl. V., Pivovarov, D. V.
Format: Article
Language:English
Subjects:
Boolean
Boolean algebra
Circuits
Complement
Computer Science
Control Structures and Microprogramming
Fault detection
Logic
Self testing
Synthesis
Weight
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we consider the problem of ensuring the detection of all single faults of logic elements in the blocks of the main and complement logic in the embedded control circuits of combinational logic devices based on the Boolean complement method using the “1-out-of- m ” constant-weight code. The conditions for ensuring complete self-checking of the embedded control circuit are established. A synthesis method based on the Boolean complement to the “1-out-of- m ” constant-weight code is proposed for completely self-checking circuits of embedded control of combinational logic devices.
ISSN:0146-4116
1558-108X
DOI:10.3103/S0146411620020042