A design theory for totally self-checking and concurrent error detecting arithmetic circuits
Angelotti, Frank William
This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.
Permalink
https://hdl.handle.net/2142/22968
Description
Title
A design theory for totally self-checking and concurrent error detecting arithmetic circuits
Author(s)
Angelotti, Frank William
Issue Date
1990
Doctoral Committee Chair(s)
Robertson, James E.
Department of Study
Engineering, Electronics and Electrical
Computer Science
Discipline
Engineering, Electronics and Electrical
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
Engineering, Electronics and Electrical
Computer Science
Language
eng
Abstract
This thesis presents the results of an investigation into the applicability of Arithmetic Decomposition Theory (a theory for the design and analysis of arithmetic structures) to the design of concurrent error detecting arithmetic structures. Arithmetic Decomposition Theory shows how large, complex arithmetic circuits can be constructed by interconnecting a number of devices from a small library of elementary modules. The majority of effort in this investigation has gone into extending Arithmetic Decomposition Theory to encompass the design of Totally Self-Checking arithmetic circuits. Totally Self-Checking circuits always either produce a correct output, or give an error indication when a fault in the circuit causes an erroneous output. The extended theory has been demonstrated by its application to the design of a general purpose ALU. A simulator, which is useful in the analysis of Totally Self-Checking arithmetic circuits has been implemented. Finally, an alternative approach to concurrent error detection which involves a generalization of the classic approach of parity prediction to the two dimensional structures of Arithmetic Decomposition Theory has been developed.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
