Formal verification of division and square root implementations, an Oracle report. - David L. Rager; Jo C. Ebergen; Dmitry Nadezhin; Austin Lee; Cuong Kim Chau; Ben Selfridge (FMCAD, 2016)