Litcius/Paper detail

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

Д.В. Ефанов, Vladimir Sapozhnikov, Вл. В. Сапожников, Д. В. Пивоваров, Вл. В. Сапожников, Д. В. Пивоваров

2020Automatic Control and Computer Sciences19 citationsDOI

Abstract

Abstract 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.

Topics & Concepts

Complement (music)Combinational logicComputer scienceConstant (computer programming)Boolean circuitAnd-inverter graphBoolean functionElectronic circuitAlgorithmLogic gateTheoretical computer scienceProgramming languageElectrical engineeringEngineeringChemistryGenePhenotypeBiochemistryComplementationRadiation Effects in ElectronicsVLSI and Analog Circuit TestingAdvanced Data Storage Technologies