| Lecture | Topics | Detailed Schedule | Lecture Hours | Homeworks | Homework Due Date | |
| Lecture 1 | Introduction to Logic Design and Synthesis | Course overview | Tuesday (08/24) | |||
| Lecture 2 | Boolean Algebra | Lecture Slide (2-3) | Thursday (08/26) | |||
| Lecture 3 | Boolean Algebra Contd. | Tuesday (08/31) | homework 1 out | |||
| Lecture 4 | Karnaugh Maps and Quine-McCluskey Method | Lecture Slide (4) | Thursday (09/02) | |||
| Lecture 5 | Karnaugh Maps and Quine-McCluskey Method | Tuesday (09/07) | homework 2 out | homework 1 due | ||
| Lecture 6 | Dominance and the Branch and Bound Methods | Lecture Slide (5) | Thursday (09/09) | |||
| Lecture 7 | Dominance and the Branch and Bound Method | Tuesday (09/14) | homework 3 out | homework 2 due | ||
| Lecture 8 | Heuristic Methods | Lecture Slide (7) | Thursday (09/16) | |||
| Lecture 9 | Multiple -Output Functions | Lecture Slide (6) | Tuesday (09/21) | homework 4 out | homework 3 due | |
| Lecture 10 | Function Classification | Lecture Slide (8) | Thursday (09/23) | |||
| Lecture 11 | Function Classification | Tuesday (09/28) | homework 5 out | homework 4 due | ||
| Lecture 12 | Binary Decision Diagrams | Lecture Slide (9) | Thursday (10/30) | |||
| Lecture 13 | Binary Decision Diagrams | Tuesday (10/5) | homework 5 due | |||
| Midterm 1 | Thursday (10/7) | |||||
| Lecture 14 | Finite State Machines | Lecture Slide (10-11) | Tuesday (10/12) | homework 6 out | ||
| Lecture 15 | Finite State Machines | Thursday (10/14) | ||||
| Lecture 16 | Equivalence Checking | Tuesday (10/19) | homework 7 out | homework 6 due | ||
| Lecture 17 | Equivalence Checking | Thursday (10/21) | ||||
| Lecture 18 | Automatic Test Generation | Lecture Slide (12-14) | Tuesday (10/26) | homework 8 out | homework 7 due | |
| Lecture 19 | Automatic Test Generation | Thursday (10/28) | ||||
| Lecture 20 | Automatic Test Generation | Holiday - Election Day | Tuesday (11/2) | homework 8 due | ||
| Lecture 21 | Automatic Test Generation | Thursday (11/4) | ||||
| Lecture 22 | Sythesis and Verification of Digital Systems | Lecture Slide (15) | Thursday (11/11) | |||
| Midterm 2 | Tuesday (11/16) | |||||
| Lecture 23 | Synthesis and Verification of Digital Systems | Lecture Slide (16) | Thursday (11/18) | |||
| Thanksgiving break | Tuesday (11/23) | |||||
| Thanksgiving break | Thursday (11/25) | |||||
| Lecture 24 | Multi level logic Synthesis | Lecture Slide (16) | Tuesday (11/30) | homework 9 out | ||
| Lecture 25 | Technology Mapping | Lecture Slide (17) | Thursday (12/2) | |||
| Lecture 26 | Review | Q&A | Tuesday (12/7) | homework 9 due | ||
| Instruction ends | ||||||