Verification of arithmetic datapaths using polynomial function models and congruence solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Neal Tew' in GoogleThis author has not been identified. Look up 'Priyank Kalla' in GoogleThis author has not been identified. Look up 'Namrata Shekhar' in GoogleThis author has not been identified. Look up 'Sivaram Gopalakrishnan' in Google

runs on WebDSL