Sciweavers

TPHOL
2000
IEEE
14 years 3 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
TPHOL
2000
IEEE
14 years 3 months ago
Verified Optimizations for the Intel IA-64 Architecture
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
Jim Grundy