About this Journal Submit a Manuscript Table of Contents
VLSI Design
Volume 5 (1998), Issue 4, Pages 385-392
http://dx.doi.org/10.1155/1998/28524

Self Checking Design Technique for Numerical Computations

Department of Electrical Engineering, North Carolina A&T State University, 551 McNair Hall, Greensboro 27411, NC, USA

Copyright © 1998 Hindawi Publishing Corporation. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

The objective of this paper is to develop an efficient method for testing of numerical computations based on algebraic concepts such as transcendental degree of field extensions.

A class of polynomially checkable functions is introduced, and for computation of the functions from this class a new method for error detection/error correction is proposed. This class of functions is shown to be large. The proposed method can also be extended to testing of computations of functions which are not polynomially checkable.

The preliminary results show great potential of this approach. In particular the proposed approach will lead to substantial reduction in hardware overhead required for multiple error detection and correction, as compare to the check sum method and other existing techniques.