Embedded System Design and Modeling

EE382V, Unique: 16985
Semester: Fall 2010

Course Outline

Week	Topic	Notes	Reading	Assignments
1 Aug 26	Introduction and Overview	Lecture 1	Orange book, Ch. 1   [1]	-
2 Aug 31, Sep 2	Design Methodologies, Models and Languages	Lecture 2	Orange book, Ch. 2, 3.2   [2, 3 4]	Homework #1
3 Sep 7, 9	The SpecC Language and Methodology	Lecture 3	Yellow Book, Ch. 1, 2   [5, 6, 7]	Lab #1
4 Sep 14, 16	Language Semantics and System Specification     Guest Lecture (J. Borgeson, TI): System Design Issues	Lecture 4	Black Book, Ch. 2.10   [B, 8] Orange Book, Ch. 3.1   [9, 10]	-
5 Sep 21, 23	Models of Computation: Process-Based	Lecture 5	Orange Book, Ch. 3.1.1   [11, 12, 13]	-
6 Sep 28, 30	Models of Computation: State-Based	Lecture 5	Orange Book, Ch. 3.1.2   [14, 15]	Homework #2
7 Oct 5, 7	Guest Lecture (Prof. Evans): DSP/Comm. Systems     System Refinement and Design Flow	Lecture 6	Orange Book, Ch. 3.3   [16, 17, 18]	Lab #2
8 Oct 12, 14	Computation Refinement and Modeling	Lecture 7	Orange Book, Ch. 3.4   [19, 20, 21]	-
9 Oct 19, 21	Communication Refinement and Transaction-Level Modeling	Lecture 8	Orange Book, Ch. 3.5   [22, 23, 24]	-
10 Oct 26,28	Midterm     Guest Lecture (Xtreme EDA): SystemC Tutorial			-
11 Nov 2, 4	The SystemC System-Level Design Language	Lecture 9	Black Book   [25, 26]	Homework #3
12 Nov 9, 11	System-Level Design Automation	Lecture 10	Orange Book, Ch. 4, 7   [27, 28, 29]	-
13 Nov 16, 18	System-Level Design Tools	Lecture 11	Orange Book, Ch. 8   [30, 31]	-
14 Nov 23, 25	Review and Wrapup, Thanksgiving Holiday			-
15 Nov 30, Dec 2	Project presentations			Project Report

^* Material beyond what is covered in the textbooks.
 

Supplemental Information

• Lectures 4 and 5: Models of Computation
  • Prof. Brian Evan's lecture notes on process-based models:
    • Block diagrams and Synchronous/reactive.
    • Discrete Event.
    • Process Networks.
    • Synchronous Dataflow.
      • SDF Scheduling.
      • SDF Looped Scheduling.
    • Boolean Dataflow and Cyclo-Static Dataflow.
  • Statecharts/Statemate course:
    • Semantics of Statecharts.
  • Prof. Peter Marwedel's text book slides on Embedded Systems:
    • Models of Computation
    • StateCharts, synchronous languages
    • Dataflow
    • Imperative programming
    • Discrete event
  • Prof. Lothar Thiele's lecture notes and references on hardware/software codesign:
    • Lecture 2
• Lecture 10: Synthesis and Design Space Exploration
  • Prof. Lothar Thiele's lecture notes and references on hardware/software codesign:
    • Lectures 3 through 10