 | 2008 |
|---|
| 7 |       | Neal Tew,
Priyank Kalla,
Namrata Shekhar,
Sivaram Gopalakrishnan:
Verification of arithmetic datapaths using polynomial function models and congruence solving.
ICCAD 2008: 122-128 |
| 6 | | Namrata Shekhar,
Priyank Kalla,
M. Brandon Meredith,
Florian Enescu:
Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra.
IEEE Trans. VLSI Syst. 16(4): 376-387 (2008) |
| 2007 |
|---|
| 5 | | Namrata Shekhar,
Sudhakar Kalla,
Florian Enescu:
Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing.
IEEE Trans. on CAD of Integrated Circuits and Systems 26(7): 1320-1330 (2007) |
| 2006 |
|---|
| 4 | | Namrata Shekhar,
Priyank Kalla,
Florian Enescu:
Equivalence verification of arithmetic datapaths with multiple word-length operands.
DATE 2006: 824-829 |
| 3 | | Namrata Shekhar,
Priyank Kalla,
M. Brandon Meredith,
Florian Enescu:
Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands.
FMCAD 2006: 179-186 |
| 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 | | Namrata Shekhar,
Priyank Kalla,
Sivaram Gopalakrishnan,
Florian Enescu:
Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths.
ICCD 2005: 215-220 |
