Electronic Design Automation

Catalog description

Formulation, automation, and analysis of design mapping problems with emphasis on VLSI and computational realizations. Major themes include: formulating and abstracting problems, figures of merit (e.g. Energy, Delay, Throughput, Area, Mapping Time), representation, traditional decomposition of flow (logic optimization, covering, scheduling, retiming, assignment, partitioning, placement, routing), and techniques for solving problems (e.g., greedy, dynamic programming, search, (integer) linear programming, graph algorithms, randomization, satisfiability). Digital logic, Programming (need to be