| 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
| |