Synthesis of VLSI Systems

Promotes understanding of the algorithms used in designing many of today's CAD tools used for VLSI. Topics include synthesis of two-level and multi-level logic, logic testability and automatic test pattern generation, technology mapping, and sequential synthesis. Also introduces efficient manipulation algorithms for logic functions (based on Binary Decision Diagrams). Prerequisite: ENGN 1630 . ENGN 1600 is helpful.