Handout #1

Course Information ( PDF )

Handout #2

Syllabus ( PDF )

Handout #3

Homework, Project and Exam Schedule ( PDF )

Handout #4

Questionnaire ( PDF )

Handout #5

The Quine-McCluskey Method ( PDF )

Lecture #1: Slides ( PDF )

Handout #6

Handout #7

Handout #8

Rick Rudell's PhD Thesis: Chapters 1 and 2 ( PDF )

Lecture #2 (part 1): Slides ( PDF )

Lecture #2 (part 2): Slides ( PDF )

Handout #9

Homework #1 (PDF )

Handout #9a

Homework #1, Problem #1 (TXT ) (Getting Started with SIS )

Handout #10

Handout #11

Overview of Tautology Checking (PDF )

Handout #12

Handout of Examples (PDF )

Lecture #3: Slides ( PDF )

Handout #13

Homework #2 (PDF )

Handout #14

Handout #15

Overview of Fast Complementation (PDF )

Handout #16

Rudell's Master's thesis (UC Berkeley): chs. 4.7-4.8 Last-gasp, super-gasp, make-sparse (PDF )

Handout #17

Overview of Fast Prime Generation (PDF )

Handout #18

Prime Generation Problem Example (PDF )

Handout #19

Homework #3 (PDF )

Lecture #5: Slides ( PDF )

Handout #20

Kernels, Co-Kernels and Extraction Examples (PDF )

Handout #21

Homework #1 Solutions (hardcopy only)*

Handout #22

Homework #2 Solutions (hardcopy only)*

Lecture #6: Slides ( PDF )

Handout #23, #23(a-e)

#23 Midterm Homework and CAD Project ( PDF )

#23a Midterm CAD Project: Designing a Multi-Cube Extraction Tool ( TXT )

#23b Introduction to the SIS CAD Package: Multi-Level Logic Optimization ( TXT )

#23e Midterm CAD Project: Frequently-Asked Questions (FAQ) *(Updated Regularly -- Refresh Your Browser)* ( TXT )

Handout #24

Basic Tree-Based Covering Example (area-oriented) (PDF )

Handout #25

Homework #3 Solutions (hardcopy only)*

Handout #26

Delay-Oriented Technology Mapping Handout (PDF )

"Technology Mapping for Low Power,"
V. Tiwari, P. Ashar and S. Malik,
Proceedings of ACM/IEEE Design Automation Conference (1993) (PDF )

Handout #27a

Errata and Clarifications: Tiwari et al. paper (#27) (TXT )

Handout #28

Homework #4 (PDF )

"A Procedure for Placement of Standard-Cell VLSI Circuits",
A.E. Dunlop and B.W. Kernighan,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Jan. 1985) (PDF )

Partitioning Overview (courtesy of Prof. David Pan, UT Austin) (PDF )

Kernighan-Lin Partitioning Example (courtesy of Prof. David Pan, UT Austin) (PDF )

Handout #32

Midterm CAD Problem (written, SIS) Solutions (hardcopy only)*

Handout #33

"Retiming Synchronous Circuitry," C.E. Leiserson and J.B. Saxe, Algorithmica (1991), 6:5-35 ( PDF)

Handout #34, #34(a-i)

#34 Final Homework and CAD Project ( PDF )

#34a Introduction to the SIS CAD Package: Technology Mapping ( TXT )

#34b Final CAD Project: Designing a Retiming Tool ( TXT )

"An Introduction to High-Level Synthesis,"
P. Coussy, D.D. Gajski, M. Meredith and A. Takach,
IEEE Design and Test of Computers (July/Aug. 2009), pp. 8-17 (PDF )

"High-Level Synthesis: Past, Present, and Future,"
G. Martin and G. Smith,
IEEE Design and Test of Computers (July/Aug. 2009), pp. 18-24 (PDF )

Resource Sharing Handout (hardcopy only)*

Scheduling Handout (hardcopy only)*

Lecture #12: Slides ( PDF )

Handout #39

Homework #4 Solutions (hardcopy only)*

Introduction to Asynchronous Design (slides) (PDF )

Handout #41

Asynchronous Design: Overview Article
S.M. Nowick and M. Singh, "Asynchronous Design -- Part 1: Overview and Recent Advances,"
IEEE Design & Test, v. 22:3, May/June 2015, pp. 5-18. (PDF )

Introduction to Hazard-Free Logic Synthesis (PDF )

Lecture #14: Slides ( PDF )

Handout #43

Introduction to Approximate Computing
V. Gupta, D. Mohapatra, S. P. Park, A. Raghunathan and K. Roy,
"IMPACT: Imprecise Adders for Low-Power Approximate Computing,"
Proceedings of the 17th IEEE/ACM International Symposium on Low-Power Electronics and Design (2011) (PDF )

Synthesis and Optimization of Digital Microfluidic Biochips (slides) (courtesy of Prof. Krishnendu Chakrabarty, Duke University) (PPT )

Handout #45

High-Level Synthesis for Digital Microfluidic Biochips
F. Su and K. Chakrabarty, "High-Level Synthesis of Digital Microfluidic Biochips,"
ACM Journal on Emerging Technologies in Computing Systems, vol. 3, no. 4 (2008) (PDF )