Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra.

Namrata Shekhar Priyank Kalla Florian Enescu Sivaram Gopalakrishnan Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra. 291-296 2005 conf/iccad/2005 ICCAD db/conf/iccad/iccad2005.html#ShekharKEG05