Pages that link to "Item:Q4230664"

The following pages link to A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7^™ Processor (Q4230664):

Displayed 6 items.

• Formal verification of the VAMP floating point unit (Q816201) ‎ (← links)
• Choosing starting values for certain Newton-Raphson iterations (Q817866) ‎ (← links)
• Ordinal arithmetic: Algorithms and mechanization (Q851144) ‎ (← links)
• A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures (Q877828) ‎ (← links)
• Integrating external deduction tools with ACL2 (Q1006728) ‎ (← links)
• A parametric error analysis of Goldschmidt's division algorithm (Q1765225) ‎ (← links)