Pages that link to "Item:Q816201"
From MaRDI portal
The following pages link to Formal verification of the VAMP floating point unit (Q816201):
Displaying 5 items.
- A formally verified floating-point implementation of the compact position reporting algorithm (Q2024357) (← links)
- Counterexample- and simulation-guided floating-point loop invariant synthesis (Q2233532) (← links)
- A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7<sup>™</sup> Processor (Q4230664) (← links)
- Correct Hardware Design and Verification Methods (Q5897057) (← links)
- Finding normal binary floating-point factors efficiently (Q6156639) (← links)
