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.