Design, Modeling and Analysis (DMA)


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. See more at the DMA area webpage


  • 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.

Research Centers




Faculty Awards

  • Silicon Valley Engineering Hall of Fame: Paul R. Gray, 2015.
  • MacArthur Fellow: Claire Tomlin, 2006.
  • National Academy of Engineering (NAE) Member: Robert K. Brayton, 1993. Paul R. Gray, 1990. Robert W. Brodersen, 1988.
  • Berkeley Citation: Edward A. Lee, 2018. Robert W. Brodersen, 2015. Paul R. Gray, 2006.
  • UC Berkeley Distinguished Teaching Award: Kameshwar Poolla, 1996.
  • Sloan Research Fellow: Michael Lustig, 2013. Sanjit A. Seshia, 2008.

Related Courses