Formal Verification of Division and Square Root Implementations, an Oracle Report
Jo Ebergen, David Rager, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge
30 September 2016
These are the slides that go with OL 2016-0771, a conference paper with the same title.
Venue : Formal Methods in CAD 2016, to be presented on 6 Oct.