Logic Synthesis and Verification


Fall 2011

Introduction Announcements Lectures Readings Administrations Links


Slides
Assignments




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