ECE 462: Logic Synthesis

Department of Electrical and Computer Engineering
University of Illinois at Urbana-Champaign

Fall 2016

Instructor: Professor Janak H. Patel
Office: 250 CSL
Office Hours: 1:30pm to 3:30pm Tuesdays in Room 250 CSL

Teaching Assistant: Dongbo Wang
Office Hours: 4:00pm to 6:00pm Wednesdays in Room 3036 ECEB

Lectures: 11am-12:20pm Tuesdays and Thursdays, Room 2017 ECEB
Prerequisites: Introduction to Logic Design

This course teaches fundamentals of Logic Design, Verification and Testing. The topics covered include synthesis of two-level logic, synthesis of incompletely specified combinational logic, multi-level logic synthesis, binary decision diagrams, finite state machine synthesis, automatic test pattern generation and design for test, equivalence checking and reachability analysis of finite machines, and technology mapping.

Recommended Text: Logic Synthesis and Verification Algorithms, by Hachtel and Somenzi, Springer Science

Reference: Logic Design Principles, by E. J. McCluskey (on reserve in Library).


Lecture Notes:


Homework (20 percent)
Two Mideterm Exams (20 percent each)
Final Exam (40 percent)