Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

   

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

Faculty

Related Courses