|
Date |
Slides |
Problem Sets |
Solutions |
Projects |
| 09/15/2010 |
Introduction (PDF-2,
PDF-4); ABC Tutorial (PDF-2,
PDF-4) |
Programming
Assignment 1 (PDF); see
announcements for submission |
Solution (PDF) |
¡@ |
| 09/22/2010 |
Mid-Autumn
Festival |
--- |
--- |
¡@ |
| 09/29/2010 |
Boolean Algebra (PDF-2,
PDF-4); Representations of Boolean
Functions (PDF-2,
PDF-4); (handout
Section 2) |
Homework 1
(PDF) |
Solution 1
(PDF) |
¡@ |
| 10/06/2010 |
Representations of Boolean Functions (PDF-2,
PDF-4; supplement) |
--- |
--- |
¡@ |
| 10/13/2010 |
Representations of Boolean Functions; SOPs and
Incompletely Specified
Functions (PDF-2,
PDF-4) |
Homework 2
(PDF) |
Solution 2 (PDF) |
¡@ |
| 10/20/2010 |
SOPs and Incompletely Specified
Functions (PDF-2,
PDF-4) |
--- |
--- |
Topic
Announcement |
| 10/27/2010 |
Two-Level Logic Minimization (I) (PDF-2,
PDF-4) (handout
Sections 3.1~3.2) |
Homework 3
(PDF) |
Solution 3
(PDF) |
¡@ |
| 11/03/2010 |
Two-Level Logic Minimization (II) (PDF-2,
PDF-4) |
--- |
--- |
¡@ |
| 11/10/2010 |
Midterm Exam |
Programming
Assignment 2 (PDF) (updated
cnfWrite.c) |
--- |
Proposal
Due |
| 11/17/2010 |
Multi-Level Logic Minimization (PDF-2,
PDF-4) (handout
Section 3.3) |
Homework 4
(PDF) |
Solution 4
(PDF) |
¡@ |
| 11/24/2010 |
Multi-Level Logic Minimization (PDF-2,
PDF-4) (handout
Section 3.3) |
--- |
--- |
¡@ |
| 12/01/2010 |
Multi-Level Logic Minimization (handout
Section 3.3) |
Homework 5
(PDF) |
Solution 5
(PDF) |
¡@ |
| 12/08/2010 |
Technology Mapping (PDF-2,
PDF-4) (handout
Section 4) |
--- |
--- |
Progress
Report Due |
| 12/15/2010 |
Node Minimization Using Don't Cares
(PDF-2,
PDF-4) (handout
Section 3.4) |
Homework 6
(PDF) |
Solution 6
(PDF) |
¡@ |
| 12/22/2010 |
Timing Analysis and Optimization (PDF-2,
PDF-4) (handout
Sections 5~6) |
--- |
--- |
¡@ |
| 12/29/2010 |
Sequential Circuit Optimization (PDF-2,
PDF-4) |
--- |
--- |
¡@ |
| 01/05/2011 |
Equivalence and Property Checking (PDF-2,
PDF-4) |
--- |
--- |
¡@ |
| 01/12/2011 |
Project Presentation (schedule) |
--- |
--- |
Final
Report Due (01/19) |
¡@