ECE 462
summer 2025
All Classes
Logic Synthesis
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.

- Section Status Closed

- Section Status Open

- Section Status Pending

- Section Status Open (Restricted)

- Section Status Unknown
Section Status updates every 10 minutes.
| Detail | Status | CRN | Type | Section | Time | Day | Location | Instructor |
|---|