Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths.

Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu

Browse the full ICCD paper archive.