Fall 2015 edition
Fall 2014 edition
Fall 2013 edition
Spring 2013 edition
Fall 2011 edition
EECS 144/244: Fundamental Algorithms for System Modeling, Analysis, and Optimization - Fall 2013
The modeling, analysis and optimization of complex systems requires a range of algorithms and design software. This course reviews the fundamental techniques underlying the design methodology for complex systems, using integrated circuit design as example. Topics include design flows, fundamental classes of systems and models (discrete, timed, continuous, dataflow, probabilistic), and fundamental analysis techniques and algorithms for each class (state-space exploration, discrete-event simulation, numerical simulation, throughput analysis, steady-state analysis, ...). Lab assignments and a class project will expose students to state-of-the-art tools.
The Fall 2013 edition of 144/244 was given by Sanjit Seshia and Stavros Tripakis.
Fall 2013 Lectures