Namrata Shekhar Priyank Kalla Florian Enescu Equivalence verification of arithmetic datapaths with multiple word-length operands. 824-829 2006 conf/date/2006p DATE http://doi.acm.org/10.1145/1131714 db/conf/date/date2006p.html#ShekharKE06