[Back to homepage]
Fall '07
VLSI I
Nanometer Scale IC Design
High Speed Computer Arithmetic
Spring '08
Dependable Computing
Algorithms
VLSI II
Fall '08
Formal Verification and Semantics
Embedded System Design and Modeling
Spring '09
Computer Architecture
Fall '09
Optimization Issues in VLSI CAD
Spring '10
VLSI Testing
Spring '11
VLSI Physical Design Automation