Verification of arithmetic datapaths using polynomial function models and congruence solving.

Neal Tew Priyank Kalla Namrata Shekhar Sivaram Gopalakrishnan Verification of arithmetic datapaths using polynomial function models and congruence solving. 122-128 2008 ICCAD http://doi.acm.org/10.1145/1509456.1509494 conf/iccad/2008 db/conf/iccad/iccad2008.html#TewKSG08