Priyank Kalla

Associate Professor

Education:

Ph.D., University of Massachusetts at Amherst, 2002.
M.S., University of Massachusetts at Amherst, 1998.
B.E., Birla Vishvakarma Mahavidyala, 1993.

Research Interests
My area of work is related to automated synthesis and optimization, validation and verification of digital VLSI systems:

Formal Verification of Hardware Implementations of Cryptography Primitives over Galois Fields using Computer Algebra and Algebraic Geometry
Application of Finite Ring Algebra to Synthesis and Verification of Arithmetic Datapaths with Finite Word-Length Operands:

Modeling Bit-Vector Arithmetic as Polynomial Functions over Finite Integer Rings
Decision Procedures based on Algorithmic Analysis of Polynomial Ideals and their Varieties

Design Automation for Optic/Photonic Logic

Logic Design and Synthesis in Si-Photonics
Physical Design Automation for Si-Photonics Integration
Thermal issues in Si-Photonics Design Automation

Formal Verification of RTL descriptions

Equivalence Checks, RTL-Satisfiability, Assertion Checking.

New Techniques to Guide CNF-SAT Search:

Static and Dynamic Variable Orderings, Constraint Partitioning
Proving UNSAT by Directly Searching for UNSAT Cores.

Using Groebner's Proof Systems for Simplification of Design Verification and SAT solving.

Funding for Our Research

NSF, GOALI Supplement Grant 2008-2011.
NSF Faculty Early Career Development (CAREER) Award 2006.
NSF, CISE/CCF, 1-Year Grant, 2005-2006. Expired.
University of Utah Research Foundation, SEED Grant, 2005-2006. Expired.

Graduate Students

Chris Condrat - BS/MS 2007, PhD student. Design Automation for Si-Photonics Integration.

Tim Pruss - MS Student. Interests: Formal Verification, Debugging and Trojan mining in digital circuits.

Lawrence Schlitt - BS/MS Student. Interests: Effects of Thermal Stress on Si-Photonic Integration.

Lawrence's BS project received the Bronze Medal at the ACM Student Research Competition, at the 2012 Design Automation Conference . Congratulations, Larry!

Former Students

Jinpeng Lv: PhD completed July 2012. Currently working at Cadence, Conformal Verification Group.

Dissertation Title: Scalable Formal Verification of Finite Field Arithmetic Circuits using Computer Algebra Techniques

Sivaram Gopalakrishnan - MS 2004, PhD Summer 2008. Senior R & D Engineer, Synopsys, Formality Group, Hillsboro, OR.
Dissertation Title: High-Level Synthesis of Polynomial Datapaths using Finite Integer Algebras.

Namrata Shekhar - PhD, Completed Aug 2007. Senior R & D Engineer, Synopsys, Formality Group, Marlborough, MA.
Dissertation Title: Equivalence Verification of Arithmetic Datapaths using Finite Ring Algebra.

Vijay Durairaj - ME 2004, PhD summer 2008. Senior R & D Engineer, Synopsys ESP Group . Dissertation topic: Improving SAT Solving by Analyzing Constraint-Variable Dependencies.

Publications and Presentations

Teaching:

Spring 2013: ECE/CS 3700: Fundamentals of Digital System Design

Class Webpage

Fall 2012: ECE/CS 5745/6745: Testing and Verification of Digital Circuits

Spring 2012: ECE/CS 5740/6740: CAD of Digital Circuits

Fall 2011: ECE/CS 3710: Computer Design Lab

Fall 2010: Computer Algebra for Electrical Engineers and Computer Scientists

ECE 5960-001, ECE 6962, CS 5960, CS 6962

My Recent Conference and Service Activities

If you would like to boost/deflate my ego, please (do not?) hesistate to send me Email at: KALLA@ece.utah.edu

Accesses to this page since March 1, 2007: