at University of California, Irvine

EECS 225 - Embedded Systems Design

EECS 225 - Embedded Systems Design - Spring Quarter 2015

LECTURER: Dr. Steffen Peter
CLASS HOURS: 5:00-6:20pm MON & WED
OFFICE: DBH 3074
OFFICE HOURS: Mon,Wed, after class

 

Description

The Embedded System Design 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.

For more information please check the EEE course page

Tentative Schedule

Week Resources Homework
1 Mar M 31 Introduction, Syllabus
1 Apr W 2 Introduction OB - Chapter 1
2 M 7 Design Methodologies OB - Chapter 2
2 W 9
3 M 14 Models
3 W 16 Models
4 M 21 Models
4 W 23
5 M 28 System Synthesis
5 W 30 System Synthesis

  • Automatic Mapping
  • Satisfiability, ILP
6 May M 5 System Synthesis
6 W 7 SYSTEM C?
7 M 12 Software Synthesis
7 W 14 Software Synthesis
8 M 19 Hardware Synthesis
8 W 21 Hardware Synthesis
9 M 26 HOLIDAY
9 W 28 Verification
10 Jun M 2 Verification
10 W 4 Design Practice OB - Chapter 8
Final Jun W 11

Resources

Textbooks

  • Embedded System Design Modeling, Synthesis and Verification (2009)
    Authors: Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner
    Download from Springer (free from UCI campus)