| |
| 2008 | ||
|---|---|---|
| 1 | EE | Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan: Verification of arithmetic datapaths using polynomial function models and congruence solving. ICCAD 2008: 122-128 |
| 1 | Sivaram Gopalakrishnan | [1] |
| 2 | Priyank Kalla | [1] |
| 3 | Namrata Shekhar | [1] |