A Mechanically Checked Proof of (1999)

by David M Russinoff
Venue:IEEE Compliance of the AMD K5 Floating-Point Square Root Microcode. Formal Methods in System Design 14