ESE535: Electronic Design Automation

Spring 2009

Working schedule subject to refinement.
Check 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/19MLK Holiday (no class)
1/21 High-level Synthesis (C-to-dataflow graph) preclass ppt, pdf Hauck+DeHon, Ch. 7 Assign 1
1/26Scheduled 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/6FCCM (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


ESE535: Electronic Design Automation