DES/CAD classes
See also the EECS Departmental page for DES.
Spring 2010
- 149: Introduction to Embedded Systems (MW 9:00-10:30A, 293 Cory; 4 credits)
- 172: Computability and Complexity (MW 1:00-2:30P, 320 Soda; 4 credits)
- 219B: Logic Synthesis for Hardware Systems (TuTh 9:00-10:30A, 521 Cory; 4 credits)
- 290A: Advanced Numerical Simulation and Modelling (MW 1-2:30, 293 Cory; 3 credits)
Fall 2009
- 219A: Numerical Simulation (MW 1-2:30, 299 Cory; 3+1 credits)
- discussion section: 298-007: Topics in Numerical Simulation and Modelling (W 4-5, 299 Cory)
- 219C: Computer-Aided Verification (MW 2:30-4, 540A Cory; 3 credits)
- 249: Design of Embedded Systems: Models, Validation and Synthesis (TT 11:00-12:30P, Tu 5-6p, 521 Cory; 4 credits)
- 298-6. CHESS Seminar (Tu 4:00-5:00P, 540A Cory)