Area of research
Computational Theory and Mathematics · Hardware and Architecture
Research interest
Research interests include Formal Methods in Verification, Embedded Systems Design Techniques, VLSI and Analog Circuit Testing, and Photonic and Optical Devices.
Efficient Symbolic Computation for Word-Level Abstraction From Combinational Circuits for Verification Over Finite Fields
Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases
Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits
Formal Verification of Galois Field Multipliers Using Computer Algebra Techniques
SHF:Small:Collaborative Research: Rectification of Arithmetic Circuits with Craig Interpolants in Algebraic Geometry
SHF: Small: New Directions in Groebner Basis based Verification using Logic Synthesis Techniques
SHF: Small: Collaborative Proposal: Efficient Computer Algebra Techniques for Scalable Verification of Galois Field Arithmetic Circuits
CAREER: Exploring Symbolic Algebra for RTL Verification of Arithmetic Datapaths
Collaborative Research: A New Theoretical and Algorithmic Framework for RTL Datapath Verification using Polynomial Algebra over Finite Integer Rings