Formal Verification of Division and Square Root Implementations, an Oracle Report
Formal Verification of Division and Square Root Implementations, an Oracle Report
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.
File Name : slidesFMCAD16.pdf