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

Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan

Browse the full ICCAD paper archive.