Logic Synthesis and Verification


Fall 2014

Introduction Announcements Lectures Readings Administrations Links


Slides
Assignments




Date Slides Problem Sets Solutions Projects
09/17/2014 Introduction (PDF-2, PDF-4); ABC Tutorial (PDF-2, PDF-4; supplement) --- ---
09/24/2014 Introduction; ABC Tutorial Programming Assignment 1 (PDF) ---
10/01/2014 Boolean Algebra (PDF-2, PDF-4) Homework 1 (PDF) Solution 1 (PDF)
10/08/2014 Representations of Boolean Functions (PDF-2, PDF-4; handout Section 2) --- ---
10/15/2014 Representations of Boolean Functions; SOPs and Incompletely Specified Functions (PDF-2, PDF-4) Homework 2 (PDF) Solution 2 (PDF)
10/22/2014 SOPs and Incompletely Specified Functions --- --- Topic Announcement
10/29/2014 Two-Level Logic Minimization (I) (PDF-2, PDF-4; handout Sections 3.1~3.2)   --- ---
10/23/2014 Two-Level Logic Minimization (II) (PDF-2, PDF-4)   Homework 3 (PDF) Solution 3 (PDF) Proposal Due
11/05/2014 Two-Level Logic Minimization (II) --- --- ¡@
11/12/2014 Multi-Level Logic Minimization (PDF-2, PDF-4; handout Section 3.3) --- --- ¡@
11/19/2014 Midterm Exam Programming Assignment 2 (PDF) ---
11/26/2014 Multi-Level Logic Minimization (handout Section 3.3) --- --- Progress Report Due
12/03/2014 Node Minimization Using Don't Cares (PDF-2, PDF-4; handout Section 3.4) Homework 4 (PDF) Solution 4 (PDF) ¡@
12/10/2014 Technology Mapping (PDF-2, PDF-4; handout Section 4) --- ---
12/17/2014 Timing Analysis and Optimization (PDF-2, PDF-4; handout Sections 5~6) Homework 5 (PDF) Solution 5 (PDF) ¡@
12/24/2014 Sequential Circuit Optimization (PDF-2, PDF-4) --- --- Progress Report Due
12/31/2014  Equivalence and Property Checking (PDF-2, PDF-4) Homework 6 (PDF) Solution 6 (PDF)
01/07/2015 Advanced Topics --- ---
01/14/2015 Project Presentation --- --- Final Report Due (01/21)