Error Detection in Digital Devices and Computer Programs with the Aid of Linear Recurrent Equations Over Finite Commutative Groups

Authors:
M. G. Karpovsky
Affiliations:
Department of Mathematics, Tel-Aviv University
Venue:
IEEE Transactions on Computers
Year:
1977

Citing 1
Cited 1

A Generalized Technique for Spectral Analysis

IEEE Transactions on Computers

Detection and identification of input/output stuck-at and bridging faults in combinational and sequential VLSI networks by universal tests

Integration, the VLSI Journal

Quantified Score

Hi-index	14.98

Visualization

Abstract

A method is proposed for error detection in digital devices and computer programs calculating the values of functions f(x), where x ? G and G is a finite commutative group. For the case of network implementation of the method, "errors" are catastrophic structural failures; for the case of program implementation, they are errors in the text of the program.