Teaching this semester (Fall '09)
Fall 2009:
EECS 578 - Computer-Aided Design and Verification of Digital Systems
Course Teaching
EECS Department at the University of Michigan
- Fall 2009:
- EECS 578 - Computer-Aided Design and Verification of Digital Systems
- Winter 2009:
- EECS 270 - Introduction to Logic Design
- Fall 2008:
- EECS 370 - Introduction to Computer Organization
- Winter 2008:
- EECS 578 - Computer-Aided Design and Verification of Digital Systems
- Fall 2007:
- EECS 370 - Introduction to Computer Organization
- Winter 2007:
- EECS 370 - Introduction to Computer Organization
- Fall 2006:
- EECS 578 - Computer-Aided Design and Verification of Digital Systems
- Winter 2006:
- EECS 370 - Introduction to Computer Organization
- Fall 2005:
- EECS 478 - Logic Circuit Synthesis and Optimization
- Winter 2005:
- EECS 578 - Computer-Aided Design and Verification of Digital Systems
- Fall 2004:
- EECS 478 - Logic Circuit Synthesis and Optimization
- Winter 2004:
- EECS 578 - Computer-Aided Design and Verification of Digital Systems
- Fall 2003:
- EECS 598-004 - Computer-Aided Verification of Digital Systems