1a | 9/01 |
Holiday, no class |
|
|
1D | 9/01 |
Holiday, no class
|
|
|
1b | 9/03 |
Introduction, Logistics [ST+JR] |
Special issue of IEEE Solid-State Circuits Magazine |
|
2a | 9/08 |
Continuous-time (analog) system design flows [JR] |
|
|
2D | 9/08 |
Discrete systems and circuits: State machines, circuits [ST] |
|
|
2b | 9/10 |
FSM to circuits, FSM minimization |
Lee, Yannakakis, Principles and Methods of Testing FSMs: A Survey |
|
3a | 9/15 |
Temporal logic, intro to model checking [ST]: LTL |
Chapter 12 of Lee-Seshia |
|
3D | 9/15 |
Mathematical structures and logic [CS] |
A logic primer [ST] |
|
3b | 9/17 |
Temporal logic: CTL |
|
|
4a | 9/22 |
State space exploration, reachability analysis [ST] |
Chapter 14 of Lee-Seshia |
|
4D | 9/22 |
Class projects |
|
|
4b | 9/24 |
Symbolic reachability, bounded model-checking |
BDDs ACM Computing Surveys 1992 paper by Bryant,
SAT Comm. ACM 2009 paper by Malik, Zhang |
|
5a | 9/29 |
Synchronous composition and feedback [ST] |
Chapter "Synchronous Reactive Models" of Ptolemy book,
Malik, "Analysis of cyclic combinational circuits",
Edwards, Lee, "The semantics and execution of a synchronous block-diagram language",
Shiple et al, "Constructive analysis of cyclic circuits."
Chapter 1: Partially Ordered Sets of book "Concurrent Models of Computation: An Actor-Oriented Approach", by E. A. Lee
|
|
5D | 9/29 |
Order theory |
|
|
5b | 10/01 |
Synchronous composition and feedback (contd.) [ST] |
Notes on compositionality |
|
6a | 10/06 |
Controller and program synthesis [ST] |
On the synthesis of a reactive module paper by Pnueli-Rosner;
An introduction to reactive synthesis, part of Ehlers' PhD thesis;
Bridging the Gap between Supervisory Control and Reactive Synthesis paper
|
|
6D | 10/06 |
Python tutorial [CS] |
|
|
6b | 10/08 |
Program synthesis [ST] |
Dimensions in program synthesis paper by Gulwani;
Program sketching paper by Solar-Lezama
|
|
7a | 10/13 |
Dataflow: SDF scheduling and Kahn process networks [ST] |
SDF paper;
Kahn's paper
|
|
7D | 10/13 |
NuSMV and Z3 |
|
|
7b | 10/15 |
Dataflow: throughput analysis [ST] |
Ghamarian et al 2006
|
|
8a | 10/20 |
Midterm 1 review |
|
|
8D | 10/20 |
Midterm 1 review |
|
|
8b | 10/22 |
Midterm 1 (in class) |
|
9a | 10/27 |
Timing analysis [CS] |
Timing analysis chapter by S. Sapatnekar,
Chapter 15 of Lee-Seshia,
Floating-Mode Delay paper, Devadas et al. |
|
9D | 10/27 |
Retiming [CS] |
Retiming paper by Shenoy |
|
9b | 10/29 |
Discrete event simulation [ST] |
|
|
10a | 11/03 |
Continuous-time topics - click for detail [JR] |
|
|
10D | 11/03 |
Project mini-updates |
|
|
10b | 11/05 |
Continuous-time topics - click for detail [JR] |
|
|
11a | 11/10 |
Continuous-time topics - click for detail [JR] |
|
|
11D | 11/10 |
Continuous-time topics - click for detail [JR] |
|
|
11b | 11/12 |
Continuous-time topics - click for detail [JR] |
|
|
12a | 11/17 |
Continuous-time topics - click for detail [JR] |
|
|
12D | 11/17 |
Continuous-time topics - click for detail [JR] |
|
|
12b | 11/19 |
Continuous-time topics - click for detail [JR] |
|
|
13a | 11/24 |
Continuous-time topics - click for detail [JR] |
|
|
13D | 11/24 |
Continuous-time topics - click for detail [JR] |
|
|
13b | 11/26 |
Continuous-time topics - click for detail [JR] |
|
|
14a | 12/01 |
Midterm 2 review and exam |
|
|
14D | 12/01 |
Midterm 2 review and exam |
|
|
14b | 12/03 |
Wrap-up; Midterm2 solutions |
|
|
15a | 12/08 |
NO CLASS: RRR week. |
|
|
15D | 12/08 |
NO CLASS: RRR week. |
|
|
15b | 12/10 |
NO CLASS: RRR week. |
|
|
| 12/15 |
Project presentations - tentative |
|
|