MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Priyank Kalla" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

SIMULATION BOUNDS FOR EQUIVALENCE VERIFICATION OF ARITHMETIC DATAPATHS WITH FINITE WORD-LENGTH OPERANDS ∗
by Namrata Shekhar, Priyank Kalla
…-LENGTH OPERANDS ∗ Namrata Shekhar, Priyank Kalla Electrical & Computer Engineering Department University…
Add To MetaCart

Enhanced Interior Gateway Routing Protocol, Cisco White Paper
by Vijay Durairaj, Priyank Kalla — 2005 — Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005
… Durairaj and Priyank Kalla Department of Electrical and Computer Engineering University of Utah, Salt Lake…
Cited by 1 (1 self) – Add To MetaCart

Dynamic Analysis of Constraint-Variable Dependencies to Guide
by Vijay Durairaj, Priyank Kalla — 2004 — SAT Diagnosis”, in HLDVT
… and Priyank Kalla Department of Electrical and Computer Engineering University of Utah, Salt Lake City, UT…
Cited by 1 (1 self) – Add To MetaCart

A Comprehensive Approach to the Partial Scan Problem Using Implicit State Enumeration
by Priyank Kalla, Maciej Ciesielski — 2002
… Identifier S 0278-0070(02)05632-4. Priyank Kalla and Maciej Ciesielski, Senior Member, IEEE 0278…
Cited by 3 (0 self) – Add To MetaCart

Equivalence Verification of Polynomial Datapaths with Fixed-Size Bit-Vectors using Finite Ring Algebra
by Namrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan — 2005 — in Intl. Conf. on Computer-Aided Design, ICCAD
… ALGEBRA Namrata Shekhar ∗ , Priyank Kalla ∗ , Florian Enescu † and Sivaram Gopalakrishnan ∗ Abstract…
Cited by 5 (4 self) – Add To MetaCart

Exploiting vanishing polynomials for equivalence verification of fixed-size arithmetic datapaths
by Namrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan — 2005 — in Intl. Conf. Computer Design
… ∗ Namrata Shekhar 1 , Priyank Kalla 1 , Florian Enescu 2 , Sivaram Gopalakrishnan 1 1 Department…
Cited by 2 (2 self) – Add To MetaCart

P.: “Integrating CNF and BDD Based SAT Solvers
by Sivaram Gopalakrishnan, Vijay Durairaj, Priyank Kalla — 2003 — Proc. IEEE International High-Level Design Validation and Test Workshop (HLDVT ’03), IEEE
…Integrating CNF and BDD Based SAT Solvers Sivaram Gopalakrishnan, Vijay Durairaj and Priyank Kalla…
Cited by 1 (0 self) – Add To MetaCart

Optimization of arithmetic datapaths with finite word-length operands
by Sivaram Gopalakrishnan, Priyank Kalla, Florian Enescu — 2007 — in Proc. Asia-South Pacific Design Automation Conf
… , Priyank Kalla 1 and Florian Enescu 2 1 Electrical & Computer Engineering, University of Utah, Salt Lake…
Cited by 1 (1 self) – Add To MetaCart

BDD-based logic synthesis for LUT-based FPGAs
by Navin Vemuri, Priyank Kalla, Russell Tessier — 2002 — Design Automation of Electronic Systems
…, OR and Priyank Kalla University of Utah, Salt Lake City, UT and Russell Tessier University of Massachusetts…
Cited by 7 (1 self) – Add To MetaCart

Performance Driven Resynthesis by Exploiting Retiming-Induced State Register Equivalence
by Priyank Kalla, Maciej J. Ciesielski — 1999
…Performance Driven Resynthesis by Exploiting Retiming-Induced State Register Equivalence Priyank…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB