Embedded System Design and Modeling

EE382V, Unique: 17220
Semester: Fall 2009

Course Outline

Week	Topic	Notes	Reading	Assignments
1 Aug 27	Introduction and Overview	Lecture 1	Orange book, Ch. 1   [1, 2]	-
2 Sep 1,3	Design Methodologies, Models and Languages	Lecture 2	Orange book, Ch. 2, 3.2-3.3   [3, 4]	Lab #1
3 Sep 8,10	The SpecC System-Level Design Language	Lecture 3	Yellow book, Ch. 1   [5, 6]	Homework #1
4 Sep 15,17	Guest Lecture (Prof. Evans): DSP/Comm. Systems Models of Computation: Process-Based, Dataflow	Lecture 4	Orange book, Ch. 3.1   [8, 9, 10, 11]	Lab #2
5 Sep 22,24	Models of Computation: State-Based, Discrete Event	Lecture 5	Orange book, Ch. 3.1 Black book, Ch. 2.10   [12, 13]   [B, 14]	Homework #2
6 Sep 29, Oct 1	System Specification, Refinement and Design Flow	Lecture 6	Yellow book, Ch. 2, 3, 5   [F, 15, 16]	Lab #3
7 Oct 6,8	System Synthesis and Design Space Exploration	Lecture 7	Orange book, Ch. 4   [17, 18, 19, 20]	-
8 Oct 13,15	Review, Midterm			-
9 Oct 20,22	System-Level Design Tools, Design Examples    Project proposal presentations	Lecture 8	Orange book, Ch. 8   [17, 21, 22, 23]	Lab #4
10 Oct 27,29	Guest Lecture (Mark McDermott): HM-SoC Architectures The SystemC System-Level Design Language	Lecture 9	Black book   [24, 25]	Homework #3
11 Nov 3,5	Computation Refinement, Processor and OS Modeling	Lecture 10	Orange book, Ch. 3.4   [26, 27]	-
12 Nov 10,12	Communication Refinement, Transaction-Level Modeling	Lecture 11	Orange book, Ch. 3.5   [28]	-
13 Nov 17,19	System Modeling	Lecture 12	Orange book, Ch. 3.6	-
14 Nov 24,26	Review and Wrapup, Thanksgiving Holiday			-
15 Dec 1,3	Project presentations			Project Report

Supplemental Information

• Lecture 4: 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 7: Synthesis and Design Space Exploration
  • Prof. Lothar Thiele's lecture notes and references on hardware/software codesign:
    • Lectures 3 through 10