Verification of Floating-Point Adders.

Yirng-An Chen, Randal E. Bryant

Browse the full CAV paper archive.