|
Lectures |
Topics |
Material |
Lecture hours |
|
Homework dates |
Homework due dates |
|
|
|
|
|
|
|
|
Lecture 1 |
Introduction to Logic Design and Synthesis |
Course overview |
Tuesday |
(01/16) |
|
|
|
|
|
|
|
|
Lecture 2 |
Boolean Algebra |
Lecture Slide (2-3) |
Thursday |
(01/18) |
homework 1 out |
|
|
|
|
|
|
|
Lecture 3 |
Boolean Algebra Contd. |
|
Tuesday |
(01/23) |
|
|
|
|
|
|
|
Lecture 4 |
Karnaugh Maps and Quine-McCluskey Method |
Lecture Slide (4) |
Thursday |
(01/25) |
homework 2 out |
homework 1 due |
|
|
|
|
|
|
Lecture 5 |
Karnaugh Maps and Quine-McCluskey Method |
|
Tuesday |
(01/30) |
|
|
|
|
|
|
|
|
Lecture 6 |
Dominance and the Branch and Bound Methods |
Lecture Slide (5) |
Thursday |
(02/01) |
homework 3 out |
homework 2 due |
|
|
|
|
|
|
Lecture 7 |
Dominance and the Branch and Bound Methods |
|
Tuesday |
(02/06) |
|
|
|
|
|
|
|
|
Lecture 8 |
Heuristic Methods |
Lecture Slide (7) |
Thursday |
(02/08) |
homework 4 out |
homework 3 due |
|
|
|
|
|
|
Lecture 9 |
Multiple-Output Functions |
Lecture Slide (6) |
Tuesday |
(02/13) |
|
|
|
|
|
|
|
|
Lecture 10 |
Function Classification |
Lecture Slide (8) |
Thursday |
(02/15) |
homework 5 out |
homework 4 due |
|
|
|
|
|
|
Lecture 11 |
Function Classification |
|
Tuesday |
(02/20) |
|
|
|
|
|
|
|
|
Lecture 12 |
Binary Decision Diagrams |
Lecture Slide (9) |
Thursday |
(02/22) |
|
homework 5 due |
|
|
|
|
|
|
Lecture 13 |
Binary Decision Diagrams |
|
Tuesday |
(02/27) |
|
|
|
|
|
|
|
|
|
Midterm 1 |
Thursday |
(03/01) |
|
|
|
|
|
Demo for ABC |
|
Lecture 14 |
Finite State Machines |
Lecture Slide (10-11) |
Tuesday |
(03/06) |
homework 6 out |
|
|
|
|
|
|
|
Lecture 15 |
Finite State Machines |
|
Thursday |
(03/08) |
|
|
|
|
|
|
|
|
Lecture 16 |
Equivalence Checking |
|
Tuesday |
03/13) |
homework 7 out |
homework 6 due |
|
|
DC HW |
|
|
|
Lecture 17 |
Equivalence Checking |
|
Thursday |
(03/15) |
|
|
|
|
|
|
|
|
|
|
Spring break |
Tuesday |
(03/20) |
|
|
|
|
DC-Comb- M |
Demo for ABC |
|
|
|
Spring break |
Thursday |
(03/22) |
|
|
|
|
|
|
|
|
Lecture 18 |
Automatic Test Generation |
Lecture Slide (12-14) |
Tuesday |
(03/27) |
homework 8 out |
homework 7 due |
|
|
|
|
|
|
Lecture 19 |
Automatic Test Generation |
|
Thursday |
(03/29) |
|
|
|
|
|
|
|
|
Lecture 20 |
Automatic Test Generation |
|
Tuesday |
(04/03) |
|
homework 8 due |
|
|
|
|
|
|
Lecture 21 |
Automatic Test Generation |
|
Thursday |
(04/05) |
|
|
|
|
|
|
|
|
|
|
Midterm 2 |
Tuesday |
04/10) |
|
|
|
|
DC-Seq- |
|
|
|
Lecture 22 |
Multi-Level Logic Synthesis |
Lecture Slide (15) |
Thursday |
(04/12) |
homework 9 out |
|
|
|
|
|
|
|
Lecture 23 |
Multi-Level Logic Synthesis |
|
Tuesday |
(04/17) |
|
|
|
|
|
|
|
|
Lecture 24 |
Synthesis and Verification of
Digital Systems |
Lecture Slide (16) |
Thursday |
(04/19) |
|
homework 9 due |
|
|
DC HW |
|
|
|
Lecture 25 |
Technology mapping |
Lecture Slide (16) |
Tuesday |
(04/24) |
homework 10 out |
|
|
|
|
|
|
|
Lecture 26 |
Miscelleneous Topics |
Lecture Slide (17) |
Thursday |
(04/26) |
|
|
|
|
DC HW |
|
|
|
Lecture 27 |
Exams Reviews |
Q&A |
Tuesday |
(05/01) |
|
homework 10 due |
|
|
|
|
|
|
|
|
Instruction ends |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Back to Main page |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|