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  

 

Contact 
©2002-2018 U.C. Regents