Embedded System Design and Modeling

EE382N.23, Unique: 16893
Semester: Fall 2015

Course Outline (Tentative)

Week	Topic	Notes	Reading	Assignments
1 Aug 26	Introduction	Lecture 1	Orange book, Ch. 1, 2   [1]	-
2 Aug 31, Sep 2	The SpecC System-Level Design Language	Lecture 2	Orange Book, Sec. 3.2   [2] Yellow Book, Ch. 1   [B]	Homework #1
3 Sep 9	Language Semantics: discrete event, synchronous reactive	Lecture 3	Marwedel, Sec. 2.7   [B,3,4] LeeSeshia, Sec. 6.2, 6.4   [5]
4 Sep 14, 16	System Specification, Models of Computation (MoCs)	Lecture 4	Orange Book, Sec. 3.1   [G] Marwedel, Sec. 2.1, 2.2   [6]	Lab #1
5 Sep 21, 23	Process-based MoCs: process networks, dataflow	Lecture 5	Marwedel, Sec. 2.5   [7,8,9] LeeSeshia, Ch. 6.3   [10,11,12]
6 Sep 28, 30	State-based MoCs: hierarchical & concurrent FSMs	Lecture 6	LeeSeshia, Ch. 3, 5   [13] Marwedel, Sec. 2.4   [14]	Homework #2
7 Oct 5, 7	The SystemC Language (David Black, Doulos) Transaction-Level Modeling and ESL Languages (Mark McDermott)	SystemC Intro     ESL Languages	Black Book
8 Oct 12, 14	System Refinement, Performance Modeling & Estimation	Lecture 7	Orange Book, Sec. 3.3   [15,16] Yellow Book, Ch. 2   [17]	Lab #2
9 Oct 19, 21	Computation Refinement, Host-Compiled OS & Processor Modeling	Lecture 8	Orange Book, Sec. 3.4   [18,19,20]
10 Oct 26, 28	Communication Refinement, Transaction-Level Modeling     Software Model Checking & Optimization (Milos Gligoric)	Lecture 9	Orange Book, Sec. 3.5, 3.6   [21,22]
11 Nov 2, 4	System-Level Synthesis, System-Level Design Tools	Lecture 10	Orange Book, Ch. 4   [23] Yellow Book, Ch. 5   [24,F]	Lab #3
12 Nov 9, 11	Computation with Anonymous Finite-State Agents (David Soloveichik) Communication System Design (Jacob Kornerup, National Instruments)	Anonymous FSAs     Sys. Design
13 Nov 16, 18	Mapping, Partitioning, Scheduling, Design Space Exploration	Lecture 11	Marwedel, Ch. 5, Ch. 6   [25,26,27]
14 Nov 23, 25	Project Presentations			Project Report
15 Nov 30, Dec 2	Review, Midterm

Supplemental Information

• Lecture 3: Language Semantics
  • Prof. Brian Evan's lecture notes on timed models of computation:
    • Block diagrams
    • Synchronous/reactive.
    • Discrete Event.
  • Prof. Edward Lee's lecture notes on concurrent models of computation:
    • Synchronous/Reactive Models.
    • Discrete-Event Systems.
  • Prof. Stephen Edwards' lecture notes on languages for embedded system design:
    • The Synchronous Language Esterel.
• Lectures 4: Specification & Models of Computation
  • Prof. Lothar Thiele's lecture notes and references on hardware/software codesign:
    • Lecture 2
• Lectures 5: Process-based 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:
    • Process Networks.
    • Dataflow Process Networks.
    • Scheduling Dataflow.
    • Consistency.
  • Prof. Stephen Edwards' lecture notes on languages for embedded system design:
    • Dataflow Languages.
• Lectures 6: State-based Models of Computation
  • Statecharts/Statemate course:
    • Semantics of Statecharts.
  • Prof. Edward Lee's lecture notes on concurrent models of computation:
    • Concurrent State Machines.
• Lecture 7: Performance Modeling
  • Prof. Lothar Thiele's lecture notes and references on hardware/software codesign:
    • Lectures 8 and 10
• Lecture 11: Mapping and Exploration
  • Prof. Lothar Thiele's lecture notes and references on hardware/software codesign:
    • Lectures 3 through 5