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 |
---|---|---|---|---|---|---|---|---|---|
30844R | 048 | Lecture | 10:00-11:50am | Mon, Wed | 30 of 60 | Pierluigi Nuzzo | GFS118 | ||
30845R | 048 | Lab | 2:00-3:50pm | Monday | 30 of 60 | THH114 |