Embedded System Design and Modeling

EE382N.23, Unique: 16725
Semester: Fall 2019

Course Outline (Tentative)

Week	Topic	Notes	Reading	Assignments
1 Aug 29	Introduction	Lecture 1	Orange book, Ch. 1	-
2 Sep 3, 5	Dataflow Processing (Mark McDermott)     System-level design methodologies	Dataflow Proc.     Lecture 2	Orange Book, Ch. 2   [1]	Lab #1
3 Sep 10, 12	System Specification, Models of Computation (MoCs)	Lecture 3	Orange Book, Sec. 3.1   [2] Marwedel, Sec. 2.1, 2.2	Homework #1
4 Sep 17, 19	Process-based MoCs: process networks, dataflow	Lecture 4	Marwedel, Sec. 2.5   [3,4] LeeSeshia, Ch. 6.3   [5,6,7]
5 Sep 24, 26	State-based MoCs: hierarchical & concurrent state machines	Lecture 5	Marwedel, Sec. 2.4   [8,9] LeeSeshia, Ch. 3, 5   [10]
6 Oct 1, 3	System-level design languages: discrete event, synchronous reactive	Lecture 6	Marwedel, Sec. 2.7   [11] LeeSeshia, Sec. 6.2, 6.4
7 Oct 8, 10	System refinement & implementation modeling	Lecture 7	Orange Book, Sec. 3.3   [12,13]	Homework #2
8 Oct 15, 17	Analysis of Hardware/Software Design (Milos Gligoric)   Communication Systems Design (Jacob Kornerup, National Instruments)	Comm. Sys. Des.		Lab #2
9 Oct 22, 24	Host-compiled computation and transaction-level communication models	Lecture 8	Orange Book, Sec. 3.4   [14,15,16] Orange Book, Sec. 3.5, 3.6   [17,18]
10 Oct 29, 31	System synthesis & decision making	Lecture 9	Orange Book, Ch. 4   [19,20]	Homework #3
11 Nov 5, 7	Mapping & design space exploration	Lecture 10	Marwedel, Ch. 6   [21,22]
12 Nov 12, 14	Review, Midterm	Previous Exams
13 Nov 19, 21	Estimation and Evaluation	Lecture 11	Marwedel, Ch. 5   [23]
14 Nov 26	System-Level Design Tools, Thanksgiving Holiday	Lecture 12	Orange Book, Ch. 8   [24,25]
15 Dec 3, 5	Project Presentations			Project Report

Supplemental Lecture Notes

• Lectures 3: System Specification
  • Prof. Lothar Thiele's (ETH Zürich) lecture notes and references on hardware/software codesign:
    • Lecture 2 - Specification and Models of Computation
• Lectures 4: Process-based Models of Computation
  • Prof. Brian Evan's (UT Austin) 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' (Columbia Univ.) lecture notes on languages for embedded system design:
    • Dataflow Languages.
• Lectures 5: State-based Models of Computation
  • Statecharts/Statemate course by Prof. Hanxleden (Kiel Univ., Germany)
    • Semantics of Statecharts.
  • Prof. Edward Lee's (UC Berkeley) lecture notes on concurrent models of computation:
    • Concurrent State Machines.
  • Prof. Stephen Edwards' (Columbia Univ.) lecture notes on languages for embedded system design:
    • The Synchronous Language Esterel.
• Lecture 6: Languages
  • Prof. Brian Evan's (UT Austin) lecture notes on timed models of computation:
    • Block diagrams
    • Synchronous/reactive.
    • Discrete Event.
  • Prof. Edward Lee's (UC Berkeley) lecture notes on concurrent models of computation:
    • Synchronous/Reactive Models.
    • Discrete-Event Systems.
• Lecture 9: Synthesis and Decision Making
  • Prof. Lothar Thiele's (ETH Zürich) lecture notes and references on hardware/software codesign:
    • Lecture 3 - Mapping Applications to Architectures
• Lecture 10: Mapping & Exploration
  • Prof. Lothar Thiele's (ETH Zürich) lecture notes and references on hardware/software codesign:
    • Lecture 4 - System Partitioning
    • Lecture 5 - Multi-Criteria Optimization
• Lecture 11: Estimation
  • Prof. Lothar Thiele's (ETH Zürich) lecture notes and references on hardware/software codesign:
    • Lecture 8 - Performance Estimation
    • Lecture 9 - Worst-Case Execution Time Analysis
    • Lecture 10 - Performance Analysis of Distributed Systems