Verification of IEEE compliant subtractive division algorithms | Zendy

Paul S. Miner | Zendy; James F. Leathrum | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Verification of IEEE compliant subtractive division algorithms

Author(s) -

Paul S. Miner,

James F. Leathrum

Publication year - 1996

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-61937-2

DOI - 10.1007/bfb0031800

Subject(s) - subtractive color , computer science , parameterized complexity , division (mathematics) , ieee floating point , algorithm , point (geometry) , floating point , division algorithm , theoretical computer science , arithmetic , mathematics , art , geometry , visual arts

A parameterized definition of subtractive floating point division algorithms is presented and verified using PVS. The general algorithm is proven to satisfy a formal definition of an IEEE standard for floating point arithmetic. The utility of the general specification is illustrated using a number of different instances of the general algorithm.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research