Formal Verification of Division and Square Root Implementations, an Oracle Report

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.