http://www.seas.upenn.edu/~ese535/spring2009/spring2009.html for updates.
| Date | Topic | Preclass Ex. | Slides | Reading | Due | Assign |
|---|---|---|---|---|---|---|
| 1/14 | Introduction, Motivation, Overview | info | ppt, pdf | none | ||
| 1/19 | MLK Holiday (no class) | |||||
| 1/21 | High-level Synthesis (C-to-dataflow graph) | preclass | ppt, pdf | Hauck+DeHon, Ch. 7 | Assign 1 | |
| 1/26 | Scheduled Operator Sharing | preclass | ppt, pdf | HL Synth D&T 1994 | ||
| 1/28 | Scheduling I (formulation, List Scheduling) | preclass | ppt, pdf | Scheduling Intro D&T 1995 | ||
| 2/2 | Architecture Synthesis | preclass | ppt,
pdf revised: ppt, pdf |
ILP Schedule ICCAD 1989 | Assign 1 | Assign 2 |
| 2/4 | Satisfiability (SAT) solvers | preclass | ppt,pdf | Chaff DAC2001 | ||
| 2/9 | Scheduling II (force-directed, SAT/ILP, Branch-and-Bound) | preclass | ppt, pdf | |||
| 2/11 | Dataflow Compute Models | ppt, pdf | SDF Proc. IEEE 1987 | |||
| 2/16 | Partitioning I (formulation and KLFM) | preclass | ppt,pdf | KLFM DAC 1982 | Assign 2A | |
| 2/18 | Partitioning II (spectral, maxflow, replication) | preclass | ppt,pdf | Hall Mngmt Sci 1970 | Assign 3 | |
| 2/23 | FPGA (no class) | |||||
| 2/25 | Two-level logic | preclass | ppt,pdf | Devadas p59--91 | Assign 2B | |
| 3/2 | FSM Encoding (Sequential logic) | preclass | ppt,pdf | Exact Encode trcad1991 | ||
| 3/4 | FSM Equivalence Checking | preclass | ppt,pdf | seq. verify TRCAD 1988 | Assign 3 | |
| 3/9 | Spring Break (no class) | |||||
| 3/11 | Spring Break (no class) | |||||
| 3/16 | Multi-level logic | preclass | ppt,pdf | Devadas p151--184 | Assign 4 | |
| 3/18 | Static Timing Analysis | preclass | ppt,pdf | Devadas p225--256 | ||
| 3/23 | Covering | preclass | ppt,pdf | Devadas p190--198 | ||
| 3/25 | RelXLayer (no class) | |||||
| 3/30 | Clustering | preclass | ppt,pdf | flowmap trcad1994 | ||
| 4/1 | Retiming | preclass | ppt,pdf | Retime Caltech VLSI 1983 | ||
| 4/6 | FCCM (no class) | |||||
| 4/8 | Placement I (formulation and constructive) | preclass | ppt,pdf | Part Place ISPD 1997 | Assign 4 | Assign 5 |
| 4/13 | Placement II (simulated annealing) | preclass | ppt,pdf | SA Science 1983 | ||
| 4/15 | Routing I (variants, formulation, channel routing, over-the-cell) | preclass | ppt,pdf | Left Edge DAC 1971 | ||
| 4/20 | Routing II (Pathfinder congestion negotiation, FPGA routing) | preclass | ppt,pdf | Pathfinder FPGA 1995 | Assign 6 | |
| 4/22 | Statistical Static Timing Analysis | preclass | ppt,pdf | SSTA DAC 2002 | Assign 5 | |
| 4/27 | Processor Verification | preclass | ppt,pdf | Processor Verify CAV 1994 | ||
| 5/12 | End of Finals (no class) | Assign 6 |