Verification of arithmetic datapaths using polynomial function models and congruence solving. - Neal Tew; Priyank Kalla; Namrata Shekhar; Sivaram Gopalakrishnan (ICCAD, 2008)