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. Working also at Northrup-Grumman.
Pratishtha Agnihotri, PhD student. Research focus: Design-for-Test and Validation 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:
- Fall 2023: 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
- Spring 2019: ECE/CS 5740/6740: CAD of Digital Circuits --- Logic Synthesis and Optimization
- Fall 2018: ECE/CS 3710: Computer Design Lab
- 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