ECE 462

Credit: 3 hours.

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.

3 undergraduate hours. 3 graduate hours. Prerequisite: ECE 220 or CS 233.