Date | Topic | Preclass Ex. | Slides | Required Reading | Suppl. | Due | Assign |
---|---|---|---|---|---|---|---|

1/16 | Introduction, Motivation, Overview | ppt, pdf | none | ||||

1/23 | Covering | ppt, pdf | Devadas p190--198 | Assignment 1 | |||

1/28 | Clustering | preclass | ppt, pdf | flowmap trcad1994 | |||

1/30 | Two-level logic | preclass | ppt, pdf | Devadas p59--91 | |||

2/4 | FSM Encoding (Sequential logic) | preclass | ppt, pdf | Exact Encode trcad1991 | Assignment 1 | Assignment 2 | |

2/6 | Multi-level logic | preclass | ppt, pdf | Devadas p151--184 | |||

2/11 | Static Timing Analysis | preclass | ppt, pdf | Devadas p225--256 | |||

2/13 | |||||||

2/18 | Retiming | preclass | ppt, pdf | Retime Caltech VLSI 1983 | Assignment 2 | Assignment 3 | |

2/20 | Partitioning I (formulation and KLFM) | preclass | ppt, pdf | KLFM DAC 1982 | |||

2/25 | FPGA (no class) | ||||||

2/27 | Partitioning II (spectral, maxflow, replication) | preclass | ppt, pdf | Hall Mngmt Sci 1970 | |||

3/3 | Placement I (formulation and constructive) | preclass | ppt, pdf | Part Place ISPD 1997 | Assignment 3 | Assignment 4 | |

3/5 | Placement II (simulated annealing) | preclass | ppt, pdf | SA Science 1983 | |||

3/10 | Spring Break (no class) | ||||||

3/12 | Spring Break (no class) | ||||||

3/17 | Multi-objective covering (area and delay; also simultaneous covering and placement) | preclass | ppt, pdf | Area+Delay DAC 1992 | |||

3/19 | Statistical Static Timing Analysis | preclass | ppt, pdf | ||||

3/24 | Assignment 4 | Assignment 5 | |||||

3/26 | High-level Synthesis (C-to-dataflow graph) | preclass | ppt, pdf | Hauck+DeHon, Ch. 7 | |||

3/31 | Scheduled Operator Sharing | preclass | none | Scheduling Intro D&T 1995 | |||

4/2 | Scheduling I (formulation, List Scheduling/Johnson's approximation algorithm) | preclass | ppt, pdf | ||||

4/7 | Scheduling II (force-directed, SAT/ILP, Branch-and-Bound) | preclass | ppt, pdf | Assignment 5 | |||

4/9 | Routing I (variants, formulation, channel routing, over-the-cell) | preclass | ppt, pdf | Left Edge DAC 1971 | Assignment 6a | Assignment 6B | |

4/14 | FCCM (no class) | ||||||

4/16 | Routing II (Pathfinder congestion negotiation, FPGA routing) | preclass | ppt, pdf | Pathfinder FPGA 1995 | |||

4/21 | Satisfiability (SAT) solvers | preclass | ppt, pdf | Chaff DAC2001 | Assignment 6B | ||

4/23 | FSM Equivalence Checking | preclass | ppt, pdf | seq. verify TRCAD 1988 | Assignment 7 | ||

4/28 | Processor Verification | preclass | ppt, pdf | Processor Verify CAV 1994 | |||

5/13 | End of Finals (no class) | Assignment 7 |

ESE535: Electronic Design Automation