Amr A. R. Sayed-Ahmed, Hossam A. H. Fahmy, Rodina Samy. Verification of decimal floating-point fused-multiply-add operation. In Howard Jay Siegel, Amr El-Kadi, editors, The 9th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2011, Sharm El-Sheikh, Egypt, December 27-30, 2011. pages 255-262, IEEE, 2011. [doi]
Abstract is missing.