Research
My
research interests are focused in the area of Electronic Design
Automation. Typically, I am
interested in high level synthesis, formal verification methods,
boolean satisfiability algorithms and decision diagrams. My general
interests
also include digital integrated circuit design, high-performance VLSI
design, VLSI testing and theorem proving. In my thesis as a
Masters
student, I had
implemented a hybrid satisfiability solver by integrating the
conventional decision procedures used for solving the boolean
satisfiability problem.
For my PhD, I
developed high level synthesis techniques for optimizing
arithmetic datapaths using concepts from finite ring algebra. My
research
advisor was Dr.
Priyank
Kalla.
|
|
|