EECS 144/244
Fall 2015
Contents
Home
Overview
Logistics
Lectures
Homeworks
Reading
Resources
Projects
Fall 2015 edition
Fall 2014 edition
Fall 2013 edition
Spring 2013 edition
Fall 2011 edition
bCourses
Course Development
Wiki
SVN
|
EECS 144/244 Lectures Fall 2015
Lectures will appear here as the course progresses this semester.
No lecture Aug 26. First lecture is Monday Aug 31.
(Click on lecture title for slides in PDF)
No. | Date |
Topic |
Reading | Milestones |
| 8/26 |
No class, course starts on Monday August 31 |
|
|
1a, 1D | 8/31 |
Introduction, Logistics [ST] |
Special issue of IEEE Solid-State Circuits Magazine |
|
| |
For Prof. Roychowdhury's lectures follow this link |
|
|
7b | 10/14 |
State machines, circuits [ST] |
|
|
8a,D,b | 10/19, 10/21 |
Temporal logic [ST] |
Primer on logic [ST] |
|
9a | 10/26 |
Model checking [ST] |
Bryant's paper on BDDs |
|
9b | 10/28 |
Midterm 1 (continuous topics) [JR] |
|
|
10a,D | 11/02 |
Model checking (continued) [ST] |
|
|
10b | 11/04 |
Controller synthesis [ST] |
|
|
12b | 11/18 |
Discrete event simulation [ST] |
|
|
12c | 11/20 (replacement lectures) |
DE simulation continued, program synthesis continued |
Other topics: Synchronous composition and feedback [ST],
Timed automata [ST],
Co-simulation [ST] |
|
13 | 11/23 |
Timing analysis, retiming [ST].
Other topics: Dataflow [ST]: SDF and Kahn process networks,
and Throughput analysis. |
Timing analysis chapter by S. Sapatnekar,
Chapter 15 of Lee-Seshia,
Floating-Mode Delay paper, Devadas et al.,
Retiming paper by Shenoy |
|
|