Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands.

Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu

Browse the full FMCAD paper archive.