Lectures & Lecture Schedule
R Jan 14, 2010: Course Overview, Introduction, and Review (Graph Theory Basics, C/C++) PDF
T Jan 19, 2010: Review (Graph Theory Basics, C/C++) PDF graph.tgz
R Jan 21, 2010: Review (FSMs, RTL Design) PDF
T Jan 26, 2010: Review (RTL Design, Verilog) PDF(RTL), PDF(Verilog), PDF(MAX_DIFF Example)
R Jan 28, 2010: Review (Verilog) PDF(Verilog)
T Feb 02, 2010: Review (Verilog) PDF(Verilog), Behavioral Synthesis (Scheduling)
R Feb 04, 2010: Behavioral Synthesis (Scheduling) PDF
T Feb 09, 2010: Behavioral Synthesis (Scheduling) PDF
R Feb 11, 2010: Behavioral Synthesis (Scheduling) PDF
T Feb 16, 2010: No Class
R Feb 18, 2010: Exam 1
T Feb 23, 2010: Behavioral Synthesis (Resource Sharing & Binding) PDF
R Feb 25, 2010: Behavioral Synthesis (Register Sharing & Binding) PDF
T Mar 2, 2010: Behavioral Synthesis (Datapath/Controller Generation) PDF
R Mar 4, 2010: Algorithm State Machines PDF
T Mar 9, 2010: Hierarchical Concurrent State Machines PDF
R Mar 11, 2010: Logic Optimization (K-maps and Quine-McCluskey) PDF
T Mar 16, 2010: No Class (Spring Break)
R Mar 18, 2010: No Class (Spring Break)
T Mar 23, 2010: Logic Optimization (Quine-McCluskey) PDF (1), PDF (2)
R Mar 25, 2010: Logic Optimization (Quine-McCluskey) PDF (2)
T Mar 30, 2010: No Class
R Apr 01, 2010: Exam 2
T Apr 06, 2010: Branch and Bound, Simulated Annealing PDF
R Apr 08, 2010: Branch and Bound, Simulated Annealing PDF
T Apr 13, 2010: Heuristic Logic Optimization: Espresso (Overview and Representation) PDF (A) PDF (B)
R Apr 15, 2010: Heuristic Logic Optimization: Espresso (Unate Complement) PDF (C)
T Apr 20, 2010: Heuristic Logic Optimization: Espresso (Unate Complement) PDF (C)
R Apr 22, 2010: Heuristic Logic Optimization: Espresso (Complement) PDF (D), Espresso (Expand) PDF (E)
T Apr 27, 2010: Heuristic Logic Optimization: Espresso (Expand) PDF (E)
R Apr 29, 2010: Exam 3
T May 04, 2010: Review
R May 13, 2010: Exam 4