Automatic Verification of Floating-Point Accumulation Networks

David K. Zhang, Alex Aiken

Floating-point accumulation networks (FPANs) are key building blocks used in many floating-point algorithms, including compensated summation and double-double arithmetic. FPANs are…