Name : AVI CHANDRA Y

Program (completed) : M.Tech

Email : y.chandra @alumni.iitg.ac.in

Roll No : 7410229

Thesis Title : AN OPEN SOURCE EDA TOOL: EQU-IITG, FORMAL EQUIVALENCE CHECKER

Guide : Dr. A. K. Mishra