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 |
|---|---|---|---|---|---|---|---|---|---|
| 30773R | 048 | Lecture | 4:00-5:50pm | Tue, Thu | 4 of 30 | Pierluigi Nuzzo | LVL13 |  | |
| 30800R | 048 | Lab | 12:00-12:50pm | Wednesday | 4 of 30 | OFFICE | |