Simulation-Based Verification of Floating-Point Division

DOI10.1109/TC.2010.165MaRDI QIDQ5280627zbMATH OpenFDO

Authors Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman

Publication date 27 July 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.2010.165

Mathematics Subject Classification ID

Roundoff error (65G50) Numerical algorithms for computer arithmetic, etc. (65Y04)

Cited in

(3)

• Detecting unreliable computer simulations of recursive functions with interval extensions
• A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7^™ Processor
• A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program

This page was built for publication: Simulation-Based Verification of Floating-Point Division

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5280627)