Verification of floating point adders (1998)

by Y-A Chen, R E Bryant
Venue:in CAV