Amr A. R. Sayed-Ahmed, Hossam A. H. Fahmy, Ulrich Kühne. Verification of the decimal floating-point square root operation. In Giorgio Di Natale, editor, 19th IEEE European Test Symposium, ETS 2014, Paderborn, Germany, May 26-30, 2014. pages 1-2, IEEE, 2014. [doi]
Abstract is missing.