
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 (23) 
Thursday 
(01/18) 
homework 1 out 







Lecture 3 
Boolean Algebra Contd. 

Tuesday 
(01/23) 







Lecture 4 
Karnaugh Maps and QuineMcCluskey Method 
Lecture Slide (4) 
Thursday 
(01/25) 
homework 2 out 
homework 1 due 






Lecture 5 
Karnaugh Maps and QuineMcCluskey 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 
MultipleOutput 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 (1011) 
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) 




DCComb M 
Demo for ABC 



Spring break 
Thursday 
(03/22) 








Lecture 18 
Automatic Test Generation 
Lecture Slide (1214) 
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) 




DCSeq 



Lecture 22 
MultiLevel Logic Synthesis 
Lecture Slide (15) 
Thursday 
(04/12) 
homework 9 out 







Lecture 23 
MultiLevel 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 















