ECE 462 D - Logic Synthesis
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. Course Information: 3 undergraduate hours. 3 graduate hours. Prerequisite: ECE 220 or CS 233.
Option 1Number of Required Visit(s): 0
Course Level: Graduate