Design of Electronic Systems (DES)

Overview

Berkeley has, without doubt, the strongest program in design technology for electronic systems. We led the creation of this field with the earliest and best work on computer-aided design (CAD) for integrated circuits (also called electronic design automation, EDA). We continue to lead with the strongest research programs in embedded software and embedded systems, formal verification of hardware and software, and modeling and design of complex systems.

Faculty, students, and alumni from Berkeley in this area dominate the academic and industrial scene, commanding an impressive array of awards and honors, populating the world's top academic institutions, and founding and leading the top companies in the area. The research team has a culture of creating high-impact open-source software systems that define the state of the art.

Topics

• Electronic Design Automation

  Algorithms and techniques to support computer-aided design and optimization of complex hardware and software systems.

• Embedded Software Systems

  Models of computation, specification languages, real-time systems, hardware and software synthesis and compilation for electronic systems.

• Modeling and Verification

  Models of hardware and software systems together with analysis techniques that identify design flaws, performance problems, and vulnerabilities.

Research Centers

• Berkeley Wireless Research Center (BWRC)
• Center for Hybrid and Embedded Software Systems (CHESS)
• Donald O. Pederson Center for Electronics Systems Design (DOP)
• Gigascale Systems Research Center (GSRC)
• Wireless Embedded Systems (WEBS)

Faculty

• Elad Alon
• Krste Asanović
• Bernhard Boser
• Robert K. Brayton
• Robert W. Brodersen
• Stephen E. Derenzo
• Paul R. Gray
• Thomas A. Henzinger
• Kurt Keutzer
• Andreas Kuehlmann
• Ernest S. Kuh
• Edward A. Lee
• George Necula
• Clark Nguyen
• Ali Niknejad
• Borivoje Nikolic
• Albert Pisano
• Kameshwar Poolla
• Jan M. Rabaey
• Alberto L. Sangiovanni-Vincentelli
• Sanjit A. Seshia
• Claire Tomlin
• John Wawrzynek

Related Courses

• EE 124. Introduction to Embedded Systems
• EE 145M. Introductory Microcomputer Interfacing Laboratory
• EE 219A/290A. Numerical Simulation
• EE 219B. Logic Synthesis for Hardware Systems
• EE 219C. Computer-Aided Verification
• EE 244. Computer-Aided Design of Integrated Circuits
• EE 249. Design of Embedded Systems: Models, Validation and Synthesis
• EE 290A. Advanced Methods in Logic Synthesis and Equivalence Checking
• EE 290N. Advanced Topics in System Theory