EECS 244. Introduction to Design Automation

Catalog Description: This course is an introduction to design automation, concerned with rigorous methods and tools for the modeling, design, and analysis of complex engineered systems. Topics include design flows, discrete and continuous modeling techniques, and fundamental synthesis, verification, and simulation algorithms. Integrated circuit design will be used as a central example, augmented by examples from cyber-physical systems and software design. Laboratory assignments and a class project will expose students to state-of-the-art languages and tools. 

Units: 4

Also Offered As: EECS 244

Student Learning Outcomes: <p>Students will learn to:&nbsp;</p><ul><li><p>Identify and leverage appropriate formalisms and modeling techniques to specify different types of systems and represent different abstraction layers in a design.</p></li><li><p>Define appropriate abstraction layers and mathematical formulations of synthesis, verification, and validation problems in the context of integrated circuit design.&nbsp;</p></li><li><p>Define, describe, and implement fundamental analysis and synthesis algorithms at the core of electronic design automation (EDA) and, more broadly, computer-aided design of complex engineered systems, adopted in research and industry.&nbsp;</p></li><li><p>Identify the characteristics of different modeling paradigms and abstraction mechanisms in terms of expressiveness, analyzability, synthesizability, and tractability.&nbsp;</p></li><li><p>Practice with a range of state-of-the-art design automation tools and their underlying methods to address modeling, analysis, and design problems motivated by research as well as industrial applications.</p></li><li><p>Especially at the graduate level, perform scholarly research in the design of integrated circuits and complex engineered systems by either developing new approaches and algorithms or by exploring the application of the techniques learned in class to new domains or design problems.&nbsp;</p></li></ul>

Prerequisites: EECS 16A and CS 70. EECS 16B and CS 61C strongly recommended.

Credit Restrictions: Students will receive no credit for EL ENG 244 after completing EL ENG W244.

Grading Basis: Default Letter Grade; P/NP Option

Final Exam Status: Yes

Class Schedule (Spring 2026):
EECS 144/244 – TuTh 15:30-16:59, Cory 540AB – Pierluigi Nuzzo

Links: