DocumentCode
1137305
Title
Theory of Computer Addition and Overflows
Author
Garner, Harvey L.
Author_Institution
Moore School of Electrical Engineering, University of Pennsylvania
Issue
4
fYear
1978
fDate
4/1/1978 12:00:00 AM
Firstpage
297
Lastpage
301
Abstract
Computer addition is a groupoid. If an additive identity exists it is unique. If(and only if) addition is defined with the compute through the overflow (CTO) property, then a finite ring of integers is the homomorphic image of the computer number system and addition. Stated another way, the necessary and sufficient condition for CTO is a congruence relation on the integers. Also, if the number system has CTO capabilities for addition, it also has extended CTO properties for addition. A technique is presented for determining the correct sum in the extended compute through overflow (ECTO) mode of computation.
Keywords
Additive identity; compute through overflow (CTO); computer arithmetic; models of computer arithmetic; number systems; overflow behavior; Additives; Computational modeling; Digital arithmetic; Digital systems; Hardware; Sufficient conditions; Additive identity; compute through overflow (CTO); computer arithmetic; models of computer arithmetic; number systems; overflow behavior;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1978.1675101
Filename
1675101
Link To Document