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 2014

(Click on lecture title for slides in PDF)
No. Date Topic Reading Milestones
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    

 
You are not logged in 
Contact 
©2002-2017 U.C. Regents