Alan Mishchenko

Research Scientist

Electrical Engineering and Computer Sciences

University of California, Berkeley



















Webpages of classes taught by Professor Brayton and myself:



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