2008 |
7 | EE | Neal Tew,
Priyank Kalla,
Namrata Shekhar,
Sivaram Gopalakrishnan:
Verification of arithmetic datapaths using polynomial function models and congruence solving.
ICCAD 2008: 122-128 |
6 | EE | 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 | EE | 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 | EE | Namrata Shekhar,
Priyank Kalla,
Florian Enescu:
Equivalence verification of arithmetic datapaths with multiple word-length operands.
DATE 2006: 824-829 |
3 | EE | 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 | 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 |