Classes co-taught with Professor Robert Brayton

  • Spring 2004 EECS 290N: The Unknown Component Problem
  • Spring 2005 EECS 290A: Sequential Logic Synthesis and Verification
  • Spring 2006 EECS 219A: Computer-Aided Verification of Electronic Circuits and Systems
  • Spring 2007 EECS 290N: Equivalence Checking
  • Spring 2008 EECS 290A: Advanced Methods in Logic Synthesis and Equivalence Checking