| 2008 |
|---|
| 6 | EE | Neal Tew,
Priyank Kalla,
Namrata Shekhar,
Sivaram Gopalakrishnan:
Verification of arithmetic datapaths using polynomial function models and congruence solving.
ICCAD 2008: 122-128 |
| 2007 |
|---|
| 5 | EE | Sivaram Gopalakrishnan,
Priyank Kalla,
Florian Enescu:
Optimization of Arithmetic Datapaths with Finite Word-Length Operands.
ASP-DAC 2007: 511-516 |
| 4 | EE | Sivaram Gopalakrishnan,
Priyank Kalla,
M. Brandon Meredith,
Florian Enescu:
Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors.
ICCAD 2007: 143-148 |
| 3 | EE | Sivaram Gopalakrishnan,
Priyank Kalla:
Optimization of polynomial datapaths using finite ring algebra.
ACM Trans. Design Autom. Electr. Syst. 12(4): (2007) |
| 2005 |
|---|
| 2 | | Namrata Shekhar,
Priyank Kalla,
Florian Enescu,
Sivaram Gopalakrishnan:
Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra.
ICCAD 2005: 291-296 |
| 1 | EE | Namrata Shekhar,
Priyank Kalla,
Sivaram Gopalakrishnan,
Florian Enescu:
Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths.
ICCD 2005: 215-220 |
