Computer Science 593:
Mathematical Foundations for System Design: Modeling, Analys (4.0 units)
Fundamental techniques underlying the methodologies for system design, from integrated circuits to cyber-physical systems. Design flows, fundamental classes of models, and verification and synthesis techniques.
- Crosslist: This course is offered by the EE department but may qualify for major credit in CSCI. To register, enroll in EE 581.
| Section | Session | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|
| 30485D | 073 | Lecture | 10:00-11:50am | Mon, Wed | 1 of 4 | Pierluigi Nuzzo | ONLINE |   | |
| 30844D | 048 | Lecture | 10:00-11:50am | Mon, Wed | 10 of 48 | Pierluigi Nuzzo | KDC241 & ONLINE | | |
| 30486R | 073 | Lab | 1:30-3:20pm | Monday | 1 of 50 | ONLINE | | ||
| 30845R | 048 | Lab | 1:30-3:20pm | Monday | 10 of 30 | SLH102 & ONLINE | |