Priyank's Home Page
Priyank Kalla
Professor
Electrical and Computer Engineering
Merrill Engineering Bldg., #2260
University of Utah, Salt Lake City,
UT-84112
Ph: (801)-587-7617
Email: KALLA@ece.utah.edu
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 and post-CMOS systems:
Formal Verification of Hardware Implementations of Cryptography
Primitives -- Classical and Post-Quantum Cryptography
Verification over Galois Fields using Computer Algebra and
Algebraic Geometry
Canonical Word-Level Polynomial Abstractions of Bit-Vector
Arithmetic using Groebner Bases
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 and Test for Silicon Photonics
Logic Design and Synthesis in Si-Photonics
Design-for-Test and Manufacturability in Si-Photonics
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.
Graduate Students
Lawrence Schlitt, PhD student. Research focus: ATPG, DFT,
Testability Analysis and Calibration for Silicon Photonics.
Bailey Martin, BS/MS student. Research focus: EDA for Fully
Homomorphic Encryption.
Bhavani Sampathkumar, PhD Student. Research Focus: Partial
Synthesis and Verification of Arithmetic Datapaths and
Post-Quantum Crypto-Circuits.
Ritaja Das, PhD Student. Research Focus: EDA for Fully
Homomorphic Encryption.
Former Students and their Dissertations
Funding for our Research
Publications and Presentations
Teaching:
Spring 2026: ECE/CS 5740/6740: CAD of Digital Circuits --- Logic Synthesis and Optimization
Class Webpage for Lecture Notes, HWs, CAD Tools, etc.
Canvas page for HW submission and using the discussion board
Fall 2018: ECE/CS 3710: Computer Design Lab
Class Webpage, access to Canvas page
Fall 2025: ECE/CS 5745/6745: Testing and Verification of Digital
Circuits
Subtitle: Hardware Verification using Symbolic Computation
Class Webpage
Spring 2020: ECE/CS 3700: Fundamentals of Digital System Design
Class Webpage is hosted on Canvas over here
Spring 2014: ECE/CS 5740/6740: CAD of Digital Circuits
Fundamental CAD Techniques for Physical Design Automation
Class Webpage
Fall 2012: ECE/CS 5745/6745: Testing and Verification of Digital
Circuits
This version covered topics in SAT, BDDs, ATPG, DFT, and Equivalence Checking.
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 Sept 2021:
free website counters