Professor Gajski’s Research

Research Interests

I am 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, my group is developing new specification languages and modeling guidelines, as well as simulation, synthesis, and verification tools. In order to obtain efficient specifications and design models we are taxonomizing models of computations, platform 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 for different application domains and tools on extensive industrial strength examples.

Visit Web Site

Cyber-Physical Systems (CPS) have an extraordinary potential to change industry, the economy, and our lifestyles, but they also present an enormous design-science challenge, as CPSs require integration of different types of knowledge from many different disciplines.  The overall objective of DesignSciCPS is to create a general CPS design-science that makes design of every CPS simpler, faster and more dependable, while at the same time reducing the cost and the required expertise level.  Design SciCPS aims to extend the well-understood methodology for embedded system design with new models and design-space exploration techniques, covering the cyber and the physical part of the systems.

Embedded Systems Methodology Group

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 different tool sets that are part of the envisioned SoC design flow.

D. Gajski, “System-Level Design Methodology,” ASP-DAC 2004 Pacifico Yokohama, Yokohama, Japan, January 27, 2004.

System-on-Chip Design Environment (SCE) 

Key researchers: Lukai Cai, Haobo Yu, Dongwan Shin, Andreas Gerstlauer, and Jerry Peng.

Web Site:

SCE is an Interactive environment for system-level design that starts from an executable specification and ends with a cycle-accurate model of the system that composes of a variety of processors, IPs, memories and buses executing the specification in a distributed fashion. SCE allows designers to make all decisions such as selecting and connecting components, partitioning computations and communications, scheduling, etc. While SCE performs automatic transaction level model generation, simulation, verification, and exploration.

S. Abdi, J. Peng, H. Yu, D. Shin, A. Gerstlauer, R. Doemer, and D. Gajski, “System-on-Chip Environment: SCE Version 2.2.0 Beta Tutorial,” TR 03-41, December 2003.
download pdf

Verification Through Model Algebra


Key researchers: Samar Abdi 

This project defines levels of abstractions in modeling systems and rules for transformation between them in the form of a model algebra. Such well-defined models and sequence of transformation between them allow verification of model equivalence which is not possible for too independently generated models of the same design.

S. Abdi and D. Gajski, “System Debugging and Verification: A New Challenge,” TR 03-31, October 1, 2003
download pdf
D. Gajski and S. Abdi, “System Debugging and Verification: A New Challenge,” Verify 2003, Tokyo, Japan, November 20, 2003.

NISC: No-Instruction-Set-Computer 

Key researchers: Mehrdad Reshadi

NISC Demo: 

NISC projects unites HW and SW views of computation by defining the model that unties traditional concepts of custom HW (RTL and NISC processors) with concepts of standard processors (RISC and CISC processors).

D. Gajski, “NISC: The Ultimate Reconfigurable Component,” TR 03-28, October 1, 2003.
download pdfM. Reshadi and D. Gajski, “NISC Modeling and Simulation,” TR 04-08, March 2004.
download pdfD. Gajski and M. Reshadi, “NISC Application and Advantages,” TR 04-12, May 2004.
download pdfM. Reshadi and D. Gajski, “NISC Modeling and Compilation,” TR 04-33, December, 2004.
download pdfD. Gajski, and J. Trajkovic, “Communication Design for No Instruction Set Computer,” TR 05-09, July 2005.
download pdfM. Reshadi, B. Gorjiara, and D. Gajski, “NISC Technology and Preliminary Results,” TR 05-11, August 2005.
download pdfM. Reshadi, D. Gajski, “A Cycle-Accurate Compilation Algorithm for Custom Pipelined Datapaths “, International Symposium on Hardware/Software Codesign and System Synthesis (CODES+ISSS), September 2005.
download pdf

B. Gorjiara, D. Gajski, “Design Space Exploration of C Programs Using NISC: A Case-Study on DCT algorithm”, IEEE workshop on Embedded Systems for Real-Time Multimedia, 2005.
download pdf

M. Reshadi, B. Gorjiara, D. Gajski, “Utilizing Horizontal and Vertical Parallelism with No-Instruction-Set Compiler for Custom Datapaths “, International Conference on Computer Design (ICCD), October 2005.
download pdf

B. Gorjiara, M. Reshadi, D. Gajski, “Designing a Custom Architecture for DCT Using NISC Design Flow”, ASP-DAC’06 Design Contest, 2006.
download pdf