Properties of two's complement floating point notations

Abstract : Few designs, mostly those of Texas Instruments, continue to use tworsquos complement floating point units. Such units are simpler to build and to validate, but they do not comply to the dominant IEEE standard for floating point arithmetic. We compare some properties of the two systems in this text. Some features are lost, but others remain unchanged. One strong example is the case of Sterbenzrsquos theorem and our recent extension. We show in the paper that the theorem and its extension hold for the tworsquos complement architecture. Still, users should ensure that results are large enough on circuits that do not implement gradual underflow. Theorems have been proven and validated using the Coq automatic proof checker.
Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2003, 5 (2-3), pp.237-246. 〈10.1007/s10009-003-0120-y〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00157268
Contributeur : Marc Daumas <>
Soumis le : lundi 25 juin 2007 - 16:33:36
Dernière modification le : lundi 25 juin 2007 - 16:38:07
Document(s) archivé(s) le : jeudi 8 avril 2010 - 21:30:19

Fichier

BolDau04a.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Sylvie Boldo, Marc Daumas. Properties of two's complement floating point notations. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2003, 5 (2-3), pp.237-246. 〈10.1007/s10009-003-0120-y〉. 〈hal-00157268〉

Partager

Métriques

Consultations de
la notice

246

Téléchargements du document

475