|
|
|
|
|
|
|
|
|
|
|
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 |
|
|||
|
|
|
|
|||
