Equivalence verification of arithmetic datapaths with multiple word-length operands.

Namrata Shekhar, Priyank Kalla, Florian Enescu

Browse the full DATE paper archive.