Verification of floating point adders (1998)

by Y-A Chen, R E Bryant
Venue:in Computer Aided Verification, LNCS 1427