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.
Currently for my Ph.D. program, I am working
towards high level synthesis of arithmetic datapaths. My
research
advisor is Dr.
Priyank
Kalla.
|
|
|