Welcome to the EECS 222 Course Web Site

EECS 222: Embedded System Design and Exploration

EECS 222 1999 class pictureThe Embedded System Design and Exploration course introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. Furthermore, this course describes simulation-based and formal verification methods that are essential for achieving design confidence. Finally, we conclude with an overview of existing tools along with a design case study outlining the practice of embedded system design.

Additional Course Information

Course Title Embedded System Design and Exploration
Instructor Daniel D. Gajski
Office Location 2010 AIR Building
Office Hours After class or by appointment
Lecture TBA
TAs TBA
TA Office Hours TBA
Readers TBA
Discussion Section TBA
Final Exam TBA
Midterms TBA
Primary Textbook Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, and Gunar Schirner, Embedded System Design Modeling, Synthesis, and Verification, Springer, 2009.
Useful References Peter Marwedel, Embedded Systems Design, Kluwer, 2003.
Prerequisites See Course Catalog

Course Materials:

  • Chapter 1: Introduction
  • Chapter 2: System Design Methodologies
  • Chapter 3: Modeling
  • Chapter 4: System Synthesis
  • Chapter 5: Software Synthesis
  • Chapter 6: Hardware Synthesis
  • Chapter 7: Verification
  • Chapter 8: Embedded Design Practice
    • --------------------------------*/ ?>