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]
No references recorded for this publication.
No citations of this publication recorded.