Description: Fundamental topics in computer-aided design for VLSI-Logic synthesis and formal verification, timing analysis and optimization, technology mapping, logic and fault simulation, testing, and physical design will be covered. Relevant topics in algorithms and data structures, generic programming, and the C++ standard template library will also be covered.