EMBEDDED SYS MODLNG
EECS 222, Course Code: 17380
Quarter: Winter Quarter 2020

Course Description

EECS 222: Embedded System Modeling (4)
Computation models for embedded systems. System-level specification and description languages. Concepts, requirements, examples. Embedded system models at different levels of abstraction. Modeling of test benches, design under test, IP components. Discrete event simulation, semantics, and algorithms.

Course Objectives and Outcomes

• Course Objective:

  For students to learn concepts in modeling of embedded systems at different abstraction levels using system-level description languages (SLDL).

• Course Outcomes:

  • Students are able to model embedded systems at different levels of abstraction.
  • Students are able to describe embedded system models in a SLDL.
  • Students are able to simulate, test and debug embedded system models.

Course Resources

• Text books:
  

  A. Gerstlauer, R. Doemer, J. Peng, D. Gajski: "System Design: A Practical Guide with SpecC", Kluwer Academic Publishers, Boston, June 2001. ISBN 0-7923-7387-1 ("Yellow book")
  D. Black, J. Donovan, B. Bunton, A. Keist: "SystemC: From the Ground Up, Second Edition", Springer, 2010. ISBN 978-0-387-69958-5 ("Blue-red book")
  D. Gajski, J. Zhu, R. Doemer, A. Gerstlauer, S. Zhao: "SpecC: Specification Language and Methodology", Kluwer Academic Publishers, Boston, March 2000. ISBN 0-7923-7822-9 ("Green book")
  D. Gajski, S. Abdi, A. Gerstlauer, G. Schirner: "Embedded System Design: Modeling, Synthesis, Verification", Springer, July 2009. ISBN 978-1-4419-0503-1 ("Orange book")
  Th. Groetker, St. Liao, G. Martin, St. Swan: "System Design with SystemC", Kluwer Academic Publishers, Boston, May 2002. ISBN 1-4020-7072-1 ("Black book")

• Course web site at
  http://newport.eecs.uci.edu/~doemer/w20_eecs222/

Course Contents

	Topic	Reading
1	Embedded system concepts, abstraction levels, computational models	Yellow book, Chapter 1 through 1.4 Green book, Chapters 1 and 2 Orange book, Chapter 1
2	The SpecC system-level description language	Yellow book, Chapter 1.5 and 1.6 Green book, Chapter 3
3	The SystemC system-level description language	Blue-red book, Chapter 1 through 14 Black book, Chapter 2 SystemC Standard LRM IEEE 1666-2011
4	Embedded system specification, modeling guidelines	Yellow book, Chapter 2 through 2.2 Green book, Chapter 4 through 4.2.1
5	Validation, execution and simulation semantics	Yellow book, Appendix A SpecC Language Reference Manual V2.0 Black book, Chapter 2.10
6	Top-down system design methodology	Yellow book, Chapter 2 Green book, Chapter 4 Orange book, Chapter 2
7	System-level architecture modeling	Yellow book, Chapters 2.3 and 2.4 Green book, Chapter 4.2.2 Orange book, Chapter 3 through 3.4
8	Embedded system communication modeling	Yellow book, Chapters 2.5 and 2.6 Green book, Chapter 4.2.3 Orange book, Chapter 3.5 and 3.6
9	Cycle-accurate modeling, implementation	Yellow book, Chapters 2.7 and 2.8 Green book, Chapter 4.2.4 Orange book, Chapter 6
10	UML and other system-level description languages	UML 2.0 Superstructure



• Note that contents are tentative and may change!
• Please see the Schedule page for up-to-date scheduling information.

Course Policies

• Attendance Policy:

  Attendance and active participation is required. It is the student's responsibility to make up for any missed instruction or assignments. Substitute assignments or exams will only be arranged for absence due to documented medical (or similar) reasons. Proper documentation is required.

• Computing server:

  Linux is the standard computing platform used for this course. A central computer infrastructure is provided and students may remote login to the server at any time (24/7). All processes run on the EECS Linux servers, such as crystalcove.eecs.uci.edu and others. SSH protocol and a suitable SSH client is needed to login to the server.

• Assignments/Project:

  Assignments are listed on the Assignments web page and may be assigned on a weekly or bi-weekly basis. Submission instructions and due dates will be listed with each assignment.

• Exams:

  The course includes one final examination. Final examinations are administered during examination week as announced in the UCI Schedule of Classes.

• Grading Policy:

  The final grade for the course will be determined based on the scores achieved in the assignments and the final examination, as follows:
  • 50% Assignments/Project
  • 50% Final examination

• Academic Honesty:

  Academic honesty is a requirement for passing this class. Any student who compromises the academic integrity of this course is subject to a failing grade. Academic dishonesty includes, but is not limited to copying answers from another student, allowing another student to copy your answers, communicating exam answers to other students during an exam, attempting to use notes or other aids during an exam, or tampering with an exam after it has been corrected and then returning it for more credit. If you do so, you will be in violation of the UCI Policies on Academic Honesty (see Academic Integrity). It is your responsibility to read and understand these policies. Note that any instance of academic dishonesty will be reported to the Academic Integrity Administrative Office for disciplinary action and is cause for a failing grade in the course.