Guang Yang, 2^nd year graduate student, EE/CAD for VLSI

Research interests: fast simulation, formal and semi-formal verification of electronic systems

I'd like to get from the class