Namrata Shekhar Priyank Kalla M. Brandon Meredith Florian Enescu Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. 179-186 2006 conf/fmcad/2006 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.30 db/conf/fmcad/fmcad2006.html#ShekharKME06