Algorithms for Computer-Aided Design of Digital Systems

Catalog description

Provides the algorithmic underpinnings of CAD (Computer-Aided Design) tools for digital systems--from high-level algorithmic specifications down to an optimized network of logic cells. Covers the underlying theory and algorithms that have been incorporated into many commercial tools over the past two decades. Covers behavioral to RTL (Register-Transfer Level) synthesis, and from RTL to logic, including combinational and sequential network optimization, gate and interconnect timing models, retiming of sequential networks, clock tree design and optimization. To be successful in this course, students need an undergraduate background in combinational and sequential logic design, discrete mathematics, and a strong background (preferably at the graduate level) in fundamentals of data structures and algorithms; strong experience in programming (C or C++) and coding and documentation standards. (All code developed in class is in Python).