|
Search the dblp DataBase
Namrata Shekhar:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Namrata Shekhar, Priyank Kalla, Florian Enescu
Equivalence verification of arithmetic datapaths with multiple word-length operands. [Citation Graph (0, 0)][DBLP] DATE, 2006, pp:824-829 [Conf]
- Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu
Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. [Citation Graph (0, 0)][DBLP] FMCAD, 2006, pp:179-186 [Conf]
- Namrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan
Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra. [Citation Graph (0, 0)][DBLP] ICCAD, 2005, pp:291-296 [Conf]
- Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu
Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths. [Citation Graph (0, 0)][DBLP] ICCD, 2005, pp:215-220 [Conf]
Verification of arithmetic datapaths using polynomial function models and congruence solving. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|