Concepedia

Namrata Shekhar

NS

4

Publications

99

Citations

4

H-Index

2005

Active since

Affiliations

University of Utah(Current)

Georgia State University

Namrata Shekhar is an author at University of Utah specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringComputational ComplexityVerificationCoding TheoryCompilersAutomated Reasoning

Publications per year

2005–2007

4

Publications

4

Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing

Namrata Shekhar, Priyank Kalla, Florian Enescu · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2007 · 37 citations

Engineering, Equivalence Verification, Verification +16

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

Namrata Shekhar, Priyank Kalla, Florian Enescu et al. · International Conference on Computer Aided Design · 2005 · 31 citations

Polynomial Computations, Engineering, Finite Ring Algebra +19

Equivalence verification of arithmetic datapaths with multiple word-length operands

Namrata Shekhar, Priyank Kalla, Florian Enescu · 2006 · 21 citations

Theory Of Computing, Engineering, Rtl Descriptions +15

Exploiting vanishing polynomials for equivalence verification of fixed-size arithmetic datapaths

Namrata Shekhar, Priyank Kalla, Florian Enescu et al. · 2006 · 10 citations

Engineering, Computational Number Theory, Parameterized Complexity +13

Rows per page

1–4 of 4