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. In Sani R. Nassif, Jaijeet S. Roychowdhury, editors, 2008 International Conference on Computer-Aided Design (ICCAD 08), November 10-13, 2008, San Jose, CA, USA. pages 122-128, IEEE, 2008. [doi]

Abstract

Abstract is missing.