Namrata Shekhar

According to our database, Namrata Shekhar authored at least 7 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra.

Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu

IEEE Trans. Very Large Scale Integr. Syst., 2008

Verification of arithmetic datapaths using polynomial function models and congruence solving.

Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

2007

Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing.

Namrata Shekhar, Sudhakar Kalla, Florian Enescu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007

2006

Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands.

Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Equivalence verification of arithmetic datapaths with multiple word-length operands.

Namrata Shekhar, Priyank Kalla, Florian Enescu

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths.

Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra.

Namrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005