Interpretation of IEEE-854 Floating-Point Standard and Definition in the HOL System

Authors:
Carreno Victor A.
Affiliations:
-
Venue:
Interpretation of IEEE-854 Floating-Point Standard and Definition in the HOL System
Year:
1995

Citing 0
Cited 3

Enabling Hardware Verification through Design Changes

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Mutation-based test case generation for simulink models

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ANSI/IEEE Standard 854-1987 for floating-point arithmetic is interpreted by converting the lexical descriptions in the standard into mathematical conditional descriptions organized in tables. The standard is represented in higher-order logic within the framework of the HOL system. The paper is divided in two parts with the first part the interpretation and the second part the description in HOL.