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]
@inproceedings{TewKSG08,
title = {Verification of arithmetic datapaths using polynomial function models and congruence solving},
author = {Neal Tew and Priyank Kalla and Namrata Shekhar and Sivaram Gopalakrishnan},
year = {2008},
doi = {10.1145/1509456.1509494},
url = {http://doi.acm.org/10.1145/1509456.1509494},
researchr = {https://researchr.org/publication/TewKSG08},
cites = {0},
citedby = {0},
pages = {122-128},
booktitle = {2008 International Conference on Computer-Aided Design (ICCAD 08), November 10-13, 2008, San Jose, CA, USA},
editor = {Sani R. Nassif and Jaijeet S. Roychowdhury},
publisher = {IEEE},
isbn = {978-1-4244-2820-5},
}