His research interests in EDA include synthesis, test and verification algorithms for digital circuits. He has more than 30 papers in refereed publications, and more than 10 patents granted or pending. He has been a member of program committees of EDA conferences on numerous accasions. He has previously taught at Princeton University as adjunct faculty. Most courses 4000-level and above can be credited to all degree programs.
All courses are subject to advisor approval.
Three 110 min. This course aims to cover the major topics in modern VLSI CAD, including synthesis, layout, verification and testing. The emphasis will be on recent developments in these topics. At the end of the course, the student should expect to have a broad understanding of where VLSI CAD is today with a fairly deep intuition for the algorithms used in current CAD tools, as well as hands-on experience using commercial and academic tools. Software will be provided.