Namrata Shekhar Priyank Kalla Sivaram Gopalakrishnan Florian Enescu Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths. 215-220 2005 conf/iccd/2005 ICCD http://doi.ieeecomputersociety.org/10.1109/ICCD.2005.52 db/conf/iccd/iccd2005.html#ShekharKGE05