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