Embedded System Design and Modeling

EE382V, Unique: 17303
Semester: Spring 2014

Course Outline (Tentative)

Week	Topic	Notes	Reading	Assignments
1 Jan 14, 16	Introduction, Design Methodologies	Lecture 1	Orange book, Ch. 1, 2   [1]	-
2 Jan 21, 23	The SpecC and SystemC System-Level Design Languages	Lecture 2	Yellow Book, Ch. 1   [2] Black Book	Homework #1
3 Jan 28, 30	Language Semantics, Discrete Event	Lecture 3	Orange Book, Ch. 3.2   [B,3]
4 Feb 4, 6	System Specification, Models of Computation (MoCs)	Lecture 4	Orange Book, Ch. 3.1   [G] LeeSeshia, Ch. 3   [4]	Lab #1
5 Feb 11, 13	Process-based MoCs: process networks, dataflow	Lecture 5	Orange Book, Ch. 3.1.1   [5,6] LeeSeshia, Ch. 6   [7]
6 Feb 18, 20	Guest lecture (Dr. Kornerup, NI): Graphical System Design State-based MoCs: hierarchical & concurrent FSMs	Lecture 5	Orange Book, Ch. 3.1.2   [8,9] LeeSeshia, Ch. 5	Homework #2
7 Feb 25, 27	System-Level Synthesis and Refinement	Lecture 6	Orange Book, Ch. 4   [10] Yellow Book, Ch. 2, 5   [11,F]
8 Mar 4, 6	Estimation and Evaluation	Lecture 7	LeeSeshia, Ch. 15   [12,13]	Lab #2
- Mar 11, 13	Spring Break	-		-
9 Mar 18, 20	Review, Midterm
10 Mar 25, 27	Mapping and Exploration	Lecture 8	LeeSeshia, Ch. 11   [14,15,16]
11 Apr 1, 3	System Modeling, Virtual Platform Prototyping	Lecture 9	Orange Book, Ch. 3.3   [17,18]	Homework #3
12 Apr 8, 10	Computation Refinement, Host-Compiled Modeling	Lecture 10	Orange Book, Ch. 3.4   [19,20]
13 Apr 15, 17	Communication Refinement, Transaction-Level Modeling	Lecture 11	Orange Book, Ch. 3.5, 3.6   [21,22]
14 Apr 22, 24	Electronic System-Level Design Tools	Lecture 12	Orange Book, Ch. 8   [23]
15 Apr 29, May 1	Project Presentations			Project Report

^* Material beyond what is covered in the textbooks.
 

Supplemental Information

• Lectures 3: Language Semantics
  • Prof. Brian Evan's lecture notes on language models:
    • Block diagrams
    • Synchronous/reactive.
    • Discrete Event.
• Lectures 5: Models of Computation
  • Prof. Brian Evan's lecture notes on process-based models:
    • Process Networks.
    • Synchronous Dataflow.
      • SDF Scheduling.
      • SDF Looped Scheduling.
    • Boolean Dataflow and Cyclo-Static Dataflow.
    • Timed Synchronous Dataflow.
  • Prof. Edward Lee's lecture notes on concurrent models of computation:
    • Lecture notes.
    • Lectures by topic.
  • Statecharts/Statemate course:
    • Semantics of Statecharts.
  • Prof. Peter Marwedel's text book slides on Embedded Systems:
    • Chapter 2, lectures 3 through 8 (slides 2.01 through 2.07)
  • Prof. Lothar Thiele's lecture notes and references on hardware/software codesign:
    • Lecture 2
• Lecture 7: Evaluation and Estimation
  • Prof. Peter Marwedel's text book slides on Embedded Systems:
    • Chapter 5, lectures 15 through 17 (slides 5.1 through 5.3)
  • Prof. Lothar Thiele's lecture notes and references on hardware/software codesign:
    • Lectures 6 through 8
• Lecture 8: Mapping and Exploration
  • Prof. Peter Marwedel's text book slides on Embedded Systems:
    • Chapter 6, lectures 18 through 21 (slides 6.1 through 6.5)
  • Prof. Lothar Thiele's lecture notes and references on hardware/software codesign:
    • Lectures 3 through 5