Namrata Shekhar

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu
Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra. IEEE Trans. Very Large Scale Integr. Syst. 16 (4) (2008)
Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan
Verification of arithmetic datapaths using polynomial function models and congruence solving. ICCAD (2008)
Namrata Shekhar, Sudhakar Kalla, Florian Enescu
Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (7) (2007)
Namrata Shekhar, Priyank Kalla, Florian Enescu
Equivalence verification of arithmetic datapaths with multiple word-length operands. DATE (2006)
Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu
Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. FMCAD (2006)
Namrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan
Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra. ICCAD (2005)
Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu
Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths. ICCD (2005)