Embedded Systems Methodology Group

Dr. Daniel D. Gajski


     Our research group is particularly interested in requirements and specifications of embedded systems and the design process that leads from an executable specification to the final manufacturable blueprint. In order to study the design process, our group is developing new specification languages, modeling guidelines and simulation and synthesis tools. In order to obtain efficient specifications and design models we are taxonomizing models of computations, computer architectures and design styles. In order to develop efficient CAD tools we are studying synthesis algorithms for systems, architectures, processors, controllers, datapaths, and other intellectual properties (IPs). Our further goal is to build proof-of-concept tools and prove our methodology and tools on extensive industrial strength examples.


Our main focus is currently on developing new algorithms, tools, and design flows in the context of a comprehensive SoC system-level design methodology. The results of these research efforts will flow into building the different tool sets that are part of the envisioned SoC design flow:

SoC Design Flow

The SoC design flow shown above consist of four so-called engines:

Each engine is a set of related tools that assist the designer in a specific task of the design process. The four engines build on each other to form a design flow that enables rapid design space exploration through design automation.

We have implemented a prototype design environment based on the exploration engine introduced above. For more information and for a description of how to obtain a demo version of the tool set, please go to the pages of the SoC Environment (SCE).

For more detailed information about the research background and history, please visit the pages of the SpecC project or browse the publications section.

Group Members

Director Researchers
Group Alumni

  • Smita Bakshi (Assistant Professor, UCD)
  • Avinom Bilgory (Rafael, Israel)
  • Forrest Brewer (Associate Professor, UCSB)
  • Viraphol Chaiyakul (YXI, Irvine, CA)
  • Nikil Dutt (Professor, UCI)
  • Jie Gong (Qualcomm, San Diego, CA)
  • Tedd Hadley (YXI, Irvine, CA)
  • Erica Juan (YXI, Irvine, CA)
  • James Kipps (Synopsys, Boston, MA)
  • Y.-L. Steve Lin (Professor, Tsing-Hua University, Taiwan)
  • Joseph Lis (Cadence, Boston, MA)
  • Chid Lursinsap (Professor, Thailand)
  • Sanjiv Narayan (Ambit, Sunnyvale, CA)
  • Barry Pangrle (Synopsys, Santa Clara, CA)
  • Jih-Kwon Peir (Associate Professor, University of Florida)
  • Vijay Raj (Professor, University of Texas)
  • Loganath Ramachandran (Synopsys, Santa Clara, CA)
  • Frank Vahid (Associate Professor, UCR)
  • Allen Wu (Professor, Tsing-Hua University, Taiwan)
  • Nels Vander Zanden (Cadence, Santa Clara, CA)
  • Jianwen Zhu (Assistant Professor, University of Toronto)

12/01/02 A. Gerstlauer (gerstl@cecs.uci.edu).