| CIS 4930/6930 |
Intro. Embedded Systems |
Spring, 2012 |
| COT 3100 |
Intro. Discrete Structures |
Fall, 2011 |
| CDA 3103 |
Computer Organization |
Fall, 2011 |
| CDA 5416 |
Intro. to Computer-Aided Verification |
Spring, 2008/2011, Fall, 2009 |
| CDA 4253 |
FPGA System Design |
Spring, 2010/2011, Fall, 2006/2008 |
| CDA 3201/3201L |
Digital Logic Design |
Fall, 2010 |
| CIS 4930 |
Design Automation |
Spring, 2009 |
| COT 3100 |
Discrete Structures |
Fall, 2007 |
| CIS 6930/4930 |
Computer-Aided Verification |
Spring, 2006/2007 |
| CIS 4930 |
FPGA Design |
Fall, 2004/2005, |
| CIS 6930 |
Asynchronous Circuit Design |
Spring, 2005 |