Concepedia

Priyank Kalla

PK

32

Publications

847

Citations

16

H-Index

2000

Active since

Affiliations

University of Utah(Current)

Georgia State University

University of Massachusetts Amherst

University of Massachusetts Boston

Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier

Priyank Kalla is an author at University of Utah specializing in computer engineering, engineering, and formal methods.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationComputational ComplexityAutomated ReasoningComputer ArchitectureProgram Analysis

Publications per year

2000–2018

32

Publications

32

BDD-based logic synthesis for LUT-based FPGAs

Navin Vemuri, Priyank Kalla, Russell Tessier · ACM Transactions on Design Automation of Electronic Systems · 2002 · 77 citations

Hardware Security, Contemporary Fpga Synthesis, Logic Synthesis +15

LPSAT: a unified approach to RTL satisfiability

Zhihong Zeng, Priyank Kalla, Maciej Ciesielski · Design, Automation, and Test in Europe · 2001 · 67 citations

Mathematical Programming, Milp Solver, Sat Framework +15

Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits

Jinpeng Lv, Priyank Kalla, Florian Enescu · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 62 citations

Theory Of Computing, Engineering, Computational Number Theory +14

Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs

Maciej Ciesielski, Priyank Kalla, S. Askar · IEEE Transactions on Computers · 2006 · 53 citations

Dataflow Designs, Engineering, Verification +22

LPSAT: a unified approach to RTL satisfiability

Zhihong Zeng, Priyank Kalla, Maciej Ciesielski · Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001 · 2002 · 46 citations

Mathematical Programming, Milp Solver, Sat Framework +15

Rows per page

1–5 of 32