Online Course Catalog

ECE 462 D - Logic Synthesis

Fall 2022

Logic SynthesisD56118ONL31000 - 1050 M W F    Anu Aggarwal
Hamilton Silberg

Course Description

Unate function theory, unate recursive paradigm, 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 are covered in this course.

Credit Hours

3 hours


Subject Area

  • Electrical and Computer Engineering