Design, Modeling & Analysis (DMA)

Design, Modeling and Analysis Research Area, EECS Department, University of California, Berkeley


The DMA research area at UC Berkeley focusses on the development of mathematical and algorithmic techniques for modeling, analysis and design, and their application to complex systems in diverse domains (including automotive, avionic, electronic, energy, biological, cyber-physical, embedded and software systems).

Previously known as CAD and DES, our area has a record of contributions to design automation over a span of five decades. Notable DMA contributions include the circuit simulation program SPICE, the Berkeley logic synthesis and verification tools (Espresso, SIS, VIS, ABC, etc.) and Ptolemy, a framework for research in models of computation.

We are located in the DOP Center, 545 Cory Hall.

Current Research Thrusts

  • Embedded and Cyberphysical Systems: Models of computation, specification languages, real-time systems, hardware and software synthesis and compilation for electronic systems.

  • Modeling: Modeling and model-order reduction of biological, electronic and software systems, together with analysis techniques that identify design flaws, performance problems, and vulnerabilities.

  • Simulation: Algorithms, models and tools for continuous, discrete and stochastic simulation.

  • Synthesis and Verification: Algorithms and techniques for automated synthesis, formal verification, model checking and optimization of complex electronic, biological and software systems.

For further information, see the webpages of individual DMA faculty.


Research Centers and Collaborations