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.
SectionSessionTypeTimeDaysRegisteredInstructorLocationSyllabusInfo
30485D073Lecture10:00-11:50amMon, Wed1 of 4Pierluigi NuzzoONLINEfeesession dates
30844D048Lecture10:00-11:50amMon, Wed10 of 48Pierluigi NuzzoKDC241 & ONLINEfeesession dates
30486R073Lab1:30-3:20pmMonday1 of 50ONLINEsession dates
30845R048Lab1:30-3:20pmMonday10 of 30SLH102 & ONLINEsession dates
Information accurate as of September 23, 2020 1:00 pm.
The Fall 2020 semester will begin with fully remote instruction, with limited exceptions for clinical education. Faculty will contact students to provide information to login to classes. Read more.